Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 22749 | 9371 |
h-indeks | 48 | 31 |
i10-indeks | 82 | 53 |
Offentlig tilgang
Vis alle2 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Nikolaj BjornerMicrosoft ResearchVerifisert e-postadresse på cs.stanford.edu
- Bruno DutertreAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Harald RuessfortissVerifisert e-postadresse på fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryVerifisert e-postadresse på csl.sri.com
- John RushbySRI InternationalVerifisert e-postadresse på csl.sri.com
- Clark BarrettStanford UniversityVerifisert e-postadresse på cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerifisert e-postadresse på cmu.edu
- Daniel SelsamOpenAIVerifisert e-postadresse på openai.com
- Dejan JovanovićAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Sam OwreSRI InternationalVerifisert e-postadresse på sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaVerifisert e-postadresse på uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyVerifisert e-postadresse på kit.edu
- Soonho KongAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsVerifisert e-postadresse på semdesigns.com
- Christoph M. WintersteigerImandraVerifisert e-postadresse på imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerifisert e-postadresse på cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifisert e-postadresse på csl.sri.com
- Floris van DoornUniversity of Paris-SaclayVerifisert e-postadresse på universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyVerifisert e-postadresse på von-raumer.de