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.
5786 Publications
2019 | Conference Paper | LibreCat-ID: 13123
Afifi H, Horbach K, Karl H. A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding. In: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019). Barcelona, Spain; 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13124
Dräxler S. Scaling, Placement, and Routing for Pliable Virtualized Composed Services. Universität Paderborn; 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13125
Görzen T. Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd. Universität Paderborn; 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf L. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn; 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13128 | 
Bröcher H. Rational Secure Multiparty Computation. Universität Paderborn; 2019.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr F, Wever MD, Tornede A, Hüllermeier E. From Automated to On-The-Fly Machine Learning. In: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Bonn: Gesellschaft für Informatik e.V.; 2019:273-274.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 |
Gottschalk S, Rittmeier F, Engels G. Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In: Hyrynsalmi S, Suoranta M, Nguyen-Duc A, Tyrväinen P, Abrahamsson P, eds. Software Business. Vol 370. Lecture Notes in Business Information Processing. Cham: Springer International Publishing; 2019:192-207. doi:10.1007/978-3-030-33742-1_16
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann N, Anjorin A, Stolte F, Kraus F. From Pattern Invocation Networks to Rule Preconditions. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:195-211. doi:10.1007/978-3-030-23611-3\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann N, Anjorin A, Robrecht P, Varró G. Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:131-140. doi: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. Incremental Bidirectional Model Transformation with eMoflon::IBeX. In: Cheney J, Ko H-S, eds. Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019. CEUR-WS.org; 2019:45-55.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13144
El Baff R, Wachsmuth H, Al-Khatib K, Stede M, Stein B. Computational Argumentation Synthesis as a Language Modeling Task. In: Proceedings of the 12th International Conference on Natural Language Generation. Association for Computational Linguistics; 2019:54-64.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann M, Götte T, Scheideler C. 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). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164. doi: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. Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In: Yangui S, Bouguettaya A, Xue X, et al., eds. Service-Oriented Computing – ICSOC 2019 Workshops. Vol 12019. LNCS. Springer; 2019:30-41. doi:10.1007/978-3-030-45989-5\_3
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13292 |
Schneider SB, Peuster M, Hannemann K, 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: IEEE; 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, 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:355-365. doi:10.1145/3293883.3295702
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019. Vol {P-292}. {LNI}. {GI}; 2019:157-158. doi:10.18420/se2019-48
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, 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. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI