Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 6914 | 1724 |
Índice h | 38 | 18 |
Índice i10 | 72 | 33 |
Acesso público
Ver todos7 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Daniel KroeningAmazonE-mail confirmado em amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail confirmado em informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail confirmado em mpi-sws.org
- Vadim RyvchinE-mail confirmado em tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooE-mail confirmado em uwaterloo.ca
- Hana ChocklerKing's College LondonE-mail confirmado em kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail confirmado em nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionE-mail confirmado em intel.com
- Roderick BloemGraz University of TechnologyE-mail confirmado em iaik.tugraz.at