Gilles Geeraerts
Author
Alternate names Gilles Geeraerts, G. Geeraerts
Institution Université Libre de Bruxelles
Past institutions Université Libre de Bruxelles, Département d'Informatique, University of Mons
H-index: 13
I10-index: 18
Works count: 101
Citations count: 556
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
2005 · Gilles Geeraerts, Jean-François Raskin, et al. · Journal of Computer and System Sciences
Well-structured languages
2007 · Gilles Geeraerts, Jean-François Raskin, et al. · Acta Informatica
MightyL: A Compositional Translation from MITL to Timed Automata
2017 · Thomas Brihaye, Gilles Geeraerts, et al. · Lecture notes in computer science