Dorian Guyot
dorian.guyot@unifr.ch
https://orcid.org/0009-0001-0229-4204
-
Diplomassistent_in,
Departement für Informatik
PER 21 bu. B402
Bd de Pérolles 90
1700 FribourgPER 21, B402
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