Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 22776 | 9398 |
Índice h | 48 | 31 |
Índice i10 | 82 | 53 |
Acceso público
Ver todo2 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Nikolaj BjornerMicrosoft ResearchDirección de correo verificada de cs.stanford.edu
- Bruno DutertreAmazon Web ServicesDirección de correo verificada de amazon.com
- Harald RuessfortissDirección de correo verificada de fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
- John RushbySRI InternationalDirección de correo verificada de csl.sri.com
- Clark BarrettStanford UniversityDirección de correo verificada de cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
- Daniel SelsamOpenAIDirección de correo verificada de openai.com
- Dejan JovanovićAmazon Web ServicesDirección de correo verificada de amazon.com
- Sam OwreSRI InternationalDirección de correo verificada de sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaDirección de correo verificada de uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
- Soonho KongAmazon Web ServicesDirección de correo verificada de amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsDirección de correo verificada de semdesigns.com
- Christoph M. WintersteigerImandraDirección de correo verificada de imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityDirección de correo verificada de cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftDirección de correo verificada de csl.sri.com
- Floris van DoornUniversity of Paris-SaclayDirección de correo verificada de universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyDirección de correo verificada de von-raumer.de
Seguir