@inproceedingsHorst_Grothe_Jager_Schwenk_2016, title=Breaking PPTP VPNs via RADIUS Encryption, DOI=10.1007/978-3-319-48965-0_10, booktitle=Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, author=Horst, Matthias and Grothe, Martin and Jager, Tibor and Schwenk, Jörg, year=2016, pages=159--175 
LibreCat: /record/3116
DOI: 10.1007/978-3-319-48965-0_10

@inproceedingsBader_Jager_Li_Schäge_2016, title=On the Impossibility of Tight Cryptographic Reductions, DOI=10.1007/978-3-662-49896-5_10, booktitle=Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, author=Bader, Christoph and Jager, Tibor and Li, Yong and Schäge, Sven, year=2016, pages=273--304 
LibreCat: /record/3117
DOI: 10.1007/978-3-662-49896-5_10

@inproceedingsHofheinz_Jager_Rupp_2016, title=Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts, DOI=10.1007/978-3-662-53644-5_6, booktitle=Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, author=Hofheinz, Dennis and Jager, Tibor and Rupp, Andy, year=2016, pages=146--168 
LibreCat: /record/3118
DOI: 10.1007/978-3-662-53644-5_6

@inproceedingsHofheinz_Jager_2016, title=Verifiable Random Functions from Standard Assumptions, DOI=10.1007/978-3-662-49096-9_14, booktitle=Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, author=Hofheinz, Dennis and Jager, Tibor, year=2016, pages=336--362 
LibreCat: /record/3119
DOI: 10.1007/978-3-662-49096-9_14

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, booktitle=Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

@inproceedingsTravkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of Concurrent Programs on Weak Memory Models, DOI=10.1007/978-3-319-46750-4_1, booktitle=Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Sampaio, Augusto and Wang, FarnEditors, year=2016, pages=3--24, collection=Lecture Notes in Computer Science 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

@inproceedingsSchellhorn_Travkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Towards a Thread-Local Proof Technique for Starvation Freedom, DOI=10.1007/978-3-319-33693-0_13, booktitle=Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, author=Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Huisman, MariekeEditor, year=2016, pages=193--209, collection=Lecture Notes in Computer Science 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

@inproceedingsDoherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series=LIPIcs, title=Proving Opacity of a Pessimistic STM, DOI=10.4230/LIPIcs.OPODIS.2016.35, booktitle=20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, author=Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Fatourou, Panagiota and Jim\rquote enez, Ernesto and Pedone, FernandoEditors, year=2016, pages=35:1--35:17, collection=LIPIcs 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

@articleIsenberg_Jakobs_Pauck_Wehrheim_2016, title=Deriving approximation tolerance constraints from verification runs, journal=CoRR, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2016 
LibreCat: /record/3161

@bookLeder_2016, title=Congestion Games with Mixed Objectives, publisher=Universität Paderborn, author=Leder, Lennart, year=2016 
LibreCat: /record/210

@bookPorzenheim_2016, title=Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes, publisher=Universität Paderborn, author=Porzenheim, Laurens, year=2016 
LibreCat: /record/213

@bookBemmann_2016, title=Commitment Schemes - Definitions, Variants, and Security, publisher=Universität Paderborn, author=Bemmann, Kai Sören, year=2016 
LibreCat: /record/214

@inproceedingsDrees_Gmyr_Scheideler_2016, title=Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration, DOI=10.1145/2935764.2935783, booktitle=Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Drees, Maximilian and Gmyr, Robert and Scheideler, Christian, year=2016, pages=417--427 
LibreCat: /record/215
DOI: 10.1145/2935764.2935783

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

@inproceedingsPolevoy_de Weerdt_Jonker_2016, series=Frontiers in Artificial Intelligence and Applications, title=The Game of Reciprocation Habits, volume=Volume 285: ECAI 2016, DOI=10.3233/978-1-61499-672-9-417, booktitle=Proceedings of the 2016 European Conference on Artificial Intelligence, author=Polevoy, Gleb and de Weerdt, M.M. and Jonker, C.M., year=2016, pages=417–425, collection=Frontiers in Artificial Intelligence and Applications 
LibreCat: /record/17655
DOI: 10.3233/978-1-61499-672-9-417

@inproceedingsPolevoy_de Weerdt_Jonker_2016, place=Richland, SC, series=AAMAS ’16, title=The Convergence of Reciprocation, booktitle=Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=Polevoy, Gleb and de Weerdt, Mathijs and Jonker, Catholijn, year=2016, pages=1431–1432, collection=AAMAS ’16 
LibreCat: /record/17656

@inproceedingsAbu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2016, series=LNCS, title=On the Parameterized Parallel Complexity and the Vertex Cover Problem, DOI=10.1007/978-3-319-48749-6_35, booktitle=Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), author=Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel, year=2016, pages=477–488, collection=LNCS 
LibreCat: /record/177
DOI: 10.1007/978-3-319-48749-6_35

@bookMeyer auf der Heide_2016, title=Introduction to the Special Issue on SPAA 2014, DOI=10.1145/2936716, number=1, journal=Transactions on Parallel Computing (TOPC), year=2016 
LibreCat: /record/187
DOI: 10.1145/2936716

@inproceedingsLass_Leibenger_Sorge_2016, title=Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension, DOI=10.1109/lcn.2016.11, booktitle=Proc. 41st Conference on Local Computer Networks (LCN), publisher=IEEE, author=Lass, Michael and Leibenger, Dominik and Sorge, Christoph, year=2016 
LibreCat: /record/19
DOI: 10.1109/lcn.2016.11

@articlePlatenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title=Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic, DOI=10.1109/TSE.2016.2632115, number=8, journal=IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, publisher=IEEE, author=Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm, year=2016, pages=739–759 
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115