Skapa en profil
Offentlig åtkomst
Visa alla8 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerifierad e-postadress på irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerifierad e-postadress på lsv.fr
- Romain BrenguierUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Christel BaierTU DresdenVerifierad e-postadress på tu-dresden.de
- Erich GrädelRWTH Aachen UniversityVerifierad e-postadress på logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerifierad e-postadress på colorado.edu
- Aistis ŠimaitisUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerifierad e-postadress på bbk.ac.uk
- Vojtěch ForejtDifflblueVerifierad e-postadress på diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerifierad e-postadress på comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriVerifierad e-postadress på missouri.edu
Följ
Michael Ummels
Researcher, German Aerospace Center
Verifierad e-postadress på logic.rwth-aachen.de