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.
5711 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 | Dissertation | LibreCat-ID: 270
On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks, Universität Paderborn, 2015.
LibreCat
| Files available
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks, Universität Paderborn, 2015.
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 | Conference Paper | LibreCat-ID: 27163
Virtual knowledge {\ "a} ume - From the presentation of content to virtual learning {\" a} tten
Reinhard Keil, H. Selke, in: R. Keil, Harald Selke (Eds.), publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.
LibreCat
Reinhard Keil, H. Selke, in: R. Keil, Harald Selke (Eds.), publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.
2015 | Dissertation | LibreCat-ID: 27164
Development of a structured process of interaction design for {\ "u} r nat {\" u} local user interfaces
F. Klompmaker, Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces, Universitaetsbibliothek Paderborn, Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2015.
LibreCat
F. Klompmaker, Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces, Universitaetsbibliothek Paderborn, Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2015.
2015 | Conference Paper | LibreCat-ID: 27165
Empirical validation of design patterns
Christian Schild, V. Petrausch, in: De Gruyter Oldenbourg, Berlin, 2015, pp. 173–182.
LibreCat
Christian Schild, V. Petrausch, in: De Gruyter Oldenbourg, Berlin, 2015, pp. 173–182.
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 | 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 | Bachelorsthesis | LibreCat-ID: 277
Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk, Universität Paderborn, 2015.
LibreCat
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk, Universität Paderborn, 2015.
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 | Report | LibreCat-ID: 20977
Seminar Theses of the Project Group Cybertron
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
2015 | Conference Paper | LibreCat-ID: 20979
Debugging Models in the Context of Automotive Software Development
L. Stockmann, in: M. Chechik, D. Kolovos (Eds.), Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
LibreCat
L. Stockmann, in: M. Chechik, D. Kolovos (Eds.), Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
2015 | Conference Paper | LibreCat-ID: 17425
Anbindung des Virtuellen Prototypen an die Partialmodelle intelligenter technischer Systeme
J. Berssenbrügge, O. Wiederkehr, C. Jähn, M. Fischer, in: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 65–78.
LibreCat
J. Berssenbrügge, O. Wiederkehr, C. Jähn, M. Fischer, in: 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 65–78.
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.