Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 22776 | 9398 |
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