@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2019, title=Verifying10.1145/3293883.3295702__programs operationally, DOI=10.1145/3293883.3295702, booktitle=Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, publisher=ACM, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, editor=K. Hollingsworth, Jeffrey and Keidar, IditEditors, year=2019, pages=355–365 
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2019, series=LNI, title=Combining Verifiers in Conditional Model Checking via Reducers, volume=P-292, DOI=10.18420/se2019-46, booktitle=Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=151--152, collection=LNI 
LibreCat: /record/10093
DOI: 10.18420/se2019-46

@inproceedingsSharma_Wehrheim_2019, series=LNI, title=Testing Balancedness of ML Algorithms, volume=P-292, DOI=10.18420/se2019-48, booktitle=Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Sharma, Arnab and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=157–158, collection=LNI 
LibreCat: /record/10094
DOI: 10.18420/se2019-48

@inproceedingsRichter_Wehrheim_2019, series=Lecture Notes in Computer Science, title=PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution), volume=11429, DOI=10.1007/978-3-030-17502-3_19, booktitle=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, publisher=Springer, author=Richter, Cedric and Wehrheim, Heike, editor=Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors, year=2019, pages=229–233, collection=Lecture Notes in Computer Science 
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, publisher=Universität Paderborn, author=Haltermann, Jan, year=2019 
LibreCat: /record/10105

@inproceedingsWever_Mohr_Tornede_Hüllermeier_2019, title=Automating Multi-Label Classification Extending ML-Plan, author=Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke, year=2019 
LibreCat: /record/10232

@bookN._2019, title=Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, publisher=Universität Paderborn, author=N., N., year=2019 
LibreCat: /record/10271

@inproceedingsFeldotto_Lenzner_Molitor_Skopalik_2019, title= From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation, booktitle=Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=Feldotto, Matthias and Lenzner, Pascal  and Molitor, Louise and Skopalik, Alexander, year=2019, pages=1949--1951 
LibreCat: /record/10281

@inproceedingsAlshomary_Völske_Licht_Wachsmuth_Stein_Hagen_Potthast_2019, place=Cham, title=Wikipedia Text Reuse: Within and Without, booktitle=Advances in Information Retrieval, publisher=Springer International Publishing, author=Alshomary, Milad and Völske, Michael and Licht, Tristan and Wachsmuth, Henning and Stein, Benno and Hagen, Matthias and Potthast, Martin, editor=Azzopardi, Leif and Stein, Benno and Fuhr, Norbert and Mayr, Philipp and Hauff, Claudia and Hiemstra, DjoerdEditors, year=2019, pages=747–754 
LibreCat: /record/10284

@bookPorzenheim_2019, title=Post-Quantum Secure Group Signatures, author=Porzenheim, Laurens Alexander, year=2019 
LibreCat: /record/10306

@articlePeuster_Marchetti_García de Blas_Karl_2019, title=Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing, DOI=10.1186/s13638-019-1493-2, journal=EURASIP Journal on Wireless Communications and Networking, publisher=Springer, author=Peuster, Manuel and Marchetti, Michael and García de Blas, Gerardo and Karl, Holger, year=2019 
LibreCat: /record/10325
DOI: 10.1186/s13638-019-1493-2

@bookPukrop_2019, title=Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, publisher=Universität Paderborn, author=Pukrop, Simon, year=2019 
LibreCat: /record/10344

@inproceedingsBlömer_Löken_2019, series=LNCS, title=Personal Cross-Platform Reputation, volume=11738, DOI=10.1007/978-3-030-31511-5_9, booktitle=Security and Trust Management, STM 2019, author=Blömer, Johannes and Löken, Nils, year=2019, collection=LNCS 
LibreCat: /record/13554
DOI: 10.1007/978-3-030-31511-5_9

@inproceedingsBlömer_Löken_2019, series=LNCS, title=Dynamic Searchable Encryption with Access Control, volume=12056, booktitle=12th International Symposium on Foundations and Practice of Security, FPS 2019, publisher=Springer, author=Blömer, Johannes and Löken, Nils, year=2019, collection=LNCS 
LibreCat: /record/13557

@bookPilot_2019, title=Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, publisher=Universität Paderborn, author=Pilot, Matthias, year=2019 
LibreCat: /record/13592

@bookScholz_2019, title=Implementation and Comparison of Elliptic Curve Algorithms in Java, publisher=Universität Paderborn, author=Scholz, Swante, year=2019 
LibreCat: /record/13648

@inproceedingsHinnenthal_Scheideler_Struijs_2019, title=Fast Distributed Algorithms for LP-Type Problems of Low Dimension, DOI=10.4230/LIPICS.DISC.2019.23, booktitle=33rd International Symposium on Distributed Computing (DISC 2019), author=Hinnenthal, Kristian and Scheideler, Christian and Struijs, Martijn, year=2019 
LibreCat: /record/13652
DOI: 10.4230/LIPICS.DISC.2019.23

@bookBrauer_2019, place=Paderborn, title=Classification and Approximation of Geometric Location Problems, DOI=10.17619/UNIPB/1-816, author=Brauer, Sascha, year=2019 
LibreCat: /record/13679
DOI: 10.17619/UNIPB/1-816

@inproceedingsSchubert_Hermann_Bodden_2019, title=PhASAR: An Inter-Procedural Static Analysis Framework for C/C++, volume=II, DOI=10.1007/978-3-030-17465-1_22, booktitle=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), author=Schubert, Philipp and Hermann, Ben and Bodden, Eric, year=2019, pages=393–410 
LibreCat: /record/7626
DOI: 10.1007/978-3-030-17465-1_22

@inproceedingsGuettatfi_Platzner_Kermia_Khouas_2019, title=An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware, DOI=10.1109/ipdpsw.2019.00027, booktitle=2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), publisher=IEEE, author=Guettatfi, Zakarya and Platzner, Marco and Kermia, Omar and Khouas, Abdelhakim, year=2019 
LibreCat: /record/31067
DOI: 10.1109/ipdpsw.2019.00027