Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 22734 | 9356 |
indice h | 48 | 31 |
indice i10 | 82 | 53 |
Accès public
Tout afficher2 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Nikolaj BjornerMicrosoft ResearchAdresse e-mail validée de cs.stanford.edu
- Bruno DutertreAmazon Web ServicesAdresse e-mail validée de amazon.com
- Harald RuessfortissAdresse e-mail validée de fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
- John RushbySRI InternationalAdresse e-mail validée de csl.sri.com
- Clark BarrettStanford UniversityAdresse e-mail validée de cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Daniel SelsamOpenAIAdresse e-mail validée de openai.com
- Dejan JovanovićAmazon Web ServicesAdresse e-mail validée de amazon.com
- Sam OwreSRI InternationalAdresse e-mail validée de sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaAdresse e-mail validée de uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyAdresse e-mail validée de kit.edu
- Soonho KongAmazon Web ServicesAdresse e-mail validée de amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsAdresse e-mail validée de semdesigns.com
- Christoph M. WintersteigerImandraAdresse e-mail validée de imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityAdresse e-mail validée de cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse e-mail validée de csl.sri.com
- Floris van DoornUniversity of Paris-SaclayAdresse e-mail validée de universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyAdresse e-mail validée de von-raumer.de