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.
10111 Publications
2019 | Conference Paper | LibreCat-ID: 13142
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, and E. Leblebici, “Incremental Bidirectional Model Transformation with eMoflon::IBeX,” in Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, 2019, pp. 45–55.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13144
R. El Baff, H. Wachsmuth, K. Al-Khatib, M. Stede, and B. Stein, “Computational Argumentation Synthesis as a Language Modeling Task,” in Proceedings of the 12th International Conference on Natural Language Generation, Tokyo, Japan, 2019, pp. 54–64.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13182
M. Feldmann, T. Götte, and C. Scheideler, “A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory,” in Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13292 | 
S. B. Schneider et al., “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, Dallas, TX, USA, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in 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}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
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: 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