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
Eke NO. Oskar Pastior [und Herta Müller]. In: Eke NO, ed. Herta Müller-Handbuch. Stuttgart: Metzler; 2017:145-151.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19198
Eke NO. Utopie. In: Eke NO, ed. Herta Müller-Handbuch. Stuttgart: Metzler; 2017:241-245.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19199
Eke NO. Auswahlbibliographie [zu Herta Müller]. In: Eke NO, ed. Herta Müller-Handbuch. Stuttgart: Metzler; 2017:262-282.
LibreCat
2017 | Book Chapter | LibreCat-ID: 19200
Eke NO. „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: Eke NO, ed. Margarete-Schrader-Preis für Literatur der Universität Paderborn. Dokumentation der Verleihung an Jörg Albrecht am 9. Februar 2017. PUR: Paderborner Universitätsreden. Paderborn; 2017:7-19.
LibreCat
2017 | Conference Paper | LibreCat-ID: 2343 | 
Löken N. Searchable Encryption with Access Control. In: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17. ICPS. ACM Press; 2017. doi:10.1145/3098954.3098987
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2344 |
Blömer J, Günther P, Krummel V, Löken N. Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In: Foundations and Practice of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 23571
Gräßler I, Pöhler A. Implementation of an adapted holonic production architecture. In: Proceedings of the 50th CIRP Conference on Manufacturing Systems (CIRP-CMS), 2. - 5. Mai 2017. Procedia CIRP; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23572
Yang X, Berscheidt A-L, Gräßler I. 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:31-42.
LibreCat
2017 | Book Chapter | LibreCat-ID: 23759
Menge D, Josupeit S, Delfs P, Schmid H-J. Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen. In: Richard HA, Schramm B, Zipsner T, eds. Additive Fertigung von Bauteilen und Strukturen. Wiesbaden: Springer Vieweg; 2017:105-120. doi:10.1007/978-3-658-17780-5
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
Brauer S. Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems. In: Fotakis D, Pagourtzis A, Paschos VT, eds. Lecture Notes in Computer Science. Vol 10236. Cham: Springer International Publishing; 2017:116-127. doi:10.1007/978-3-319-57586-5_11
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 20552
Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW, Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten. Springer Berlin Heidelberg; 2017:1-24. doi:10.1007/978-3-662-52903-4_8-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane L, Chehrazi G, Bodden E, Tsalovski P, Brucker AD. Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. 2017;2(2):107-124. doi:https://doi.org/10.1007/s41019-016-0019-8
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
Bodden E. Self-Adaptive Static Analysis.; 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: Validating Correct Usage of Cryptographic APIs.; 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering. 2017;PP(99):1-1. doi:10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger S, Nadi S, Reif M, et al. CogniCrypt: Supporting Developers in using Cryptography. In: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do LNQ, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-time Static Analysis. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017. ACM; 2017:307-317. doi:10.1145/3092703.3092705
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Cheetah: Just-in-Time Taint Analysis for Android Apps. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 2017.
LibreCat