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.
11161 Publications
2019 | Dissertation | LibreCat-ID: 13125
Görzen, Thomas. Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd. Universität Paderborn, 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, Lial. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13128 | 
Bröcher, Henrik. Rational Secure Multiparty Computation. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, Felix, Marcel Dominik Wever, Alexander Tornede, and Eyke Hüllermeier. “From Automated to On-The-Fly Machine Learning.” In INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, 273–74. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft Für Informatik. Bonn: Gesellschaft für Informatik e.V., 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 |
Gottschalk, Sebastian, Florian Rittmeier, and Gregor Engels. “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach.” In Software Business, edited by Sami Hyrynsalmi, Mari Suoranta, Anh Nguyen-Duc, Pasi Tyrväinen, and Pekka Abrahamsson, 370:192–207. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-33742-1_16.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Book (Editor) | LibreCat-ID: 13139 |
Rezat, Sebastian, Lianghuo Fan, Mathias Hattermann, Jan Schumacher, and Holger Wuschke, eds. Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Paderborn: Universitätsbibliothek Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-768.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, Nils, Anthony Anjorin, Florian Stolte, and Florian 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, edited by Esther Guerra and Fernando Orejas, 195–211. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, Nils, Anthony Anjorin, Patrick Robrecht, and Gergely 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, edited by Esther Guerra and Fernando Orejas, 131–40. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_8.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13142
Weidmann, Nils, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, and Erhan 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, edited by James Cheney and Hsiang-Shang Ko, 45–55. CEUR-WS.org, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13143
Claes, Leander, Lars Moritz Hülskämper, Elmar Baumhögger, Nadine Feldmann, René Spencer Chatwell, Jadran Vrabec, and Bernd Henning. “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, 2019, 2–6. https://doi.org/10.1515/teme-2019-0038.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13144
El Baff, Roxanne, Henning Wachsmuth, Khalid Al-Khatib, Manfred Stede, and Benno Stein. “Computational Argumentation Synthesis as a Language Modeling Task.” In Proceedings of the 12th International Conference on Natural Language Generation, 54–64. Association for Computational Linguistics, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, Michael, Thorsten Götte, and Christian 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), 149–64. Lecture Notes in Computer Science. Springer, Cham, 2019. https://doi.org/10.1007/978-3-030-34992-9_13.
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, Jonas Kirchhoff, and Gregor Engels. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” In Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, and Elisa Y. Nakagawa, 12019:30–41. LNCS. Springer, 2019. https://doi.org/10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 |
Neumann, Thilo von, Keisuke Kinoshita, Marc Delcroix, Shoko Araki, Tomohiro Nakatani, and Reinhold 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 |
Schneider, Stefan Balthasar, Manuel Peuster, Kai Hannemann, Daniel Behnke, Marcel Müller, Patrick-Benjamin Bök, and Holger Karl. “‘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, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John 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, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/10.18420/se2019-46.
LibreCat
| Files available
| DOI