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.
5447 Publications
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). 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} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, P., Hemsel, T., Bornmann, P., Littmann, W., & Sextro, W. (2019). Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten. In DAGA 2019. Rostock.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. (2019). Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, S. (2019). Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, M., Lenzner, P., Molitor, L., & Skopalik, A. (2019). 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 (pp. 1949--1951). Montreal QC, Canada: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
| Files available
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 10290
Gutt, D. (2019). Essays on Drivers and Economic Outcomes of Online-Reviews. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-688
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, M., Marchetti, M., García de Blas, G., & Karl, H. (2019). Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. https://doi.org/10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 10332
Heinzel, J. M. J. (2019). Bundling in a Distribution Channel with Retail Competition. Paderborn University: CIE Working Paper Series.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, S. (2019). Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13586
Seutter, J., & Neumann, J. (2019). Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects. In Proceedings of the 40th International Conference on Information Systems (ICIS). Munich, Germany.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13587
Gutt, D., Neumann, J., Jabr, W., & Kundisch, D. (2019). The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior. In Proceedings of the 40th International Conference on Information Systems (ICIS). Munich, Germany.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 13592
Pilot, M. (2019). Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13648 |
Scholz, S. (2019). Implementation and Comparison of Elliptic Curve Algorithms in Java. Universität Paderborn.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal, K., Scheideler, C., & Struijs, M. (2019). Fast Distributed Algorithms for LP-Type Problems of Low Dimension. In 33rd International Symposium on Distributed Computing (DISC 2019). https://doi.org/10.4230/LIPICS.DISC.2019.23
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 13679
Brauer, S. (2019). Classification and Approximation of Geometric Location Problems. Paderborn. https://doi.org/10.17619/UNIPB/1-816
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16441
Rehlaender, P., Grote, T., Schafmeister, F., & Böcker, J. (2019). Interleaved Active Clamp Forward Converters as Single Stage On-Board DC-DC Converters for EVs - an Accurate Model and Design Considerations. PCIM Europe 2019. PCIM Europe 2019, Nürnberg.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16442
Rehlaender, P., Grote, T., Schafmeister, F., & Böcker, J. (2019). Analytical Modeling and Design of an Active Clamp Forward Converter Applied as a Single-Stage On-Board DC-DC Converter for EVs. PCIM Europe 2019. PCIM Europe 2019, Nürnberg.
LibreCat
| Download (ext.)