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.
7574 Publications
2015 | Conference Paper | LibreCat-ID: 315
Jungmann, Alexander, Jan Jatzkowski, and Bernd 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 | Journal Article | LibreCat-ID: 3162
Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.” Computer Science - R & D, no. 3–4 (2015): 303--320. https://doi.org/10.1007/s00450-014-0259-7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer, Roland, and Heike 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, edited by Roland Meyer, Andr{\’{e}} Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-23506-6_1.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.” In {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-19249-9_11.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim, Heike, and Oleg 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, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-26287-1_7.
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, Roland, Andr{\’{e}} Platzer, and Heike 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. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-23506-6.
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57--64, 2015. https://doi.org/10.1109/SCC.2015.18.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 271
Drees, Maximilian, Matthias Feldotto, Sören Riechers, and Alexander Skopalik. “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), 178–89. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-662-48433-3_14.
LibreCat
| Files available
| DOI
| arXiv
2015 | Book | LibreCat-ID: 27120
Steinhardt, Isabel. Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 272
Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” In Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329--332, 2015. https://doi.org/10.1109/SERVICES.2015.57.
LibreCat
| Files available
| DOI
2015 | Newspaper Article | LibreCat-ID: 27321
Schöppner, Volker, T. Herken, and M. Hüttner. “Druckaufbau auf gleichläufigen Doppelschneckenextrudern - Theoretische Grundlagen, Herausforderungen und Energiebilanz.” Prozessoptimierung an Compoundieranlagen, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Non-Preemptive Scheduling on Machines with Setup Times.” In Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, edited by Frank Dehne, Jörg Rüdiger Sack, and Ulrike Stege, 542--553. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-21840-3_45.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, Andreas, and Pascal Lenzner. “Network Creation Games: Think Global - Act Local.” In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 248--260. LNCS, 2015. https://doi.org/10.1007/978-3-662-48054-0_21.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 27562
Rehage, Gerald, and Jürgen Gausemeier. “Ontology-Based Finding of Feasible Machine Changes.” In Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, 460:511–18. Springer International Publishing, 2015. http://link.springer.com/chapter/10.1007/978-3-319-22759-7_59.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 279
Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “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), 75–84, 2015. https://doi.org/10.1145/2737166.2737174.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 1145
Geierhos, Michaela, Frederik Simon Bäumer, Sabine Schulze, and Valentina Stuß. “‘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. https://doi.org/10.18151/7217324.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1149
Bäumer, Frederik Simon, Michaela Geierhos, and Sabine Schulze. “A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews.” In Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings, edited by Giedre Dregvaite and Robertas Damasevicius, 538:3–15. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2015. https://doi.org/10.1007/978-3-319-24770-0_1.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1150
Geierhos, Michaela, Frederik Simon Bäumer, Sabine Schulze, and Caterina Klotz. “Understanding the Patient 2.0: Gaining Insight into Patients’ Rating Behavior by User-Generated Physician Review Mining.” In Modeling and Using Context. 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings, edited by Henning Christiansen, Isidora Stojanovic, and George A. Papadopoulos, 9405:159–71. Lecture Notes in Artificial Intelligence. Cham, Switzerland: Springer, 2015. https://doi.org/10.1007/978-3-319-25591-0_12.
LibreCat
| DOI