  | Bruyère, V., Hautem, Q., Randour, M., & Raskin, J.-F. (2019). Energy Mean-Payoff Games. Leibniz International Proceedings in Informatics, 140, 21:1-21:17. doi:10.4230/LIPIcs.CONCUR.2019.21  Peer Reviewed verified by ORBi |
Bruyère, V., Hautem, Q., & Raskin, J.-F. (2018). Parameterized complexity of games with monotonically ordered omega-regular objectives. Paper presented at International Conference on Concurrency Theory, Beijing, China. |
| Goeminne, A., Hallet, M., Hautem, Q., & Randour, M. (2018). A vous de jouer ! |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (2017). Parameterized complexity of games with monotonically ordered omega-regular objectives. |
Hautem, Q. (05 December 2017). La Vérification à l'aide des jeux et un aperçu des jeux ordonnés. Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium. |
Hautem, Q. (13 September 2017). Games with lexicographically ordered omega-regular objectives. Paper presented at Highlights of Logic, Games and Automata, London, United Kingdom. doi:10.1103/PhysRevLett.105.211801 |
Hautem, Q. (05 May 2017). Window parity games. Paper presented at Centre Fédéré en Vérification (ULB), Bruxelles, Belgium. |
Bruyère, V., Devillez, G., Hautem, Q., & Mélot, H. (2017). Sciencebook. |
Carlier, P., Hallet, M., & Hautem, Q. (2017). Jouer n'est pas qu'un jeu. |
| Hautem, Q. (15 September 2016). Window parity games: an alternative approach toward parity games with time bounds. Paper presented at The seventh international symposium on Games, Automata, Logics and Formal Verification (GANDALF 2016), Catane, Italy. |
| Bruyère, V., Hautem, Q., & Randour, M. (13 September 2016). Window parity games: an alternative approach toward parity games with time bounds. Electronic Proceedings in Theoretical Computer Science, 226, 135-148. doi:10.4204/EPTCS.226.10 Peer Reviewed verified by ORBi |
| Hautem, Q. (08 September 2016). Games with window parity objectives. Paper presented at Highlights of Logic, Games and Automata, Bruxelles, Belgium. |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (23 August 2016). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at The 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, 2016, Québec, Canada. |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (2016). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at International Conference on Concurrency Theory, Québec, Canada. doi:10.4230/LIPIcs.CONCUR.2016.11 |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (30 June 2016). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at Summer School MOVEP 2016, Gênes, Italy. |
| Bruyère, V., & Hautem, Q. (2016). Window parity games: an alternative approach toward parity games with time bounds. |
| Hautem, Q. (03 April 2016). Games with window parity objectives. Paper presented at Cassting Workshop at ETAPS 2016, Eindhoven, Netherlands. |
| Hautem, Q. (2016). Ma thèse en 180s - Quentin Hautem. |
Delgrange, O., Hautem, Q., & Hauweele, D. (2016). Séquençage d'ADN. |
| Hautem, Q. (18 February 2016). La Vérification à l'aide des jeux. Paper presented at Séminaire Jeunes (Math-Info) 2016, Mons, Belgium. |
 | Bruyère, V., Hautem, Q., & Raskin, J.-F. (10 December 2015). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at Méthodes formelles et Vérification, Bruxelles (ULB), Belgium. |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (2015). On the complexity of heterogeneous multidimensional quantitative games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/37394. |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (27 October 2015). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at Sixth Cassting meeting, Cachan, France. |
| Bruyère, V., Hautem, Q., & Raskin, J.-F. (16 September 2015). On the complexity of heterogeneous multidimensional quantitative games. Paper presented at Highlights of Logic, Games and Automata, Prague, Czechia. |