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.
11164 Publications
2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 195–211.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
N. Weidmann, A. Anjorin, P. Robrecht, and G. Varró, “Incremental (Unidirectional) Model Transformation with eMoflon::IBeX,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 131–140.
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 13143
L. Claes et al., “Acoustic absorption measurement for the determination of the volume viscosity of pure fluids / Messverfahren für die akustischen Absorption zur Bestimmung der Volumenviskosität reiner Fluide,” tm - Technisches Messen, pp. 2–6, 2019.
LibreCat
| DOI
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: 13271 | 
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, and R. Haeb-Umbach, “All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis,” in ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
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: 10042
S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.
LibreCat
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 | Journal Article | LibreCat-ID: 10096
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
LibreCat
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