Get my own profile
Co-authors
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Christel BaierTU DresdenVerified email at tu-dresden.de
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Christian MichauxUMONSVerified email at umons.ac.be
Quentin MenetUniversité de MonsVerified email at umons.ac.be
cedric riviereUniversity of MonsVerified email at umons.ac.be
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Aline GoeminneUMONS &ULBVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Hugo Gimbertchargé de recherche au CNRS, LaBRI, BordeauxVerified email at labri.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu