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
@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
@article{Hasso_Pelster_Breitmayer_2019, title={Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts}, volume={23}, DOI={10.1016/j.jbef.2019.04.009}, journal={Journal of Behavioral and Experimental Finance}, publisher={Elsevier}, author={Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}, year={2019}, pages={64–74} }
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
@inproceedings{Bender_Reinke_Sextro_2019, place={Bremen 2019}, title={Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement}, volume={VDI-Berichte 2346}, booktitle={10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019}, author={Bender, Amelie and Reinke, Kai and Sextro, Walter}, year={2019}, pages={241–248} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
@inproceedings{Kaul_Hentze_Sextro_Gräßler_2019, title={Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung}, booktitle={Fachtagung Mechatronik 2019 Paderborn}, author={Kaul, Thorben and Hentze, Julian and Sextro, Walter and Gräßler, Iris}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
@inproceedings{Dunst_Hemsel_Bornmann_Littmann_Sextro_2019, title={Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten}, booktitle={DAGA 2019}, author={Dunst, Paul and Hemsel, Tobias and Bornmann, Peter and Littmann, Walter and Sextro, Walter}, year={2019} }
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
@book{N._2019, title={Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves}, publisher={Universität Paderborn}, author={N., N.}, year={2019} }
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
@book{Althaus_2019, place={Universität Paderborn}, title={Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry}, author={Althaus, Steffen}, year={2019} }
LibreCat