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.

9900 Publications


2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, F., Wever, M. D., Tornede, A., & Hüllermeier, E. (2019). From Automated to On-The-Fly Machine Learning. In INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft (pp. 273–274). Bonn: Gesellschaft für Informatik e.V.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13138 | OA
Gottschalk, S., Rittmeier, F., & Engels, G. (2019). Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, & P. Abrahamsson (Eds.), Software Business (Vol. 370, pp. 192–207). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-33742-1_16
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Book (Editor) | LibreCat-ID: 13139 | OA
Rezat, S., Fan, L., Hattermann, M., Schumacher, J., & Wuschke, H. (Eds.). (2019). Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Presented at the Third International Conference on Mathematics Textbook Research and Development, Paderborn: Universitätsbibliothek Paderborn. https://doi.org/10.17619/UNIPB/1-768
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, N., Anjorin, A., Stolte, F., & Kraus, F. (2019). From Pattern Invocation Networks to Rule Preconditions. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 195–211). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_12
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, N., Anjorin, A., Robrecht, P., & Varró, G. (2019). Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 131–140). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_8
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13142
Weidmann, N., Anjorin, A., Fritsche, L., Varró, G., Schürr, A., & Leblebici, E. (2019). Incremental Bidirectional Model Transformation with eMoflon::IBeX. In J. Cheney & H.-S. Ko (Eds.), Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019 (pp. 45–55). Philadelphia, PA, USA: CEUR-WS.org.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13143
Claes, L., Hülskämper, L. M., Baumhögger, E., Feldmann, N., Chatwell, R. S., Vrabec, J., & Henning, B. (2019). 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, 2–6. https://doi.org/10.1515/teme-2019-0038
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13144
El Baff, R., Wachsmuth, H., Al-Khatib, K., Stede, M., & Stein, B. (2019). Computational Argumentation Synthesis as a Language Modeling Task. In Proceedings of the 12th International Conference on Natural Language Generation (pp. 54–64). Tokyo, Japan: Association for Computational Linguistics.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, M., Götte, T., & Scheideler, C. (2019). 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) (pp. 149–164). Springer, Cham. https://doi.org/10.1007/978-3-030-34992-9_13
LibreCat | Files available | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 13261
Wolters, D., Kirchhoff, J., & Engels, G. (2019). Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, … E. Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops (Vol. 12019, pp. 30–41). Springer. https://doi.org/10.1007/978-3-030-45989-5\_3
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13271 | OA
von Neumann, T., Kinoshita, K., Delcroix, M., Araki, S., Nakatani, T., & Haeb-Umbach, R. (2019). All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis. In ICASSP 2019, Brighton, UK.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 13292 | OA
Schneider, S. B., Peuster, M., Hannemann, K., Behnke, D., Müller, M., Bök, P.-B., & Karl, H. (2019). “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: IEEE.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. 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 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10094
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. {P-292}, pp. 157–158). {GI}. https://doi.org/10.18420/se2019-48
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). 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} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed