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.
1749 Publications
2015 | Conference Paper | LibreCat-ID: 3126
Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.” 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
| DOI
2015 | Conference Paper | LibreCat-ID: 313
Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.” 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
| Files available
| DOI
2015 | Report | LibreCat-ID: 314
Brangewitz, Sonja, and Jochen Manegold. Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 315
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
| Files available
2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 3162
Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.” Computer Science - R & D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog.” 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, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.” {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.” 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
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, Roland, et al., editors. 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, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64, doi:10.1109/SCC.2015.18.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff, Sebastian. 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, L. S. A., 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, 2015, pp. 795–815, doi:10.1016/j.numecd.2015.05.005.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2702
Beutner, Marc, et al. “DUC - Fostering Diversity Aspects in Higher Education by ELearning and User Generated Content.” Proceedings of E-LEARN 2015 - World Conference on E-Learning, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 2703
Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis.” Proceedings of the 23rd European Conference on Information Systems (ECIS), 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 27039
Libuda, Lars, 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, 2015, pp. 1633–44, doi:10.1007/s00394-015-0982-2.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 27040
Schröder, Maike, et al. “Short-Term Effects of Lunch on Children’s Executive Cognitive Functioning: The Randomized Crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS).” Physiology & Behavior, 2015, pp. 307–14, doi:10.1016/j.physbeh.2015.09.025.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2705
Müller, M., et al. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” Wirtschaftsinformatik Proceedings, 2015.
LibreCat