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.

5774 Publications


2015 | Journal Article | LibreCat-ID: 3162
S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3163
R. Meyer and H. Wehrheim, “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog,” in 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, pp. 3--4.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3164
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying Opacity of a Transactional Mutex Lock,” in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat | DOI
 

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 | Conference (Editor) | LibreCat-ID: 3166
R. Meyer, A. Platzer, and 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
 

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 | Dissertation | LibreCat-ID: 270
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks. Universität Paderborn, 2015.
LibreCat | Files available
 

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 | Conference Paper | LibreCat-ID: 27163
Reinhard Keil and H. Selke, “Virtual knowledge {\ ‘a} ume - From the presentation of content to virtual learning {\’ a} tten,” 2015, vol. 330, pp. 39–53.
LibreCat
 

2015 | Dissertation | LibreCat-ID: 27164
F. Klompmaker, Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces. Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 27165
Christian Schild and V. Petrausch, “Empirical validation of design patterns ,” 2015, pp. 173–182.
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 273
K. Kohn, Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms. Universität Paderborn, 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 | Bachelorsthesis | LibreCat-ID: 277
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn, 2015.
LibreCat
 

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 | Report | LibreCat-ID: 20977
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed