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.
2136 Publications
2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
Hasso, Tim, et al. “Who Trades Cryptocurrencies, How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.” Journal of Behavioral and Experimental Finance, vol. 23, Elsevier, 2019, pp. 64–74, doi:10.1016/j.jbef.2019.04.009.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
Bender, Amelie, et al. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, vol. VDI-Berichte 2346, 2019, pp. 241–48.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul, Thorben, et al. “Integration von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.” Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” DAGA 2019, 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
Althaus, Steffen. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. 2019.
LibreCat