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.
2138 Publications
2019 | Journal Article | LibreCat-ID: 10096
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in Fortschritte der Akustik - DAGA 2019, Rostock, 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