Get my own profile
Public access
View all14 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
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Franck CassezConsenSys Software Inc. & Macquarie UniversityVerified email at mq.edu.au
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.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
Ocan SankurCNRS, IrisaVerified email at irisa.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Radek PelánekMasaryk universityVerified email at fi.muni.cz