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. (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
| DOI
2015 | Conference Paper | LibreCat-ID: 313
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
| Files available
| DOI
2015 | Report | LibreCat-ID: 314
Brangewitz, S., & Manegold, J. (2015). Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 315
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
| Files available
2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz, J. (2015). Budget Games with priced strategies. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 3162
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
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer, R., & Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In R. Meyer, A. Platzer, & H. Wehrheim (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 (pp. 3--4). https://doi.org/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. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bj{\o}rner & 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
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
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
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, R., Platzer, A., & Wehrheim, H. (Eds.). (2015). 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. https://doi.org/10.1007/978-3-319-23506-6
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn, C. (2015). Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Z. (2015). Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
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
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff, S. (2015). On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks. Universität Paderborn.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 27012
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., … 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
| DOI
2015 | Conference Paper | LibreCat-ID: 2702
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
2015 | Conference Paper | LibreCat-ID: 2703
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
2015 | Journal Article | LibreCat-ID: 27039
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
| DOI
2015 | Journal Article | LibreCat-ID: 27040
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
| DOI
2015 | Conference Paper | LibreCat-ID: 2705
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