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.
4172 Publications
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), 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}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), 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}, Springer, 2019, pp. 229–233.
2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10232 | 
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat
| Files available
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
2019 | Conference Paper | LibreCat-ID: 10258
Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
LibreCat
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
2019 | Mastersthesis | LibreCat-ID: 10271
Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
2019 | Mastersthesis | LibreCat-ID: 10277
Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
LibreCat
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10281
From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: 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
| Files available
| Download (ext.)
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
2019 | Dissertation | LibreCat-ID: 10290
Essays on Drivers and Economic Outcomes of Online-Reviews
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 10325 |
Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
2019 | Report | LibreCat-ID: 10332
Bundling in a Distribution Channel with Retail Competition
J.M.J. Heinzel, Bundling in a Distribution Channel with Retail Competition, CIE Working Paper Series, Paderborn University, 2019.
LibreCat
| Files available
J.M.J. Heinzel, Bundling in a Distribution Channel with Retail Competition, CIE Working Paper Series, Paderborn University, 2019.
2019 | Mastersthesis | LibreCat-ID: 10344
Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
LibreCat
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
2019 | Conference Abstract | LibreCat-ID: 13586
Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects
J. Seutter, J. Neumann, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
J. Seutter, J. Neumann, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
2019 | Conference Paper | LibreCat-ID: 13587
The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior
D. Gutt, J. Neumann, W. Jabr, D. Kundisch, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
D. Gutt, J. Neumann, W. Jabr, D. Kundisch, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
2019 | Bachelorsthesis | LibreCat-ID: 13592
Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 2019.
LibreCat
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 2019.
2019 | Mastersthesis | LibreCat-ID: 13648 |
Implementation and Comparison of Elliptic Curve Algorithms in Java
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
LibreCat
| Files available
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat
| DOI
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
2019 | Dissertation | LibreCat-ID: 13679
Classification and Approximation of Geometric Location Problems
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 2019.
LibreCat
| DOI
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 7626 |
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, 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), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
| Download (ext.)
P. Schubert, B. Hermann, E. Bodden, 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), 2019, pp. 393–410.
2019 | Dissertation | LibreCat-ID: 30670
Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen
M. Ott, Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen, 2019.
LibreCat
| DOI
M. Ott, Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen, 2019.