Bader, Christoph, Dennis Hofheinz, Tibor Jager, Eike Kiltz, and Yong Li. “Tightly-Secure Authenticated Key Exchange.”https://doi.org/10.1007/978-3-662-46494-6_26__In Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 629--658, 2015.https://doi.org/10.1007/978-3-662-46494-6_26 .
LibreCat: /record/3126
DOI: 10.1007/978-3-662-46494-6_26

Börding, Paul, Melanie Bruns, and Marie Christin Platenius. “Comprehensive Service Matching with MatchBox.”https://doi.org/10.1145/2786805.2803181__In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 974--977, 2015.https://doi.org/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, Jan Jatzkowski, and Bernd Kleinjohann. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In 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.”https://doi.org/10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4 (2015): 303--320.https://doi.org/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.”https://doi.org/10.1007/978-3-319-23506-6_1__In 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, Andr\rquote e Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6_1 .
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.”https://doi.org/10.1007/978-3-319-19249-9_11__In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015.https://doi.org/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.”https://doi.org/10.1007/978-3-319-26287-1_7__In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-26287-1_7 .
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, Roland, Andr\rquote e Platzer, and Heike Wehrheim, eds. 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. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6 .
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat: /record/317

Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat: /record/318

Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.”https://doi.org/10.1109/SCC.2015.18__In Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57--64, 2015.https://doi.org/10.1109/SCC.2015.18 .
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

Abshoff, Sebastian. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks. Universität Paderborn, 2015.
LibreCat: /record/270

Augustin, L.S.A., C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup, A.W. Barclay, I. Björck, et al. “Glycemic Index, Glycemic Load and Glycemic Response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC).”https://doi.org/10.1016/j.numecd.2015.05.005__Nutrition, Metabolism and Cardiovascular Diseases, 2015, 795–815.https://doi.org/10.1016/j.numecd.2015.05.005 .
LibreCat: /record/27012
DOI: 10.1016/j.numecd.2015.05.005

Beutner, Marc, Dennis Kundisch, J. Magenheim, and R. Rechuel. “DUC - Fostering Diversity Aspects in Higher Education by ELearning and User Generated Content.” In Proceedings of E-LEARN 2015 - World Conference on E-Learning, 2015.
LibreCat: /record/2702

Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis.” In Proceedings of the 23rd European Conference on Information Systems (ECIS), 2015.
LibreCat: /record/2703

Libuda, Lars, Christina M. Mesch, Madlen Stimming, Hans Demmelmair, Berthold Koletzko, Petra Warschburger, Katharina Blanke, Eva Reischl, Hermann Kalhoff, and Mathilde Kersting. “Fatty Acid Supply with Complementary Foods and LC-PUFA Status in Healthy Infants: Results of a Randomised Controlled Trial.”https://doi.org/10.1007/s00394-015-0982-2__European Journal of Nutrition, 2015, 1633–44.https://doi.org/10.1007/s00394-015-0982-2 .
LibreCat: /record/27039
DOI: 10.1007/s00394-015-0982-2

Schröder, Maike, Katrin Müller, Michael Falkenstein, Peter Stehle, Mathilde Kersting, and Lars Libuda. “Short-Term Effects of Lunch on Children’s Executive Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS).”https://doi.org/10.1016/j.physbeh.2015.09.025__Physiology &; Behavior, 2015, 307–14.https://doi.org/10.1016/j.physbeh.2015.09.025 .
LibreCat: /record/27040
DOI: 10.1016/j.physbeh.2015.09.025

Müller, M., Christian Meier, Dennis Kundisch, and Steffen Zimmermann. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” In Wirtschaftsinformatik Proceedings, 2015.
LibreCat: /record/2705