Research and publications

• Automata Theory
  1 publication

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

• Discrete Optimisation
  1 publication

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

• Other
  1 publication

  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 | Book chapter