Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.
LibreCat: /record/10096

Hasso, Tim, et al. “Who Trades Cryptocurrencies, How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.”10.1016/j.jbef.2019.04.009__Journal of Behavioral and Experimental Finance, vol. 23, Elsevier, 2019, pp. 64–74, doi:10.1016/j.jbef.2019.04.009.
LibreCat: /record/10103
DOI: 10.1016/j.jbef.2019.04.009

Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat: /record/10105

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: /record/10135

Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat: /record/10232

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: /record/10255

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: /record/10257

Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” DAGA 2019, 2019.
LibreCat: /record/10258

N., N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat: /record/10271

Althaus, Steffen. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. 2019.
LibreCat: /record/10277