Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 22787 | 9409 |
h-indeks | 48 | 31 |
i10-indeks | 82 | 53 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Nikolaj BjornerMicrosoft ResearchZweryfikowany adres z cs.stanford.edu
- Bruno DutertreAmazon Web ServicesZweryfikowany adres z amazon.com
- Harald RuessfortissZweryfikowany adres z fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryZweryfikowany adres z csl.sri.com
- John RushbySRI InternationalZweryfikowany adres z csl.sri.com
- Clark BarrettStanford UniversityZweryfikowany adres z cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Daniel SelsamOpenAIZweryfikowany adres z openai.com
- Dejan JovanovićAmazon Web ServicesZweryfikowany adres z amazon.com
- Sam OwreSRI InternationalZweryfikowany adres z sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaZweryfikowany adres z uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyZweryfikowany adres z kit.edu
- Soonho KongAmazon Web ServicesZweryfikowany adres z amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsZweryfikowany adres z semdesigns.com
- Christoph M. WintersteigerImandraZweryfikowany adres z imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityZweryfikowany adres z cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftZweryfikowany adres z csl.sri.com
- Floris van DoornUniversity of Paris-SaclayZweryfikowany adres z universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyZweryfikowany adres z von-raumer.de