Profil

Hautem Quentin

Principaux co-auteurs référencés
BRUYERE, Véronique  (13)
Raskin, Jean-François (10)
RANDOUR, Mickaël  (3)
Hallet, Marion  (2)
Carlier, Pierre (1)
Principaux mots-clés référencés
High Energy Physics - Experiment (1);
Principaux centres et unités de recherche référencés
CREMMI - Modélisation mathématique et informatique (20)
Principales disciplines référencées
Ingénierie électrique & électronique (21)
Mathématiques (4)
Sciences informatiques (3)

La plus téléchargée
22 téléchargements
Bruyère, V., Devillez, G., Hautem, Q., & Mélot, H. (2017). Sciencebook. https://hdl.handle.net/20.500.12907/6448

La plus citée

120 citations (OpenCitations)

Hautem, Q. (13 September 2017). Games with lexicographically ordered omega-regular objectives [Paper presentation]. Highlights of Logic, Games and Automata, London, United Kingdom. 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 vérifié par ORBi

Bruyère, V., Hautem, Q., & Raskin, J.-F. (2018). Parameterized complexity of games with monotonically ordered omega-regular objectives [Paper presentation]. 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 presentation]. Séminaire Jeunes (Math-Info), Mons, Belgium.

Hautem, Q. (13 September 2017). Games with lexicographically ordered omega-regular objectives [Paper presentation]. Highlights of Logic, Games and Automata, London, United Kingdom.

Hautem, Q. (05 May 2017). Window parity games [Paper presentation]. 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 presentation]. 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 vérifié par ORBi

Hautem, Q. (08 September 2016). Games with window parity objectives [Paper presentation]. 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 presentation]. 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 presentation]. 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 presentation]. 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 presentation]. 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 presentation]. 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 presentation]. 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. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/37394.

Bruyère, V., Hautem, Q., & Raskin, J.-F. (27 October 2015). On the complexity of heterogeneous multidimensional quantitative games [Paper presentation]. 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 presentation]. Highlights of Logic, Games and Automata, Prague, Czechia.

Contacter ORBi UMONS