Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 14907 | 2761 |
Índice h | 55 | 27 |
Índice i10 | 109 | 55 |
Acesso público
Ver todos13 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Stephen FreundComputer Science, Williams CollegeE-mail confirmado em cs.williams.edu
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityE-mail confirmado em felleisen.org
- Shaz QadeerSoftware Engineer, MetaE-mail confirmado em meta.com
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityE-mail confirmado em bias2build.com
- Tim DisneyUniversity of California Santa CruzE-mail confirmado em ucsc.edu
- Mark LillibridgeFacebookE-mail confirmado em cs.cmu.edu
- Caitlin SadowskiGoogleE-mail confirmado em google.com
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzE-mail confirmado em cs.ucsc.edu
- Patrice GodefroidLaceworkE-mail confirmado em lacework.net
- Robert Bruce FindlerNorthwestern UniversityE-mail confirmado em cs.northwestern.edu
- Amr SabryProfessor of Computer Science, Indiana UniversityE-mail confirmado em indiana.edu
- Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityE-mail confirmado em cs.brown.edu
- Matthew FlattProfessor, School of Computing, University of UtahE-mail confirmado em cs.utah.edu
- Jean YangMITE-mail confirmado em cs.cmu.edu
- Christopher SchusterE-mail confirmado em ucsc.edu
- John ClementsProfessor of Computer Science, Cal Poly State UniversityE-mail confirmado em calpoly.edu
- Mooly SagivTel Aviv UniversityE-mail confirmado em acm.org
- Armando Solar-LezamaMITE-mail confirmado em csail.mit.edu
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- Yannis SmaragdakisUniversity of AthensE-mail confirmado em di.uoa.gr
Seguir
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
E-mail confirmado em ucsc.edu - Página inicial