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.
8501 Publications
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. 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}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
A. Bender, K. Reinke, and W. Sextro, “Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement,” in 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, 2019, vol. VDI-Berichte 2346, pp. 241–248.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
T. Kaul, J. Hentze, W. Sextro, and I. Gräßler, “Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung,” in Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, and W. Sextro, “Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten,” in DAGA 2019, Rostock, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
M. Feldotto, P. Lenzner, L. Molitor, and A. 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, Montreal QC, Canada, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 10290
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews. Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10325 |
M. Peuster, M. Marchetti, G. García de Blas, and H. 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.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 10332
J. M. J. Heinzel, Bundling in a Distribution Channel with Retail Competition. Paderborn University: CIE Working Paper Series, 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10344
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13586
J. Seutter and J. Neumann, “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, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13587
D. Gutt, J. Neumann, W. Jabr, and D. Kundisch, “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, 2019.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 13592
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java. Universität Paderborn, 2019.
LibreCat