Veröffentlichungswege
 | Eine Stufe nach oben |
- Universität Regensburg (2)
- Informatik und Data Science (2)
- Allgemeine Informatik (2)
- Theoretische Informatik (Prof. Dr. Philipp Rümmer) (2)
- Allgemeine Informatik (2)
- Informatik und Data Science (2)
Gruppieren nach: Datum | Autoren | Institutionen | Titel eines Journals oder einer Zeitschrift | Dokumentenart | Keine Gruppierung
Anzahl der Einträge in dieser Kategorie: 2.
ACM Transactions on Embedded Computing Systems
Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp
(2023)
Scheduling Dynamic Software Updates in Mobile Robots.
ACM Transactions on Embedded Computing Systems 22 (6), S. 1-27.
Proceedings of the ACM on Programming Languages
Stjerna, Amanda und Rümmer, Philipp
(2024)
A Constraint Solving Approach to Parikh Images of Regular Languages.
Proceedings of the ACM on Programming Languages 8 (OOPSLA), S. 1235-1263.