Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1843 Publications
2015 | Conference Paper | LibreCat-ID: 3126
Bader C, Hofheinz D, Jager T, Kiltz E, Li Y. 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. ; 2015:629--658. doi:10.1007/978-3-662-46494-6_26
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 313
Börding P, Bruns M, Platenius MC. 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). ; 2015:974--977. doi:10.1145/2786805.2803181
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 314
Brangewitz S, Manegold J. Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 315
Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP International Embedded Systems Symposium. ; 2015.
LibreCat
| Files available
2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz J. Budget Games with Priced Strategies. Universität Paderborn; 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 3162
Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer R, Wehrheim H. From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In: Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:3--4. doi:10.1007/978-3-319-23506-6_1
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
Derrick J, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Verifying Opacity of a Transactional Mutex Lock. In: Bj{\o}rner N, S. de Boer F, eds. {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:161--177. doi:10.1007/978-3-319-19249-9_11
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim H, Travkin O. {TSO} to {SC} via Symbolic Execution. In: Piterman N, ed. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:104--119. doi:10.1007/978-3-319-26287-1_7
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger 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
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn C. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff S. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks. Universität Paderborn; 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 27012
Augustin LSA, Kendall CWC, Jenkins DJA, et al. Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC). Nutrition, Metabolism and Cardiovascular Diseases. Published online 2015:795-815. doi:10.1016/j.numecd.2015.05.005
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2702
Beutner M, Kundisch D, Magenheim J, Rechuel R. 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
2015 | Conference Paper | LibreCat-ID: 2703
Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis. In: Proceedings of the 23rd European Conference on Information Systems (ECIS). ; 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 27039
Libuda L, Mesch CM, Stimming M, et al. Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial. European Journal of Nutrition. Published online 2015:1633-1644. doi:10.1007/s00394-015-0982-2
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 27040
Schröder M, Müller K, Falkenstein M, Stehle P, Kersting M, Libuda L. Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS). Physiology & Behavior. Published online 2015:307-314. doi:10.1016/j.physbeh.2015.09.025
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2705
Müller M, Meier C, Kundisch D, Zimmermann S. Interactions in IS Project Portfolio Selection: Status Quo and Perspective. In: Wirtschaftsinformatik Proceedings. ; 2015.
LibreCat