Profil

Hautem Quentin


Main Referenced Co-authors
BRUYERE, Véronique  (13)
Raskin, Jean-François (10)
RANDOUR, Mickaël  (3)
HALLET, Marion  (2)
Carlier, Pierre (1)
Main Referenced Keywords
High Energy Physics - Experiment (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (20)
Main Referenced Disciplines
Electrical & electronics engineering (21)
Mathematics (4)
Computer science (3)

Publications (total 24)

The most downloaded
2 downloads
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 https://hdl.handle.net/20.500.12907/37492
The most cited
120 citations (OpenCitations)
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 https://hdl.handle.net/20.500.12907/10239

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. (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. (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. (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.

Contact ORBi