Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.”10.1007/978-3-662-46494-6_26__Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658, doi:10.1007/978-3-662-46494-6_26.
LibreCat: /record/3126
DOI: 10.1007/978-3-662-46494-6_26

Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.”10.1145/2786805.2803181__10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977, doi:10.1145/2786805.2803181.
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Brangewitz, Sonja, and Jochen Manegold. Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.
LibreCat: /record/314

Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat: /record/315

Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn, 2015.
LibreCat: /record/316

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”10.1007/978-3-319-23506-6_1__Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.”10.1007/978-3-319-19249-9_11__FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”10.1007/978-3-319-26287-1_7__Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, Roland, et al., editors. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. 2015, doi:10.1007/978-3-319-23506-6.
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6