Get my own profile
Public access
View all23 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Thomas BrihayeUMONSVerified email at umons.ac.be
Antoine PetitEns de CachanVerified email at ens-cachan.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Christel BaierTU DresdenVerified email at tu-dresden.de
Pierre VandenhoveF.R.S.-FNRS & UMONS - Université de Mons; LMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at umons.ac.be
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr