Bader, C., Hofheinz, D., Jager, T., Kiltz, E., &; Li, Y. (2015). Tightly-Secure Authenticated Key Exchange. In Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (pp. 629--658).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, P., Bruns, M., &; Platenius, M. C. (2015). Comprehensive Service Matching with MatchBox. In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15) (pp. 974--977).https://doi.org/10.1145/2786805.2803181 
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Brangewitz, S., &; Manegold, J. (2015). Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn.
LibreCat: /record/314

Jungmann, A., Jatzkowski, J., &; Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In Proceedings of the 5th IFIP International Embedded Systems Symposium.
LibreCat: /record/315

Pautz, J. (2015). Budget Games with priced strategies. Universität Paderborn.
LibreCat: /record/316

Ziegert, S., &; Wehrheim, H. (2015). Temporal plans for software architecture reconfiguration. Computer Science - R &; D, (3–4), 303--320.https://doi.org/10.1007/s00450-014-0259-7 
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, R., &; Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog. In R. Meyer, A. Platzer, &; H. 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 (pp. 3--4).https://doi.org/10.1007/978-3-319-23506-6_1 
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., &; Wehrheim, H. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bjrner &; F. S. de Boer (Eds.), FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 161--177).https://doi.org/10.1007/978-3-319-19249-9_11 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, H., &; Travkin, O. (2015). TSO to SC via Symbolic Execution. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 104--119).https://doi.org/10.1007/978-3-319-26287-1_7 
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, R., Platzer, A., &; Wehrheim, H. (Eds.). (2015). 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.https://doi.org/10.1007/978-3-319-23506-6 
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

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

Huma, Z. (2015). Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn.
LibreCat: /record/318

Mohr, F., Jungmann, A., &; Kleine Büning, H. (2015). Automated Online Service Composition. In Proceedings of the 12th IEEE International Conference on Services Computing (SCC) (pp. 57--64).https://doi.org/10.1109/SCC.2015.18 
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

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

Augustin, L. S. A., Kendall, C. W. C., Jenkins, D. J. A., Willett, W. C., Astrup, A., Barclay, A. W., Björck, I., Brand-Miller, J. C., Brighenti, F., Buyken, A., Ceriello, A., La Vecchia, C., Livesey, G., Liu, S., Riccardi, G., Rizkalla, S. W., Sievenpiper, J. L., Trichopoulou, A., Wolever, T. M. S.,https://doi.org/10.1016/j.numecd.2015.05.005__Poli, A. (2015). Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC). Nutrition, Metabolism and Cardiovascular Diseases, 795–815.https://doi.org/10.1016/j.numecd.2015.05.005 
LibreCat: /record/27012
DOI: 10.1016/j.numecd.2015.05.005

Beutner, M., Kundisch, D., Magenheim, J., &; Rechuel, R. (2015). DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content. In Proceedings of E-LEARN 2015 - World Conference on E-Learning. Kona, USA.
LibreCat: /record/2702

Mutter, T., &; Kundisch, D. (2015). Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis. In Proceedings of the 23rd European Conference on Information Systems (ECIS). Münster, Germany.
LibreCat: /record/2703

Libuda, L., Mesch, C. M., Stimming, M., Demmelmair, H., Koletzko, B., Warschburger, P., Blanke, K., Reischl, E., Kalhoff, H., &; Kersting, M. (2015). Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial. European Journal of Nutrition, 1633–1644.https://doi.org/10.1007/s00394-015-0982-2 
LibreCat: /record/27039
DOI: 10.1007/s00394-015-0982-2

Schröder, M., Müller, K., Falkenstein, M., Stehle, P., Kersting, M., &; Libuda, L. (2015). Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS). Physiology &; Behavior, 307–314.https://doi.org/10.1016/j.physbeh.2015.09.025 
LibreCat: /record/27040
DOI: 10.1016/j.physbeh.2015.09.025

Müller, M., Meier, C., Kundisch, D., &; Zimmermann, S. (2015). Interactions in IS Project Portfolio Selection: Status Quo and Perspective. In Wirtschaftsinformatik Proceedings. Osnabrück.
LibreCat: /record/2705