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.
6951 Publications
2015 | Conference Paper | LibreCat-ID: 3164
Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.” {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bj{\o}rner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.” Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, Roland, et al., editors. 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, doi:10.1007/978-3-319-23506-6.
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64, doi:10.1109/SCC.2015.18.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 271
Drees, Maximilian, et al. “On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.” Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–89, doi:10.1007/978-3-662-48433-3_14.
LibreCat
| Files available
| DOI
| arXiv
2015 | Book | LibreCat-ID: 27120
Steinhardt, Isabel. Lehre Stärkt Forschung: Studiengangentwicklung Durch ProfessorInnen Im Handlungssystem Universität. 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 272
Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332, doi:10.1109/SERVICES.2015.57.
LibreCat
| Files available
| DOI
2015 | Newspaper Article | LibreCat-ID: 27321
Schöppner, Volker, et al. “Druckaufbau auf gleichläufigen Doppelschneckenextrudern - Theoretische Grundlagen, Herausforderungen und Energiebilanz.” Prozessoptimierung an Compoundieranlagen, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker, Alexander, et al. “Non-Preemptive Scheduling on Machines with Setup Times.” Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, edited by Frank Dehne et al., 2015, pp. 542--553, doi:10.1007/978-3-319-21840-3_45.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, Andreas, and Pascal Lenzner. “Network Creation Games: Think Global - Act Local.” Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260, doi:10.1007/978-3-662-48054-0_21.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 27562
Rehage, Gerald, and Jürgen Gausemeier. “Ontology-Based Finding of Feasible Machine Changes.” Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth, Band 460, vol. 460, Springer International Publishing, 2015, pp. 511–18, doi:http://link.springer.com/chapter/10.1007/978-3-319-22759-7_59.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 279
Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes.” Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84, doi:10.1145/2737166.2737174.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 1145
Geierhos, Michaela, et al. “‘I Grade What I Get but Write What I Think.’ Inconsistency Analysis in Patients’ Reviews.” ECIS 2015 Completed Research Papers, 55, Elsevier, 2015, doi:10.18151/7217324.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1149
Bäumer, Frederik Simon, et al. “A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews.” Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings, edited by Giedre Dregvaite and Robertas Damasevicius, vol. 538, Springer, 2015, pp. 3–15, doi:10.1007/978-3-319-24770-0_1.
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 1150
Geierhos, Michaela, et al. “Understanding the Patient 2.0: Gaining Insight into Patients’ Rating Behavior by User-Generated Physician Review Mining.” Modeling and Using Context. 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings, edited by Henning Christiansen et al., vol. 9405, Springer, 2015, pp. 159–71, doi:10.1007/978-3-319-25591-0_12.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 17427
Jähn, Claudius, et al. “Automatische Ableitung Geometrischer Eigenschaften von Bauteilen Aus Dem 3-D-Polygonmodell.” 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, vol. 342, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2015, pp. 107–20.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23651
Scholle, Philipp, et al. “Methoden der Anforderungsstrukturierung zur Steuerung von Produktentwicklungsprozessen.” Design for X - Beiträge zum 26. DfX-Symposium, edited by Dieter Krause et al., TuTech Innovation GmbH, 2015, pp. 121–32.
LibreCat
2015 | Conference Paper | LibreCat-ID: 23652
Hentze, Julian, and Iris Gräßler. “Lebenszyklusgerechte Umfeldmodellierung.” Design for X - Beiträge zum 26. DfX-Symposium, edited by Dieter Krause et al., TuTech Innovation GmbH, 2015, pp. 245–54.
LibreCat