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.
5948 Publications
2019 | Conference Paper | LibreCat-ID: 13142
Weidmann, Nils, et al. “Incremental Bidirectional Model Transformation with EMoflon::IBeX.” 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, CEUR-WS.org, 2019, pp. 45–55.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13144
El Baff, Roxanne, et al. “Computational Argumentation Synthesis as a Language Modeling Task.” Proceedings of the 12th International Conference on Natural Language Generation, Association for Computational Linguistics, 2019, pp. 54–64.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, Michael, et al. “A Loosely Self-Stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory.” Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–64, doi:https://doi.org/10.1007/978-3-030-34992-9_13.
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, et al. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui et al., vol. 12019, Springer, 2019, pp. 30–41, doi:10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13292 | 
Schneider, Stefan Balthasar, et al. “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes.” IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, IEEE, 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {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, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, et al. “Verifying C11 Programs Operationally.” 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, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. {P-292}, {GI}, 2019, pp. 157–58, doi:10.18420/se2019-48.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, et al. “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, et al. “Wikipedia Text Reuse: Within and Without.” Advances in Information Retrieval, edited by Leif Azzopardi et al., Springer International Publishing, 2019, pp. 747–54.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures. 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
Peuster, Manuel, et al. “Automated Testing of NFV Orchestrators against Carrier-Grade Multi-PoP Scenarios Using Emulation-Based Smoke Testing.” EURASIP Journal on Wireless Communications and Networking, Springer, 2019, doi:10.1186/s13638-019-1493-2.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” Security and Trust Management, STM 2019, vol. 11738, 2019, doi:10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI