Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 22846 | 9470 |
h-індекс | 48 | 31 |
i10-індекс | 83 | 54 |
Доступні для всіх
Переглянути всі2 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Nikolaj BjornerMicrosoft ResearchПідтверджена електронна адреса в cs.stanford.edu
- Bruno DutertreAmazon Web ServicesПідтверджена електронна адреса в amazon.com
- Harald RuessfortissПідтверджена електронна адреса в fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryПідтверджена електронна адреса в csl.sri.com
- John RushbySRI InternationalПідтверджена електронна адреса в csl.sri.com
- Clark BarrettStanford UniversityПідтверджена електронна адреса в cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityПідтверджена електронна адреса в cmu.edu
- Daniel SelsamOpenAIПідтверджена електронна адреса в openai.com
- Dejan JovanovićAmazon Web ServicesПідтверджена електронна адреса в amazon.com
- Sam OwreSRI InternationalПідтверджена електронна адреса в sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaПідтверджена електронна адреса в uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyПідтверджена електронна адреса в kit.edu
- Soonho KongAmazon Web ServicesПідтверджена електронна адреса в amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsПідтверджена електронна адреса в semdesigns.com
- Christoph M. WintersteigerImandraПідтверджена електронна адреса в imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityПідтверджена електронна адреса в cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftПідтверджена електронна адреса в csl.sri.com
- Floris van DoornUniversity of Paris-SaclayПідтверджена електронна адреса в universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyПідтверджена електронна адреса в von-raumer.de
Підписатись