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.
1748 Publications
2015 | Conference Paper | LibreCat-ID: 3126
@inproceedings{Bader_Hofheinz_Jager_Kiltz_Li_2015, title={Tightly-Secure Authenticated Key Exchange}, DOI={10.1007/978-3-662-46494-6_26}, booktitle={Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I}, author={Bader, Christoph and Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike and Li, Yong}, year={2015}, pages={629--658} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 313
@inproceedings{Börding_Bruns_Platenius_2015, title={Comprehensive Service Matching with MatchBox}, DOI={10.1145/2786805.2803181}, booktitle={10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15)}, author={Börding, Paul and Bruns, Melanie and Platenius, Marie Christin}, year={2015}, pages={974--977} }
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 314
@book{Brangewitz_Manegold_2015, title={Competition and Product Innovation of Intermediaries in a Differentiated Duopoly}, publisher={Universität Paderborn}, author={Brangewitz, Sonja and Manegold, Jochen}, year={2015} }
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 315
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
| Files available
2015 | Bachelorsthesis | LibreCat-ID: 316
@book{Pautz_2015, title={Budget Games with priced strategies}, publisher={Universität Paderborn}, author={Pautz, Jannis}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 3162
@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture reconfiguration}, DOI={10.1007/s00450-014-0259-7}, number={3–4}, journal={Computer Science - R & D}, author={Ziegert, Steffen and Wehrheim, Heike}, year={2015}, pages={303--320} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
@inproceedings{Meyer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog}, DOI={10.1007/978-3-319-23506-6_1}, booktitle={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}, author={Meyer, Roland and Wehrheim, Heike}, editor={Meyer, Roland and Platzer, Andr{\’{e}} and Wehrheim, HeikeEditors}, year={2015}, pages={3--4}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={10.1007/978-3-319-19249-9_11}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
@inproceedings{Wehrheim_Travkin_2015, series={Lecture Notes in Computer Science}, title={{TSO} to {SC} via Symbolic Execution}, DOI={10.1007/978-3-319-26287-1_7}, booktitle={Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, author={Wehrheim, Heike and Travkin, Oleg}, editor={Piterman, NirEditor}, year={2015}, pages={104--119}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
@book{Meyer_Platzer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={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}, DOI={10.1007/978-3-319-23506-6}, year={2015}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
@book{Jähn_2015, title={Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen}, publisher={Universität Paderborn}, author={Jähn, Claudius}, year={2015} }
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
@book{Huma_2015, title={Automatic Service Discovery and Composition for heterogeneous service partners}, publisher={Universität Paderborn}, author={Huma, Zille}, year={2015} }
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, DOI={10.1109/SCC.2015.18}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57--64} }
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
@book{Abshoff_2015, title={On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks}, publisher={Universität Paderborn}, author={Abshoff, Sebastian}, year={2015} }
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 27012
@article{Augustin_Kendall_Jenkins_Willett_Astrup_Barclay_Björck_Brand-Miller_Brighenti_Buyken_et al._2015, title={Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC)}, DOI={10.1016/j.numecd.2015.05.005}, journal={Nutrition, Metabolism and Cardiovascular Diseases}, author={Augustin, L.S.A. and Kendall, C.W.C. and Jenkins, D.J.A. and Willett, W.C. and Astrup, A. and Barclay, A.W. and Björck, I. and Brand-Miller, J.C. and Brighenti, F. and Buyken, Anette and et al.}, year={2015}, pages={795–815} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2702
@inproceedings{Beutner_Kundisch_Magenheim_Rechuel_2015, title={DUC - Fostering Diversity Aspects in Higher Education by eLearning and User generated Content}, booktitle={Proceedings of E-LEARN 2015 - World Conference on E-Learning}, author={Beutner, Marc and Kundisch, Dennis and Magenheim, J. and Rechuel, R.}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 2703
@inproceedings{Mutter_Kundisch_2015, title={Behavioral Mechanisms Prompted by Virtual Rewards: The Small-Area Hypothesis}, booktitle={Proceedings of the 23rd European Conference on Information Systems (ECIS)}, author={Mutter, Tobias and Kundisch, Dennis}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 27039
@article{Libuda_Mesch_Stimming_Demmelmair_Koletzko_Warschburger_Blanke_Reischl_Kalhoff_Kersting_2015, title={Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial}, DOI={10.1007/s00394-015-0982-2}, journal={European Journal of Nutrition}, author={Libuda, Lars and Mesch, Christina M. and Stimming, Madlen and Demmelmair, Hans and Koletzko, Berthold and Warschburger, Petra and Blanke, Katharina and Reischl, Eva and Kalhoff, Hermann and Kersting, Mathilde}, year={2015}, pages={1633–1644} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 27040
@article{Schröder_Müller_Falkenstein_Stehle_Kersting_Libuda_2015, title={Short-term effects of lunch on children’s executive cognitive functioning: The randomized crossover Cognition Intervention Study Dortmund PLUS (CogniDo PLUS)}, DOI={10.1016/j.physbeh.2015.09.025}, journal={Physiology & Behavior}, author={Schröder, Maike and Müller, Katrin and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda, Lars}, year={2015}, pages={307–314} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 2705
@inproceedings{Müller_Meier_Kundisch_Zimmermann_2015, title={Interactions in IS Project Portfolio Selection: Status Quo and Perspective}, booktitle={Wirtschaftsinformatik Proceedings}, author={Müller, M. and Meier, Christian and Kundisch, Dennis and Zimmermann, Steffen}, year={2015} }
LibreCat