Bibliography of the Universität Regensburg
- University of Regensburg (3)
- Informatics and Data Science (3)
- General computer science (3)
- Theoretische Informatik (Prof. Dr. Philipp Rümmer) (3)
- General computer science (3)
- Informatics and Data Science (3)
Number of items at this level: 3.
2024
Stjerna, Amanda and Rümmer, Philipp
(2024)
A Constraint Solving Approach to Parikh Images of Regular Languages.
Proceedings of the ACM on Programming Languages 8 (OOPSLA), pp. 1235-1263.
2023
Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp
(2023)
Scheduling Dynamic Software Updates in Mobile Robots.
ACM Transactions on Embedded Computing Systems 22 (6), pp. 1-27.
Cailler, Julie and Rümmer, Philipp
(2023)
Automatisches Beweisen: Methoden und Anwendungen.
Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg 31 (44/45), pp. 10-12.
Fulltext not available.