Doherty, Simon, et al. “Verifying10.1145/3293883.3295702__Programs Operationally.”10.1145/3293883.3295702__Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, ACM, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.”10.18420/se2019-46__Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”10.18420/se2019-48__Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 157–58, doi:10.18420/se2019-48.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).”10.1007/978-3-030-17502-3_19__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 et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat: /record/10105

Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat: /record/10232

N., N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat: /record/10271

Feldotto, Matthias, et al. “From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat: /record/10281

Alshomary, Milad, et al. “Wikipedia Text Reuse: Within and Without.” Advances in Information Retrieval, edited by Leif Azzopardi et al., Springer International Publishing, 2019, pp. 747–54.
LibreCat: /record/10284

Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures. 2019.
LibreCat: /record/10306

Peuster, Manuel, et al. “Automated Testing of NFV Orchestrators against Carrier-Grade Multi-PoP Scenarios Using Emulation-Based Smoke Testing.”10.1186/s13638-019-1493-2__EURASIP Journal on Wireless Communications and Networking, Springer, 2019, doi:10.1186/s13638-019-1493-2.
LibreCat: /record/10325
DOI: 10.1186/s13638-019-1493-2

Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat: /record/10344

Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.”10.1007/978-3-030-31511-5_9__Security and Trust Management, STM 2019, vol. 11738, 2019, doi:10.1007/978-3-030-31511-5_9.
LibreCat: /record/13554
DOI: 10.1007/978-3-030-31511-5_9

Blömer, Johannes, and Nils Löken. “Dynamic Searchable Encryption with Access Control.” 12th International Symposium on Foundations and Practice of Security, FPS 2019, vol. 12056, Springer, 2019.
LibreCat: /record/13557

Pilot, Matthias. Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat: /record/13592

Scholz, Swante. Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn, 2019.
LibreCat: /record/13648

Hinnenthal, Kristian, et al. “Fast Distributed Algorithms for LP-Type Problems of Low Dimension.”10.4230/LIPICS.DISC.2019.23__33rd International Symposium on Distributed Computing (DISC 2019), 2019, doi:10.4230/LIPICS.DISC.2019.23.
LibreCat: /record/13652
DOI: 10.4230/LIPICS.DISC.2019.23

Brauer, Sascha. Classification and Approximation of Geometric Location Problems. 2019, doi:10.17619/UNIPB/1-816.
LibreCat: /record/13679
DOI: 10.17619/UNIPB/1-816

Schubert, Philipp, et al. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.”10.1007/978-3-030-17465-1_22__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), vol. II, 2019, pp. 393–410, doi:10.1007/978-3-030-17465-1_22.
LibreCat: /record/7626
DOI: 10.1007/978-3-030-17465-1_22

Guettatfi, Zakarya, et al. “An Approach for Mapping Periodic Real-Time Tasks to Reconfigurable Hardware.”10.1109/ipdpsw.2019.00027__2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), IEEE, 2019, doi:10.1109/ipdpsw.2019.00027.
LibreCat: /record/31067
DOI: 10.1109/ipdpsw.2019.00027