Dorian Guyot
dorian.guyot@unifr.ch
https://orcid.org/0009-0001-0229-4204
-
Assistant·e diplômé·e,
Département d'informatique
PER 21 bu. B402
Bd de Pérolles 90
1700 FribourgPER 21, B402
Recherche et publications
-
Autre
1 publication
Feasibility Study on Leveraging Proof Assistants for Educational Purposes , dans Lecture Notes in Networks and Systems
Fernand Dubler, Ulrich Ultes-Nitsche, Dorian Guyot (2025), ISBN: 9783031956522 | Chapitre de livre -
Optimisation discrète
1 publication
Minimalistic Predictions for Online Class Constraint Scheduling
Dorian Guyot and Alexandra Anna Lassota, The Thirteenth International Conference on Learning Representations: (2025) | Conférence -
Théorie des automates
1 publication
The Joker Game Only Characterizes History-Determinism in Parity Automata With up to Two Priorities
Dorian Guyot, Ulrich Ultes-Nitsche (2026) | Chapitre de livre