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.
7530 Publications
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 | 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 | 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 | Conference Paper | LibreCat-ID: 271
Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2015:178-189. doi:10.1007/978-3-662-48433-3_14
LibreCat
| Files available
| DOI
| arXiv
2015 | Book | LibreCat-ID: 27120
Steinhardt I. Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 272
Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). ; 2015:329--332. doi:10.1109/SERVICES.2015.57
LibreCat
| Files available
| DOI
2015 | Newspaper Article | LibreCat-ID: 27321
Schöppner V, Herken T, Hüttner M. Druckaufbau auf gleichläufigen Doppelschneckenextrudern - Theoretische Grundlagen, Herausforderungen und Energiebilanz. Prozessoptimierung an Compoundieranlagen. 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-preemptive Scheduling on Machines with Setup Times. In: Dehne F, Sack JR, Stege U, eds. Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:542--553. doi:10.1007/978-3-319-21840-3_45
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr A, Lenzner P. Network Creation Games: Think Global - Act Local. In: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS). LNCS. ; 2015:248--260. doi:10.1007/978-3-662-48054-0_21
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 27562
Rehage G, Gausemeier J. Ontology-Based Finding of Feasible Machine Changes. In: Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460. Vol 460. Springer International Publishing; 2015:511-518. doi:http://link.springer.com/chapter/10.1007/978-3-319-22759-7_59
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 279
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84. doi:10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 1145
Geierhos M, Bäumer FS, Schulze S, Stuß V. “I grade what I get but write what I think.” Inconsistency Analysis in Patients’ Reviews. In: ECIS 2015 Completed Research Papers. New York, NY, USA: Elsevier; 2015. doi:10.18151/7217324
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1149
Bäumer FS, Geierhos M, Schulze S. A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews. In: Dregvaite G, Damasevicius R, eds. Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings. Vol 538. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2015:3-15. doi:10.1007/978-3-319-24770-0_1
LibreCat
| DOI