Dorian Guyot
dorian.guyot@unifr.ch
https://orcid.org/0009-0001-0229-4204
-
Diploma Assistant / Assistant paid with third-party funding,
Department of Informatics
PER 21 bu. B402
Bd de Pérolles 90
1700 FribourgPER 21, B402
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