Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Christel BaierTU DresdenVerified email at tu-dresden.de
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Aistis ŠimaitisUniversity of OxfordVerified email at cs.ox.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu