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.
10111 Publications
2017 | Book Chapter | LibreCat-ID: 19197
N. O. Eke, “Oskar Pastior [und Herta Müller],” in Herta Müller-Handbuch, N. O. Eke, Ed. Stuttgart: Metzler, 2017, pp. 145–151.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19198
N. O. Eke, “Utopie,” in Herta Müller-Handbuch, N. O. Eke, Ed. Stuttgart: Metzler, 2017, pp. 241–245.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19199
N. O. Eke, “Auswahlbibliographie [zu Herta Müller],” in Herta Müller-Handbuch, N. O. Eke, Ed. Stuttgart: Metzler, 2017, pp. 262–282.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19200
N. O. Eke, “„Party hieß früher: Exzesse ausführen, und jetzt? Mit Ach und Krach Exzesse aufführen.“ Laudatio zur Verleihung des Margarete-Schrader-Literaturpreises der Universität Paderborn an Jörg Albrecht am 09.02.2017,” in Margarete-Schrader-Preis für Literatur der Universität Paderborn. Dokumentation der Verleihung an Jörg Albrecht am 9. Februar 2017, N. O. Eke, Ed. Paderborn, 2017, pp. 7–19.
LibreCat
2017 | Conference Paper | LibreCat-ID: 2343 | 
N. Löken, “Searchable Encryption with Access Control,” in Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2344 |
J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations,” in Foundations and Practice of Security, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 23571
I. Gräßler and A. Pöhler, “Implementation of an adapted holonic production architecture,” in Proceedings of the 50th CIRP conference on manufacturing systems (CIRP-CMS), 2. - 5. Mai 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23572
X. Yang, A.-L. Berscheidt, and I. Gräßler, “Untersuchung der Interdisziplinarität im Leichtbau zur Erreichung einer nachhaltigen Wertschöpfungskette,” in Sustainability Management for Industries 7: Transformationen - Neue Wege zu industrieller Nachhaltigkeit, 2017, pp. 31–42.
LibreCat
2017 | Book Chapter | LibreCat-ID: 23759
D. Menge, S. Josupeit, P. Delfs, and H.-J. Schmid, “Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen,” in Additive Fertigung von Bauteilen und Strukturen, H. A. Richard, B. Schramm, and T. Zipsner, Eds. Wiesbaden: Springer Vieweg, 2017, pp. 105–120.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
S. Brauer, “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems,” in Lecture Notes in Computer Science, vol. 10236, D. Fotakis, A. Pagourtzis, and V. T. Paschos, Eds. Cham: Springer International Publishing, 2017, pp. 116–127.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, and A. D. Brucker, “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors,” Data Science and Engineering, vol. 2, no. 2, pp. 107–124, 2017, doi: https://doi.org/10.1007/s41019-016-0019-8.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
E. Bodden, Self-adaptive static analysis. 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs. 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,” IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi: 10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
S. Krüger et al., “CogniCrypt: Supporting Developers in using Cryptography,” 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi: 10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Cheetah: Just-in-Time Taint Analysis for Android Apps,” 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in Dependable Software Engineering, 3rd International Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University, 2017.
LibreCat