Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 22560 | 9190 |
Índice h | 48 | 30 |
Índice i10 | 82 | 53 |
Acesso público
Ver tudo2 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Nikolaj BjornerMicrosoft ResearchEmail confirmado em cs.stanford.edu
- Bruno DutertreAmazon Web ServicesEmail confirmado em amazon.com
- Harald RuessfortissEmail confirmado em fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryEmail confirmado em csl.sri.com
- John RushbySRI InternationalEmail confirmado em csl.sri.com
- Clark BarrettStanford UniversityEmail confirmado em cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail confirmado em cmu.edu
- Daniel SelsamOpenAIEmail confirmado em openai.com
- Dejan JovanovićAmazon Web ServicesEmail confirmado em amazon.com
- Sam OwreSRI InternationalEmail confirmado em sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaEmail confirmado em uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyEmail confirmado em kit.edu
- Soonho KongAmazon Web ServicesEmail confirmado em amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeEmail confirmado em cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsEmail confirmado em semdesigns.com
- Christoph M. WintersteigerMicrosoft ResearchEmail confirmado em microsoft.com
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityEmail confirmado em cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail confirmado em csl.sri.com
- Floris van DoornUniversity of Paris-SaclayEmail confirmado em universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyEmail confirmado em von-raumer.de