Entries of Rümmer, Philipp on the publication server

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.

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.