Bader, C., Jager, T., Li, Y., &; Schäge, S. (2016). On the Impossibility of Tight Cryptographic Reductions. In 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 (pp. 273--304).https://doi.org/10.1007/978-3-662-49896-5_10 
LibreCat: /record/3117
DOI: 10.1007/978-3-662-49896-5_10

Hofheinz, D., Jager, T., &; Rupp, A. (2016). Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts. In Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II (pp. 146--168).https://doi.org/10.1007/978-3-662-53644-5_6 
LibreCat: /record/3118
DOI: 10.1007/978-3-662-53644-5_6

Hofheinz, D., &; Jager, T. (2016). Verifiable Random Functions from Standard Assumptions. In Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I (pp. 336--362).https://doi.org/10.1007/978-3-662-49096-9_14 
LibreCat: /record/3119
DOI: 10.1007/978-3-662-49096-9_14

Beringer, S., &; Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, &; A. Knapp (Eds.), 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 (pp. 189--204).https://doi.org/10.1007/978-3-319-45943-1_13 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, O., &; Wehrheim, H. (2016). Verification of Concurrent Programs on Weak Memory Models. In A. Sampaio &; F. Wang (Eds.), Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (pp. 3--24).https://doi.org/10.1007/978-3-319-46750-4_1 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, G., Travkin, O., &; Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209).https://doi.org/10.1007/978-3-319-33693-0_13 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2016). Proving Opacity of a Pessimistic STM. In P. Fatourou, E. Jim\rquote enez, &; F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain (pp. 35:1--35:17).https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, T., Jakobs, M.-Christine, Pauck, F., &; Wehrheim, H. (2016). Deriving approximation tolerance constraints from verification runs. CoRR.
LibreCat: /record/3161

Leder, L. (2016). Congestion Games with Mixed Objectives. Universität Paderborn.
LibreCat: /record/210

Porzenheim, L. (2016). Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn.
LibreCat: /record/213

Bemmann, K. S. (2016). Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn.
LibreCat: /record/214

Drees, M., Gmyr, R., &; Scheideler, C. (2016). Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 417--427).https://doi.org/10.1145/2935764.2935783 
LibreCat: /record/215
DOI: 10.1145/2935764.2935783

Walther, S., &; Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Polevoy, G., de Weerdt, M. M., &; Jonker, C. M. (2016). The Game of Reciprocation Habits. In Proceedings of the 2016 European Conference on Artificial Intelligence (Vol. Volume 285: ECAI 2016, pp. 417–425).https://doi.org/10.3233/978-1-61499-672-9-417 
LibreCat: /record/17655
DOI: 10.3233/978-1-61499-672-9-417

Polevoy, G., de Weerdt, M., &; Jonker, C. (2016). The Convergence of Reciprocation. In Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (pp. 1431–1432). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat: /record/17656

Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., &; Podlipyan, P. (2016). On the Parameterized Parallel Complexity and the Vertex Cover Problem. In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 477–488).https://doi.org/10.1007/978-3-319-48749-6_35 
LibreCat: /record/177
DOI: 10.1007/978-3-319-48749-6_35

Meyer auf der Heide, F. (Ed.). (2016). Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC).https://doi.org/10.1145/2936716 
LibreCat: /record/187
DOI: 10.1145/2936716

Lass, M., Leibenger, D., &; Sorge, C. (2016). Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension. In Proc. 41st Conference on Local Computer Networks (LCN). IEEE.https://doi.org/10.1109/lcn.2016.11 
LibreCat: /record/19
DOI: 10.1109/lcn.2016.11

Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., &; Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759.https://doi.org/10.1109/TSE.2016.2632115 
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Blömer, J., Brauer, S., &; Bujna, K. (2016). A Theoretical Analysis of the Fuzzy K-Means Problem. In 2016 IEEE 16th International Conference on Data Mining (ICDM) (pp. 805–810). Barcelona, Spain: IEEE.https://doi.org/10.1109/icdm.2016.0094 
LibreCat: /record/2367
DOI: 10.1109/icdm.2016.0094