Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 22734 | 9356 |
h-индекс | 48 | 31 |
i10-индекс | 82 | 53 |
Общий доступ
Просмотреть все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
Подписаться
Leonardo de Moura
Amazon Web Services
Подтвержден адрес электронной почты в домене amazon.com - Главная страница