Startseite UR
["viewname_eprint_oa_type_2" not defined]
 | 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.
2024
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.
2023
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.
Universitätsbibliothek
Publikationsserver
Kontakt:
Publizieren: oa@ur.de
0941 943 -4239 oder -69394
Dissertationen: dissertationen@ur.de
0941 943 -3904
Forschungsdaten: datahub@ur.de
0941 943 -5707