Get my own profile
Co-authors
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Thomas BrihayeUMONSVerified email at umons.ac.be
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Joël GoossensProfessor of Computer Science, Université libre de Bruxelles ULBVerified email at ulb.ac.be
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
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
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
M. PraveenAssistant professor, Chennai Mathemaitical InstituteVerified email at cmi.ac.in
Amélie StainerUniversité Libre de BruxellesVerified email at ulb.ac.be
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Tristan Le GallCEA LISTVerified email at cea.fr
Gilles Geeraerts
Associate Prof. of Computer Science, Université Libre de Bruxelles (ULB)
Verified email at ulb.ac.be - Homepage