Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 22853 | 9476 |
h-rodyklė | 48 | 31 |
i10-rodyklė | 82 | 53 |
Viešas pasiekiamumas
Peržiūrėti viską2 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Nikolaj BjornerMicrosoft ResearchPatvirtintas el. paštas cs.stanford.edu
- Bruno DutertreAmazon Web ServicesPatvirtintas el. paštas amazon.com
- Harald RuessfortissPatvirtintas el. paštas fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryPatvirtintas el. paštas csl.sri.com
- John RushbySRI InternationalPatvirtintas el. paštas csl.sri.com
- Clark BarrettStanford UniversityPatvirtintas el. paštas cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityPatvirtintas el. paštas cmu.edu
- Daniel SelsamOpenAIPatvirtintas el. paštas openai.com
- Dejan JovanovićAmazon Web ServicesPatvirtintas el. paštas amazon.com
- Sam OwreSRI InternationalPatvirtintas el. paštas sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaPatvirtintas el. paštas uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyPatvirtintas el. paštas kit.edu
- Soonho KongAmazon Web ServicesPatvirtintas el. paštas amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgePatvirtintas el. paštas cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsPatvirtintas el. paštas semdesigns.com
- Christoph M. WintersteigerImandraPatvirtintas el. paštas imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityPatvirtintas el. paštas cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftPatvirtintas el. paštas csl.sri.com
- Floris van DoornUniversity of Paris-SaclayPatvirtintas el. paštas universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyPatvirtintas el. paštas von-raumer.de
Stebėti