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
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: 269
T. Wiersema, S. Wu, and M. Platzner, “On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach,” in Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat | Files available | DOI
 

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 | Working Paper | LibreCat-ID: 2730
T. Gries, R. Grundmann, I. Palnau, and M. Redlin, 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
M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 252
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, and H. Karl, “SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming,” in Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Book Chapter | LibreCat-ID: 2615
S. Betz, “Unscharfe Produktionsmengenplanung als Instrument des Risikomanagements in Supply Chains,” in Risikomanagement in Supply Chains, 2nd ed., C. Siepermann u.a., Ed. Berlin, 2015, pp. 137–157.
LibreCat
 

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

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

2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3808
J. Kiesel, K. Al-Khatib, M. Hagen, and B. Stein, “A Shared Task on Argumentation Mining in Newspaper Editorials,” in Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 4022
D. Drude, K. Brassat, C. Brodehl, and J. Lindner, “Correlation between defect densities in colloidal nanosphere masks and experimental parameters,” presented at the E-MRS Fall Meeting 2015, Warsaw (Poland), 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 4027
R. M. Kemper 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, pp. 469–472, 2015.
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 327
S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “A deterministic worst-case message complexity optimal solution for resource discovery,” Theoretical Computer Science, pp. 67–79, 2015.
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 3295
T. Gries and I. Palnau, “Sustaining Civil Peace: a configurational comparative analysis,” Peace Economics, Peace Science and Public Policy, vol. 21, no. 4, pp. 467–478, 2015.
LibreCat | DOI
 

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

2015 | Conference Paper | LibreCat-ID: 322
J. Blömer, J. Juhnke, and C. Kolb, “Anonymous and Publicly Linkable Reputation Systems,” in Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 4332
S. Sanna, S. Neufeld, M. Rüsing, G. Berth, A. Zrenner, and W. G. Schmidt, “Raman scattering efficiency inLiTaO3andLiNbO3crystals,” Physical Review B, vol. 91, no. 22, 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 4464
T. Brahm, D. Wagner, and T. Jenert, “A person-centred approach to students’ transition into Higher Education,” presented at the 16th Biennial EARLI Conference for Research on Learning and Instruction, Zypern, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 4469
D. Wagner and T. Jenert, “Zwischen" netten" Tools und" {\"U}berdidaktisierung": Neue Medien in der Hochschuldidaktik,” presented at the 44. Jahrestagung der Deutschen Gesellschaft für Hochschuldidaktik (dghd), Paderborn, 2015.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed