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.

1767 Publications


2015 | Conference Paper | LibreCat-ID: 3126
C. Bader, D. Hofheinz, T. Jager, E. Kiltz, and Y. Li, “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, pp. 629--658.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 313
P. Börding, M. Bruns, and M. C. Platenius, “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, pp. 974--977.
LibreCat | Files available | DOI
 

2015 | Report | LibreCat-ID: 314
S. Brangewitz and J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 315
A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “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
J. Pautz, Budget Games with priced strategies. Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 3162
S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3163
R. Meyer and H. Wehrheim, “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog,” in 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, pp. 3--4.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3164
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying Opacity of a Transactional Mutex Lock,” in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3165
H. Wehrheim and O. Travkin, “{TSO} to {SC} via Symbolic Execution,” in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
LibreCat | DOI
 

2015 | Conference (Editor) | LibreCat-ID: 3166
R. Meyer, A. Platzer, and 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. 2015.
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 317
C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 318
Z. Huma, Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 319
F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 270
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Journal Article | LibreCat-ID: 27012
L. S. A. Augustin 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, pp. 795–815, 2015, doi: 10.1016/j.numecd.2015.05.005.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 2702
M. Beutner, D. 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, Kona, USA, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 2703
T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis,” in Proceedings of the 23rd European Conference on Information Systems (ECIS), Münster, Germany, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 27039
L. Libuda 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, pp. 1633–1644, 2015, doi: 10.1007/s00394-015-0982-2.
LibreCat | DOI
 

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

2015 | Conference Paper | LibreCat-ID: 2705
M. Müller, C. Meier, D. Kundisch, and S. Zimmermann, “Interactions in IS Project Portfolio Selection: Status Quo and Perspective,” in Wirtschaftsinformatik Proceedings, Osnabrück, 2015.
LibreCat
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed