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.
5948 Publications
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10271
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
M. Feldotto, P. Lenzner, L. Molitor, and A. Skopalik, “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation,” in Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal QC, Canada, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
M. Alshomary et al., “Wikipedia Text Reuse: Within and Without,” in Advances in Information Retrieval, 2019, pp. 747–754.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
L. A. Porzenheim, Post-Quantum Secure Group Signatures. 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
M. Peuster, M. Marchetti, G. García de Blas, and H. Karl, “Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing,” EURASIP Journal on Wireless Communications and Networking, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
J. Blömer and N. Löken, “Personal Cross-Platform Reputation,” in Security and Trust Management, STM 2019, 2019, vol. 11738.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
J. Blömer and N. Löken, “Dynamic Searchable Encryption with Access Control,” in 12th International Symposium on Foundations and Practice of Security, FPS 2019, 2019, vol. 12056.
LibreCat
| Download (ext.)
2019 | Bachelorsthesis | LibreCat-ID: 13592
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 7626 |
P. Schubert, B. Hermann, and E. Bodden, “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++,” in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: 10.1007/978-3-030-17465-1_22.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 31067
Z. Guettatfi, M. Platzner, O. Kermia, and A. Khouas, “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware,” 2019, doi: 10.1109/ipdpsw.2019.00027.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15332
M. Schlichtig, S. A. Opel, L. Budde, and C. Schulte, “Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material,” in ISSEP 2019 - 12th International conference on informatics in schools: Situation, evaluation and perspectives, Local Proceedings, Lanarca, 2019, vol. 12, pp. 65–73.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15640
S. A. Opel et al., “Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II,” in INFOS, 2019, vol. P-288, pp. 285–294.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15641
M. Schlichtig et al., “Maschinelles Lernen im Unterricht mit Jupyter Notebook,” in INFOS, 2019, vol. P-288, p. 385.
LibreCat