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.

18267 Publications


2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 3164
Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.” In {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, 161--177. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-19249-9_11.
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 265
Hallmann, Corinna. Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 2705
Müller, M., Christian Meier, Dennis Kundisch, and Steffen Zimmermann. “Interactions in IS Project Portfolio Selection: Status Quo and Perspective.” In Wirtschaftsinformatik Proceedings, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 272
Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” In Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329--332, 2015. https://doi.org/10.1109/SERVICES.2015.57.
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 304
Koutsopoulos, Andreas. Dynamics and Efficiency in Topological Self-Stabilization. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Mastersthesis | LibreCat-ID: 309
Topal, Barlas. Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen. Universität Paderborn, 2015.
LibreCat
 

2015 | Bachelorsthesis | LibreCat-ID: 258
Sonntag, Melissa. Reputation und Vertrauen auf Online-Märkten. Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 260
Brosig, Fabian, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.” Transactions on Software Engineering, no. 2 (2015): 157--175. https://doi.org/10.1109/TSE.2014.2362755.
LibreCat | Files available | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed