Forschung und Publikationen

• Anderes
  1 Publikation

  Feasibility Study on Leveraging Proof Assistants for Educational Purposes , in Lecture Notes in Networks and Systems
  Fernand Dubler, Ulrich Ultes-Nitsche, Dorian Guyot (2025), ISBN: 9783031956522 | Buchkapitel

• Automatentheorie
  1 Publikation

  The Joker Game Only Characterizes History-Determinism in Parity Automata With up to Two Priorities
  Dorian Guyot, Ulrich Ultes-Nitsche (2026) | Buchkapitel

• Diskrete Optimierung
  1 Publikation

  Minimalistic Predictions for Online Class Constraint Scheduling
  Dorian Guyot and Alexandra Anna Lassota, The Thirteenth International Conference on Learning Representations: (2025) | Konferenz