Bibliographie der Universität Regensburg

Universität Regensburg (3)
- Informatik und Data Science (3)
  - Allgemeine Informatik (3)
    - Theoretische Informatik (Prof. Dr. Philipp Rümmer) (3)

Gruppieren nach: Datum | Autoren | Dokumentenart | Keine Gruppierung

Gehe zu: C | S | Y

Anzahl der Einträge in dieser Kategorie: 3.

C

Cailler, Julie und Rümmer, Philipp (2023) Automatisches Beweisen: Methoden und Anwendungen. Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg 31 (44/45), S. 10-12. Volltext nicht vorhanden.

S

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.

Y

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.

Diese Liste wurde erzeugt am Tue Feb 3 02:07:05 2026 CET.

Exportieren als	Atom RSS 1.0 RSS 2.0

Bibliographie der Universität Regensburg

C

S

Y

Universitätsbibliothek