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
Richter, Cedric, and Heike 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}, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, Marcel Dominik, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier. “Automating Multi-Label Classification Extending ML-Plan,” 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
Feldotto, Matthias, Pascal Lenzner, Louise Molitor, and Alexander 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, 1949--1951. International Foundation for Autonomous Agents and Multiagent Systems, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, Michael Völske, Tristan Licht, Henning Wachsmuth, Benno Stein, Matthias Hagen, and Martin Potthast. “Wikipedia Text Reuse: Within and Without.” In Advances in Information Retrieval, edited by Leif Azzopardi, Benno Stein, Norbert Fuhr, Philipp Mayr, Claudia Hauff, and Djoerd Hiemstra, 747–54. Cham: Springer International Publishing, 2019.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, Manuel, Michael Marchetti, Gerardo García de Blas, and Holger 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. https://doi.org/10.1186/s13638-019-1493-2.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” In Security and Trust Management, STM 2019, Vol. 11738. LNCS, 2019. https://doi.org/10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
Blömer, Johannes, and Nils Löken. “Dynamic Searchable Encryption with Access Control.” In 12th International Symposium on Foundations and Practice of Security, FPS 2019, Vol. 12056. LNCS. Springer, 2019.
LibreCat
| Download (ext.)
2019 | Bachelorsthesis | LibreCat-ID: 13592
Pilot, Matthias. Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
Scholz, Swante. Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal, Kristian, Christian Scheideler, and Martijn Struijs. “Fast Distributed Algorithms for LP-Type Problems of Low Dimension.” In 33rd International Symposium on Distributed Computing (DISC 2019), 2019. https://doi.org/10.4230/LIPICS.DISC.2019.23.
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 13679
Brauer, Sascha. Classification and Approximation of Geometric Location Problems. Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-816.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 7626 |
Schubert, Philipp, Ben Hermann, and Eric 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), II:393–410, 2019. https://doi.org/10.1007/978-3-030-17465-1_22.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 31067
Guettatfi, Zakarya, Marco Platzner, Omar Kermia, and Abdelhakim Khouas. “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware.” In 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, 2019. https://doi.org/10.1109/ipdpsw.2019.00027.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, Michael, Simone Anna Opel, Lea Budde, and Carsten 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, edited by Eglė Jasutė and Sergei Pozdniakov, 12:65–73, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15640
Opel, Simone Anna, Michael Schlichtig, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, and Thomas Wassong. “Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II.” In INFOS, P-288:285–94. LNI. Gesellschaft für Informatik, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig, Michael, Simone Anna Opel, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, and Thomas Wassong. “Maschinelles Lernen im Unterricht mit Jupyter Notebook.” In INFOS, P-288:385. LNI. Gesellschaft für Informatik, 2019.
LibreCat