Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 22776 | 9398 |
H-indeks | 48 | 31 |
i10-indeks | 82 | 53 |
Javni pristup
Prikaži sve2 članka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Nikolaj BjornerMicrosoft ResearchPotvrđena adresa e-pošte na cs.stanford.edu
- Bruno DutertreAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Harald RuessfortissPotvrđena adresa e-pošte na fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryPotvrđena adresa e-pošte na csl.sri.com
- John RushbySRI InternationalPotvrđena adresa e-pošte na csl.sri.com
- Clark BarrettStanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityPotvrđena adresa e-pošte na cmu.edu
- Daniel SelsamOpenAIPotvrđena adresa e-pošte na openai.com
- Dejan JovanovićAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Sam OwreSRI InternationalPotvrđena adresa e-pošte na sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaPotvrđena adresa e-pošte na uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyPotvrđena adresa e-pošte na kit.edu
- Soonho KongAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsPotvrđena adresa e-pošte na semdesigns.com
- Christoph M. WintersteigerImandraPotvrđena adresa e-pošte na imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftPotvrđena adresa e-pošte na csl.sri.com
- Floris van DoornUniversity of Paris-SaclayPotvrđena adresa e-pošte na universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyPotvrđena adresa e-pošte na von-raumer.de