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.

15921 Publications


2015 | Conference Paper | LibreCat-ID: 3163
Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog.” 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, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 269
Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
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 | Working Paper | LibreCat-ID: 2730
Gries, Thomas, et al. Does Technological Change Drive Inclusive Industrialization? - A Review of Major Concepts and Findings. Vol. 2015–044, 2015.
LibreCat | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 245
Becker, Matthias, et al. “Systematically Deriving Quality Metrics for Cloud Computing Systems.” Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174, doi:10.1145/2668930.2688043.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 252
Dräxler, Martin, et al. “SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming.” Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8, doi:10.1109/NetSys.2015.7089073.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Book Chapter | LibreCat-ID: 2615
Betz, Stefan. “Unscharfe Produktionsmengenplanung als Instrument des Risikomanagements in Supply Chains.” Risikomanagement in Supply Chains, edited by Christoph Siepermann u.a., 2nd ed., 2015, pp. 137–57.
LibreCat
 

2015 | Dissertation | LibreCat-ID: 264
Wette, Philip. Optimizing Software-Defined Networks Using Application-Layer Knowledge. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Mastersthesis | LibreCat-ID: 276
Hohenberger, Till. Network Creation Games with Interest Groups. Universität Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 283
Czech, Mike, et al. “Just Test What You Cannot Verify!” Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:10.1007/978-3-662-46675-9_7.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3808
Kiesel, Johannes, et al. “A Shared Task on Argumentation Mining in Newspaper Editorials.” Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38, doi:10.3115/v1/W15-0505.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 4022
Drude, Dennis, et al. Correlation between Defect Densities in Colloidal Nanosphere Masks and Experimental Parameters. 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 4027
Kemper, R. M., et al. “STEM-CL Investigations on the Influence of Stacking Faults on the Optical Emission of Cubic GaN Epilayers and Cubic GaN/AlN Multi-Quantum Wells.” Physica Status Solidi (C), vol. 12, no. 4–5, Wiley, 2015, pp. 469–72, doi:10.1002/pssc.201400154.
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 327
Kniesburges, Sebastian, et al. “A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery.” Theoretical Computer Science, Elsevier, 2015, pp. 67–79, doi:10.1016/j.tcs.2014.11.027.
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 3295
Gries, Thomas, and Irene Palnau. “Sustaining Civil Peace: A Configurational Comparative Analysis.” Peace Economics, Peace Science and Public Policy, vol. 21, no. 4, 2015, pp. 467–78, doi:10.1515/peps-2015-0020.
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 3310
Walczok, Gregor Paul. Die Veränderung des Mobilfunkmarktes durch die Discountanbieter. Universität Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 322
Blömer, Johannes, et al. “Anonymous and Publicly Linkable Reputation Systems.” Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488, doi:10.1007/978-3-662-47854-7_29.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 4332
Sanna, S., et al. “Raman Scattering Efficiency InLiTaO3andLiNbO3crystals.” Physical Review B, vol. 91, no. 22, American Physical Society (APS), 2015, doi:10.1103/physrevb.91.224302.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 4464
Brahm, Taiga, et al. A Person-Centred Approach to Students’ Transition into Higher Education. 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 4469
Wagner, Dietrich, and Tobias Jenert. Zwischen" Netten" Tools Und" {\"U}berdidaktisierung": Neue Medien in Der Hochschuldidaktik. 2015.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed