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.
7290 Publications
2015 | Conference Paper | LibreCat-ID: 3126
Bader, C., Hofheinz, D., Jager, T., Kiltz, E., & Li, Y. (2015). Tightly-Secure Authenticated Key Exchange. In Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (pp. 629--658). https://doi.org/10.1007/978-3-662-46494-6_26
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 313
Börding, P., Bruns, M., & Platenius, M. C. (2015). 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) (pp. 974--977). https://doi.org/10.1145/2786805.2803181
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 315
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In Proceedings of the 5th IFIP International Embedded Systems Symposium.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 3162
Ziegert, S., & Wehrheim, H. (2015). Temporal plans for software architecture reconfiguration. Computer Science - R & D, (3–4), 303--320. https://doi.org/10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer, R., & Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In R. Meyer, A. Platzer, & H. 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 (pp. 3--4). https://doi.org/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. (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 | Mastersthesis | LibreCat-ID: 278
Feldmann, M. (2015). Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs. Universität Paderborn.
LibreCat
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