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.
7259 Publications
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 | 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 | Mastersthesis | LibreCat-ID: 278
Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs
M. Feldmann, Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs, Universität Paderborn, 2015.
LibreCat
M. Feldmann, Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs, Universität Paderborn, 2015.
2015 | Conference Paper | LibreCat-ID: 279
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat
| Files available
| DOI
M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
2015 | Conference Paper | LibreCat-ID: 1145
"I grade what I get but write what I think." Inconsistency Analysis in Patients' Reviews
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: ECIS 2015 Completed Research Papers, Elsevier, New York, NY, USA, 2015.
LibreCat
| DOI
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: ECIS 2015 Completed Research Papers, Elsevier, New York, NY, USA, 2015.
2015 | Book Chapter | LibreCat-ID: 1149
A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews
F.S. Bäumer, M. Geierhos, S. Schulze, in: G. Dregvaite, R. Damasevicius (Eds.), Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings, Springer, Cham, Switzerland, 2015, pp. 3–15.
LibreCat
| DOI
F.S. Bäumer, M. Geierhos, S. Schulze, in: G. Dregvaite, R. Damasevicius (Eds.), Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings, Springer, Cham, Switzerland, 2015, pp. 3–15.
2015 | Book Chapter | LibreCat-ID: 1150
Understanding the Patient 2.0: Gaining Insight into Patients' Rating Behavior by User-generated Physician Review Mining
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, 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, Springer, Cham, Switzerland, 2015, pp. 159–171.
LibreCat
| DOI
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, 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, Springer, Cham, Switzerland, 2015, pp. 159–171.
2015 | Conference Paper | LibreCat-ID: 17427
Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell
C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 107–120.
LibreCat
C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 107–120.
2015 | Conference Paper | LibreCat-ID: 23651
Methoden der Anforderungsstrukturierung zur Steuerung von Produktentwicklungsprozessen
P. Scholle, Y.-W. Song, M. Herzog, B. Bender, I. Gräßler, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium, TuTech Innovation GmbH, 2015, pp. 121–132.
LibreCat
P. Scholle, Y.-W. Song, M. Herzog, B. Bender, I. Gräßler, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium, TuTech Innovation GmbH, 2015, pp. 121–132.
2015 | Conference Paper | LibreCat-ID: 23652
Lebenszyklusgerechte Umfeldmodellierung
J. Hentze, I. Gräßler, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium, TuTech Innovation GmbH, 2015, pp. 245–254.
LibreCat
J. Hentze, I. Gräßler, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), Design for X - Beiträge zum 26. DfX-Symposium, TuTech Innovation GmbH, 2015, pp. 245–254.