Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 22758 | 9380 |
h-index | 48 | 31 |
i10-index | 83 | 53 |
Acces public
Afișați-le pe toate2 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Nikolaj BjornerMicrosoft ResearchAdresă de e-mail confirmată pe cs.stanford.edu
- Bruno DutertreAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Harald RuessfortissAdresă de e-mail confirmată pe fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryAdresă de e-mail confirmată pe csl.sri.com
- John RushbySRI InternationalAdresă de e-mail confirmată pe csl.sri.com
- Clark BarrettStanford UniversityAdresă de e-mail confirmată pe cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
- Daniel SelsamOpenAIAdresă de e-mail confirmată pe openai.com
- Dejan JovanovićAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Sam OwreSRI InternationalAdresă de e-mail confirmată pe sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaAdresă de e-mail confirmată pe uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyAdresă de e-mail confirmată pe kit.edu
- Soonho KongAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsAdresă de e-mail confirmată pe semdesigns.com
- Christoph M. WintersteigerImandraAdresă de e-mail confirmată pe imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityAdresă de e-mail confirmată pe cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresă de e-mail confirmată pe csl.sri.com
- Floris van DoornUniversity of Paris-SaclayAdresă de e-mail confirmată pe universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyAdresă de e-mail confirmată pe von-raumer.de
Urmăriți