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.
9839 Publications
2015 | Conference Paper | LibreCat-ID: 3164
Verifying Opacity of a Transactional Mutex Lock
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\o}rner, F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\o}rner, F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
2015 | Conference Paper | LibreCat-ID: 3165
{TSO} to {SC} via Symbolic Execution
H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
LibreCat
| DOI
H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
2015 | Conference (Editor) | LibreCat-ID: 3166
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
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, 2015.
LibreCat
| DOI
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, 2015.
2015 | Dissertation | LibreCat-ID: 317
Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen
C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen, Universität Paderborn, 2015.
LibreCat
| Files available
C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen, Universität Paderborn, 2015.
2015 | Dissertation | LibreCat-ID: 318
Automatic Service Discovery and Composition for heterogeneous service partners
Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service Partners, Universität Paderborn, 2015.
LibreCat
| Files available
Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service Partners, Universität Paderborn, 2015.
2015 | Conference Paper | LibreCat-ID: 319
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat
| Files available
| DOI
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
2015 | Conference Paper | LibreCat-ID: 271
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.
LibreCat
| Files available
| DOI
| arXiv
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.
2015 | Book | LibreCat-ID: 27120
Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität
I. Steinhardt, Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität, 2015.
LibreCat
I. Steinhardt, Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität, 2015.
2015 | Conference Paper | LibreCat-ID: 272
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat
| Files available
| DOI
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
2015 | Mastersthesis | LibreCat-ID: 273
Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms
K. Kohn, Number of Voronoi-Relevant Vectors in Lattices with Respect to Arbitrary Norms, Universität Paderborn, 2015.
LibreCat
K. Kohn, Number of Voronoi-Relevant Vectors in Lattices with Respect to Arbitrary Norms, Universität Paderborn, 2015.
2015 | Newspaper Article | LibreCat-ID: 27321
Druckaufbau auf gleichläufigen Doppelschneckenextrudern - Theoretische Grundlagen, Herausforderungen und Energiebilanz
V. Schöppner, T. Herken, M. Hüttner, Prozessoptimierung an Compoundieranlagen (2015).
LibreCat
V. Schöppner, T. Herken, M. Hüttner, Prozessoptimierung an Compoundieranlagen (2015).
2015 | Conference Paper | LibreCat-ID: 274
Non-preemptive Scheduling on Machines with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, 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, 2015, pp. 542--553.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, 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, 2015, pp. 542--553.
2015 | Conference Paper | LibreCat-ID: 275
Network Creation Games: Think Global - Act Local
A. Cord-Landwehr, P. Lenzner, in: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
LibreCat
| Files available
| DOI
A. Cord-Landwehr, P. Lenzner, in: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
2015 | Conference Paper | LibreCat-ID: 27562
Ontology-Based Finding of Feasible Machine Changes
G. Rehage, J. Gausemeier, in: Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, Springer International Publishing, 2015, pp. 511–518.
LibreCat
| DOI
G. Rehage, J. Gausemeier, in: Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, Springer International Publishing, 2015, pp. 511–518.
2015 | Journal Article | LibreCat-ID: 27568
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
F. Hellmich, F. Hoya, K. Drossel, Zeitschrift für Grundschulforschung 8 (2015) 109–121.
LibreCat
F. Hellmich, F. Hoya, K. Drossel, Zeitschrift für Grundschulforschung 8 (2015) 109–121.
2015 | Book | LibreCat-ID: 27569
Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt 'Ganz In'
K. Drossel, Motivationale Bedingungen von Lehrerkooperation. Eine Empirische Analyse Der Zusammenarbeit Im Projekt “Ganz In,” Waxmann, Münster, 2015.
LibreCat
K. Drossel, Motivationale Bedingungen von Lehrerkooperation. Eine Empirische Analyse Der Zusammenarbeit Im Projekt “Ganz In,” Waxmann, Münster, 2015.
2015 | Journal Article | LibreCat-ID: 27593
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
F. Hellmich, F. Hoya, K. Drossel, Zeitschrift für Grundschulforschung 8 (2015) 109–121.
LibreCat
F. Hellmich, F. Hoya, K. Drossel, Zeitschrift für Grundschulforschung 8 (2015) 109–121.
2015 | Book | LibreCat-ID: 27594
Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt "Ganz In"
K. Drossel, Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt “Ganz In,” Waxmann, Münster, 2015.
LibreCat
K. Drossel, Motivationale Bedingungen von Lehrerkooperation. Eine empirische Analyse der Zusammenarbeit im Projekt “Ganz In,” Waxmann, Münster, 2015.
2015 | Book Chapter | LibreCat-ID: 27596
Multiprofessionelle Kooperation in Ganztagsgymnasien: Umsetzung und Rahmenbedingungen
C. Gröhlich, K. Drossel, D. Winkelsett, 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, Waxmann, Münster, 2015, pp. 178–200.
LibreCat
| Files available
C. Gröhlich, K. Drossel, D. Winkelsett, 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, Waxmann, Münster, 2015, pp. 178–200.
2015 | Book Chapter | LibreCat-ID: 27597
Handlungsvoraussetzungen von Lehrerkooperation an Ganztagsgymnasien
K. Drossel, W. Bos, 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, Waxmann, Münster, 2015, pp. 152–177.
LibreCat
K. Drossel, W. Bos, 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, Waxmann, Münster, 2015, pp. 152–177.