Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 22880 | 9502 |
h-index | 48 | 31 |
i10-index | 83 | 54 |
Nyilvános hozzáférés
Összes megtekintése2 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Nikolaj BjornerMicrosoft ResearchE-mail megerősítve itt: cs.stanford.edu
- Bruno DutertreAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Harald RuessfortissE-mail megerősítve itt: fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail megerősítve itt: csl.sri.com
- John RushbySRI InternationalE-mail megerősítve itt: csl.sri.com
- Clark BarrettStanford UniversityE-mail megerősítve itt: cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityE-mail megerősítve itt: cmu.edu
- Daniel SelsamOpenAIE-mail megerősítve itt: openai.com
- Dejan JovanovićAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Sam OwreSRI InternationalE-mail megerősítve itt: sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaE-mail megerősítve itt: uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyE-mail megerősítve itt: kit.edu
- Soonho KongAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsE-mail megerősítve itt: semdesigns.com
- Christoph M. WintersteigerImandraE-mail megerősítve itt: imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityE-mail megerősítve itt: cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mail megerősítve itt: csl.sri.com
- Floris van DoornUniversity of Paris-SaclayE-mail megerősítve itt: universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyE-mail megerősítve itt: von-raumer.de