Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 22880 | 9502 |
Índice h | 48 | 31 |
Índice i10 | 83 | 54 |
Acesso público
Ver todos2 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Nikolaj BjornerMicrosoft ResearchE-mail confirmado em cs.stanford.edu
- Bruno DutertreAmazon Web ServicesE-mail confirmado em amazon.com
- Harald RuessfortissE-mail confirmado em fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail confirmado em csl.sri.com
- John RushbySRI InternationalE-mail confirmado em csl.sri.com
- Clark BarrettStanford UniversityE-mail confirmado em cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityE-mail confirmado em cmu.edu
- Daniel SelsamOpenAIE-mail confirmado em openai.com
- Dejan JovanovićAmazon Web ServicesE-mail confirmado em amazon.com
- Sam OwreSRI InternationalE-mail confirmado em sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaE-mail confirmado em uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyE-mail confirmado em kit.edu
- Soonho KongAmazon Web ServicesE-mail confirmado em amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsE-mail confirmado em semdesigns.com
- Christoph M. WintersteigerImandraE-mail confirmado em imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityE-mail confirmado em cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mail confirmado em csl.sri.com
- Floris van DoornUniversity of Paris-SaclayE-mail confirmado em universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyE-mail confirmado em von-raumer.de