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.
7259 Publications
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 | Mastersthesis | LibreCat-ID: 278
Feldmann M. Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs. Universität Paderborn; 2015.
LibreCat
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
2015 | Book Chapter | LibreCat-ID: 1150
Geierhos M, Bäumer FS, Schulze S, Klotz C. Understanding the Patient 2.0: Gaining Insight into Patients’ Rating Behavior by User-generated Physician Review Mining. In: Christiansen H, Stojanovic I, Papadopoulos GA, eds. Modeling and Using Context. 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings. Vol 9405. Lecture Notes in Artificial Intelligence. Cham, Switzerland: Springer; 2015:159-171. doi:10.1007/978-3-319-25591-0_12
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 17427
Jähn C, Fischer M, Gerges M, Berssenbrügge J. Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell. In: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2015:107-120.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23651
Scholle P, Song Y-W, Herzog M, Bender B, Gräßler I. Methoden der Anforderungsstrukturierung zur Steuerung von Produktentwicklungsprozessen. In: Krause D, Paetzold K, Wartzack S, eds. Design for X - Beiträge zum 26. DfX-Symposium. TuTech Innovation GmbH; 2015:121-132.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23652
Hentze J, Gräßler I. Lebenszyklusgerechte Umfeldmodellierung. In: Krause D, Paetzold K, Wartzack S, eds. Design for X - Beiträge zum 26. DfX-Symposium. TuTech Innovation GmbH; 2015:245-254.
LibreCat