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

Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat: /record/213

Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat: /record/214

Drees, Maximilian, Robert Gmyr, and Christian Scheideler. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.”https://doi.org/10.1145/2935764.2935783__In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 417--427, 2016.https://doi.org/10.1145/2935764.2935783 .
LibreCat: /record/215
DOI: 10.1145/2935764.2935783

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Polevoy, Gleb, M.M. de Weerdt, and C.M. Jonker. “The Game of Reciprocation Habits.”https://doi.org/10.3233/978-1-61499-672-9-417__In Proceedings of the 2016 European Conference on Artificial Intelligence, Volume 285: ECAI 2016:417–25. Frontiers in Artificial Intelligence and Applications, 2016.https://doi.org/10.3233/978-1-61499-672-9-417 .
LibreCat: /record/17655
DOI: 10.3233/978-1-61499-672-9-417

Polevoy, Gleb, Mathijs de Weerdt, and Catholijn Jonker. “The Convergence of Reciprocation.” In Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 1431–32. AAMAS ’16. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2016.
LibreCat: /record/17656

Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.”https://doi.org/10.1007/978-3-319-48749-6_35__In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 477–88. LNCS, 2016.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, Friedhelm, ed. Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC), 2016.https://doi.org/10.1145/2936716 .
LibreCat: /record/187
DOI: 10.1145/2936716

Lass, Michael, Dominik Leibenger, and Christoph Sorge. “Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension.”https://doi.org/10.1109/lcn.2016.11__In Proc. 41st Conference on Local Computer Networks (LCN). IEEE, 2016.https://doi.org/10.1109/lcn.2016.11 .
LibreCat: /record/19
DOI: 10.1109/lcn.2016.11

Platenius, Marie Christin, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.”https://doi.org/10.1109/TSE.2016.2632115__IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8 (2016): 739–59.https://doi.org/10.1109/TSE.2016.2632115 .
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “A Theoretical Analysis of the Fuzzy K-Means Problem.”https://doi.org/10.1109/icdm.2016.0094__In 2016 IEEE 16th International Conference on Data Mining (ICDM), 805–10. IEEE, 2016.https://doi.org/10.1109/icdm.2016.0094 .
LibreCat: /record/2367
DOI: 10.1109/icdm.2016.0094

Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Information Flow Analysis for Go.”https://doi.org/10.1007/978-3-319-47166-2_30__In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, 431–45, 2016.https://doi.org/10.1007/978-3-319-47166-2_30 .
LibreCat: /record/20556
DOI: 10.1007/978-3-319-47166-2_30

Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.”https://doi.org/10.1007/978-3-319-48749-6_42__In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 578--592, 2016.https://doi.org/10.1007/978-3-319-48749-6_42 .
LibreCat: /record/207
DOI: 10.1007/978-3-319-48749-6_42

Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” In Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat: /record/20716

Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016.http://dx.doi.org/10.7939/DVN/10859 .
LibreCat: /record/20717
DOI: http://dx.doi.org/10.7939/DVN/10859

Rasthofer, Siegfried, Steven Arzt, Eric Bodden, and Marc Miltenberger. “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.”https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536__Datenschutz Und Datensicherheit, 2016, 718–22.https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536 .
LibreCat: /record/20718
DOI: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536

Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden. “An In-Depth Study of More Than Ten Years of Java Exploitation.”http://doi.acm.org/10.1145/2976749.2978361__In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 779–90. CCS ’16, 2016.http://doi.acm.org/10.1145/2976749.2978361 .
LibreCat: /record/20719
DOI: http://doi.acm.org/10.1145/2976749.2978361

Follner, Andreas, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer, and Eric Bodden. “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.” In International Workshop on Security and Trust Management (STM), 212–28, 2016.
LibreCat: /record/20720

Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated Benchmark Management System.” In Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17. SOAP 2016, 2016.
LibreCat: /record/20721