Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2332 | 773 |
Índice h | 29 | 15 |
Índice i10 | 46 | 22 |
Acesso público
Ver todos22 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsE-mail confirmado em mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityE-mail confirmado em informatik.uni-freiburg.de
- Siddharth KrishnaIndependent ResearcherE-mail confirmado em cs.nyu.edu
- Viktor KunčakEPFLE-mail confirmado em epfl.ch
- Martin SchaefAmazon Web ServicesE-mail confirmado em amazon.com
- Ruzica PiskacAssociate ProfessorE-mail confirmado em yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSE-mail confirmado em courant.nyu.edu
- Thomas HenzingerIST AustriaE-mail confirmado em ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityE-mail confirmado em cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mail confirmado em amazon.com
- Zvonimir PavlinovicPhD student, New York UniversityE-mail confirmado em cs.nyu.edu
- martin rinardMITE-mail confirmado em lcs.mit.edu
- vasu singhE-mail confirmado em bmw.de
- Prateek MittalProfessor, Princeton UniversityE-mail confirmado em princeton.edu
- Anmol SinghBMW GroupE-mail confirmado em bmw.de
- Tim KingGoogle IncE-mail confirmado em google.com
- Michael WalfishProfessor of Computer Science, NYUE-mail confirmado em cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAISTE-mail confirmado em kaist.ac.kr
- Peter O'HearnLacework and University College LondonE-mail confirmado em ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonE-mail confirmado em cs.ucl.ac.uk