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.
6951 Publications
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 | Conference Paper | LibreCat-ID: 271
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2015). 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) (pp. 178–189). https://doi.org/10.1007/978-3-662-48433-3_14
LibreCat
| Files available
| DOI
| arXiv
2015 | Book | LibreCat-ID: 27120
Steinhardt, I. (2015). Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität.
LibreCat
2015 | Conference Paper | LibreCat-ID: 272
Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. In Proceedings of the IEEE 11th World Congress on Services (SERVICES) (pp. 329--332). https://doi.org/10.1109/SERVICES.2015.57
LibreCat
| Files available
| DOI
2015 | Newspaper Article | LibreCat-ID: 27321
Schöppner, V., Herken, T., & Hüttner, M. (2015). Druckaufbau auf gleichläufigen Doppelschneckenextrudern - Theoretische Grundlagen, Herausforderungen und Energiebilanz. Prozessoptimierung an Compoundieranlagen.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2015). Non-preemptive Scheduling on Machines with Setup Times. In F. Dehne, J. R. Sack, & U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings (pp. 542--553). https://doi.org/10.1007/978-3-319-21840-3_45
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, A., & Lenzner, P. (2015). Network Creation Games: Think Global - Act Local. In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS) (pp. 248--260). https://doi.org/10.1007/978-3-662-48054-0_21
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 27562
Rehage, G., & Gausemeier, J. (2015). Ontology-Based Finding of Feasible Machine Changes. Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, 460, 511–518. http://link.springer.com/chapter/10.1007/978-3-319-22759-7_59
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 279
Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). 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) (pp. 75–84). https://doi.org/10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 1145
Geierhos, M., Bäumer, F. S., Schulze, S., & Stuß, V. (2015). “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. https://doi.org/10.18151/7217324
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1149
Bäumer, F. S., Geierhos, M., & Schulze, S. (2015). A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews. In G. Dregvaite & R. Damasevicius (Eds.), Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings (Vol. 538, pp. 3–15). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-24770-0_1
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1150
Geierhos, M., Bäumer, F. S., Schulze, S., & Klotz, C. (2015). Understanding the Patient 2.0: Gaining Insight into Patients’ Rating Behavior by User-generated Physician Review Mining. In H. Christiansen, I. Stojanovic, & G. A. Papadopoulos (Eds.), Modeling and Using Context. 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings (Vol. 9405, pp. 159–171). Cham, Switzerland: Springer. https://doi.org/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. (2015). Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell. 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 342, 107–120.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23651
Scholle, P., Song, Y.-W., Herzog, M., Bender, B., & Gräßler, I. (2015). Methoden der Anforderungsstrukturierung zur Steuerung von Produktentwicklungsprozessen. In D. Krause, K. Paetzold, & S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium (pp. 121–132). TuTech Innovation GmbH.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23652
Hentze, J., & Gräßler, I. (2015). Lebenszyklusgerechte Umfeldmodellierung. In D. Krause, K. Paetzold, & S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium (pp. 245–254). TuTech Innovation GmbH.
LibreCat