Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Daniel KroeningAmazonGeverifieerd e-mailadres voor amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Vadim RyvchinGeverifieerd e-mailadres voor tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
- Hana ChocklerKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityGeverifieerd e-mailadres voor nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionGeverifieerd e-mailadres voor intel.com
- Roderick BloemGraz University of TechnologyGeverifieerd e-mailadres voor iaik.tugraz.at