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.
10975 Publications
2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat
| DOI
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
2019 | Conference Paper | LibreCat-ID: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10094
Testing Balancedness of ML Algorithms
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.
LibreCat
| DOI
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), 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}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), 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}, Springer, 2019, pp. 229–233.
2019 | Journal Article | LibreCat-ID: 10096
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
LibreCat
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
2019 | Journal Article | LibreCat-ID: 10103
Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts
T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.
LibreCat
| DOI
T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.
2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10135
Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
LibreCat
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 10232 | 
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat
| Files available
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
2019 | Conference Paper | LibreCat-ID: 10255
Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement
A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.
LibreCat
A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.
2019 | Conference Paper | LibreCat-ID: 10257
Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung
T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10258
Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
LibreCat
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
2019 | Mastersthesis | LibreCat-ID: 10271
Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
2019 | Mastersthesis | LibreCat-ID: 10277
Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
LibreCat
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 10279
Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts
M. Pelster, B. Breitmayer, T. Hasso, Economics Letters 182 (2019) 98–100.
LibreCat
| DOI
M. Pelster, B. Breitmayer, T. Hasso, Economics Letters 182 (2019) 98–100.
2019 | Conference Paper | LibreCat-ID: 10281
From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
2019 | Journal Article | LibreCat-ID: 10282 |
Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces
Z. Lin, L. Huang, R. Zhao, Q. Wei, T. Zentgraf, Y. Wang, X. Li, Optics Express 27 (2019) 18740–18750.
LibreCat
| Files available
| DOI
| Download (ext.)
Z. Lin, L. Huang, R. Zhao, Q. Wei, T. Zentgraf, Y. Wang, X. Li, Optics Express 27 (2019) 18740–18750.
2019 | Conference Paper | LibreCat-ID: 10284
Wikipedia Text Reuse: Within and Without
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, M. Potthast, in: L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, D. Hiemstra (Eds.), Advances in Information Retrieval, Springer International Publishing, Cham, 2019, pp. 747–754.
LibreCat
| Download (ext.)
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, M. Potthast, in: L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, D. Hiemstra (Eds.), Advances in Information Retrieval, Springer International Publishing, Cham, 2019, pp. 747–754.
2019 | Dissertation | LibreCat-ID: 10290
Essays on Drivers and Economic Outcomes of Online-Reviews
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.