Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Daniel KroeningAmazonEmail verificata su amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerEmail verificata su fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Vadim RyvchinEmail verificata su tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooEmail verificata su uwaterloo.ca
- Hana ChocklerKing's College LondonEmail verificata su kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityEmail verificata su nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionEmail verificata su intel.com
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at