Mijn eigen profiel maken
Openbare toegang
Alles bekijken8 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceGeverifieerd e-mailadres voor irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayGeverifieerd e-mailadres voor lsv.fr
- Romain BrenguierUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
- Christel BaierTU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Erich GrädelRWTH Aachen UniversityGeverifieerd e-mailadres voor logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderGeverifieerd e-mailadres voor colorado.edu
- Aistis ŠimaitisUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonGeverifieerd e-mailadres voor bbk.ac.uk
- Vojtěch ForejtDifflblueGeverifieerd e-mailadres voor diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriGeverifieerd e-mailadres voor missouri.edu
Volgen
Michael Ummels
Researcher, German Aerospace Center
Geverifieerd e-mailadres voor logic.rwth-aachen.de