Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 22762 | 9384 |
h-index | 48 | 31 |
i10-indeks | 83 | 53 |
Offentlig adgang
Se alle2 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Nikolaj BjornerMicrosoft ResearchVerificeret mail på cs.stanford.edu
- Bruno DutertreAmazon Web ServicesVerificeret mail på amazon.com
- Harald RuessfortissVerificeret mail på fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryVerificeret mail på csl.sri.com
- John RushbySRI InternationalVerificeret mail på csl.sri.com
- Clark BarrettStanford UniversityVerificeret mail på cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerificeret mail på cmu.edu
- Daniel SelsamOpenAIVerificeret mail på openai.com
- Dejan JovanovićAmazon Web ServicesVerificeret mail på amazon.com
- Sam OwreSRI InternationalVerificeret mail på sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaVerificeret mail på uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyVerificeret mail på kit.edu
- Soonho KongAmazon Web ServicesVerificeret mail på amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsVerificeret mail på semdesigns.com
- Christoph M. WintersteigerImandraVerificeret mail på imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerificeret mail på cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerificeret mail på csl.sri.com
- Floris van DoornUniversity of Paris-SaclayVerificeret mail på universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyVerificeret mail på von-raumer.de