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.
9843 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 | Mastersthesis | LibreCat-ID: 273
Kohn, K. (2015). Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms. Universität Paderborn.
LibreCat
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 | Journal Article | LibreCat-ID: 27568
Hellmich, F., Hoya, F., & Drossel, K. (2015). Evaluative Rückmeldungen zu Leseprozessen im Elternhaus aus der Sicht von Kindern im Grundschulalter und ihre Bedeutung für Leseverständnis, Lesemotivation und lesebezogenes Selbstkonzept. Zeitschrift für Grundschulforschung, 8(1), 109–121.
LibreCat
2015 | Book | LibreCat-ID: 27569
Drossel, K. (2015). Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt “Ganz In.” Waxmann.
LibreCat
2015 | Journal Article | LibreCat-ID: 27593
Hellmich, F., Hoya, F., & Drossel, K. (2015). Evaluative Rückmeldungen zu Leseprozessen im Elternhaus aus der Sicht von Kindern im Grundschulalter und ihre Bedeutung für Leseverständnis, Lesemotivation und lesebezogenes Selbstkonzept. Zeitschrift für Grundschulforschung, 8(1), 109–121.
LibreCat
2015 | Book | LibreCat-ID: 27594
Drossel, K. (2015). Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt “Ganz In.” Waxmann.
LibreCat
2015 | Book Chapter | LibreCat-ID: 27596
Gröhlich, C., Drossel, K., & Winkelsett, D. (2015). Multiprofessionelle Kooperation in Ganztagsgymnasien: Umsetzung und Rahmenbedingungen. In H. Wendt & W. Bos (Eds.), Auf dem Weg zum Ganztagsgymnasium. Erste Ergebnisse der wissenschaftlichen Begleitforschung zum Projekt “Ganz In”. Mit Ganztag mehr Zukunft. Das neue Ganztagsgymnasium in NRW (pp. 178–200). Waxmann.
LibreCat
| Files available
2015 | Book Chapter | LibreCat-ID: 27597
Drossel, K., & Bos, W. (2015). Handlungsvoraussetzungen von Lehrerkooperation an Ganztagsgymnasien. In H. Wendt & W. Bos (Eds.), Auf dem Weg zum Ganztagsgymnasium. Erste Ergebnisse der wissenschaftlichen Begleitforschung zum Projekt “Ganz In”. Mit Ganztag mehr Zukunft. Das neue Ganztagsgymnasium in NRW (pp. 152–177). Waxmann.
LibreCat