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
H. Wehrheim and O. 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, 2015, pp. 104--119.
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
C. Jähn, Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Z. Huma, Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 271
M. Drees, M. Feldotto, S. Riechers, and A. 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), 2015, pp. 178–189.
LibreCat
| Files available
| DOI
| arXiv
2015 | Book | LibreCat-ID: 27120
I. Steinhardt, Lehre stärkt Forschung: Studiengangentwicklung durch ProfessorInnen im Handlungssystem Universität. 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 272
A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat
| Files available
| DOI
2015 | Newspaper Article | LibreCat-ID: 27321
V. Schöppner, 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
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. 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, 2015, pp. 542--553.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
A. Cord-Landwehr and P. Lenzner, “Network Creation Games: Think Global - Act Local,” in Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 27562
G. Rehage and J. Gausemeier, “Ontology-Based Finding of Feasible Machine Changes,” in Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, 2015, vol. 460, pp. 511–518, doi: http://link.springer.com/chapter/10.1007/978-3-319-22759-7_59.
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 278
M. Feldmann, Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
M. C. Platenius, S. Arifulina, and W. 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), 2015, pp. 75–84.
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 1149
F. S. Bäumer, M. Geierhos, and S. 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, vol. 538, G. Dregvaite and R. Damasevicius, Eds. Cham, Switzerland: Springer, 2015, pp. 3–15.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1150
M. Geierhos, F. S. Bäumer, S. Schulze, and C. 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, vol. 9405, H. Christiansen, I. Stojanovic, and G. A. Papadopoulos, Eds. Cham, Switzerland: Springer, 2015, pp. 159–171.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 17427
C. Jähn, M. Fischer, M. Gerges, and J. Berssenbrügge, “Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell,” in 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2015, vol. 342, pp. 107–120.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23651
P. Scholle, Y.-W. Song, M. Herzog, B. Bender, and I. Gräßler, “Methoden der Anforderungsstrukturierung zur Steuerung von Produktentwicklungsprozessen,” in Design for X - Beiträge zum 26. DfX-Symposium, 2015, pp. 121–132.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23652
J. Hentze and I. Gräßler, “Lebenszyklusgerechte Umfeldmodellierung,” in Design for X - Beiträge zum 26. DfX-Symposium, 2015, pp. 245–254.
LibreCat