Get my own profile
Co-authors
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceVerified email at lsv.fr
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Hugo Gimbertchargé de recherche au CNRS, LaBRI, BordeauxVerified email at labri.fr
Thomas BrihayeUMONSVerified email at umons.ac.be
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
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Szymon ToruńczykUniversity of WarsawVerified email at mimuw.edu.pl
Thierry MassartUniversité Libre de Bruxelles - ULBVerified email at ulb.ac.be
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk