Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Daniel KroeningAmazonVerified email at amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Vadim RyvchinVerified email at tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
- Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
- Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
- Alexander NadelReseach Scientist, Intel & TechnionVerified email at intel.com
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at