Hanki oma profiili
Viittaukset
Kaikki | 2020 lähtien | |
---|---|---|
Sitaatit | 24613 | 9582 |
h-indeksi | 48 | 31 |
i10-indeksi | 83 | 53 |
Yleisessä käytössä
Näytä kaikki2 artikkelia
0 artikkelia
käytettävissä
ei käytettävissä
Perustuu rahoitusehtoihin
Muut kirjoittajat
Nikolaj BjornerMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Bruno DutertreAmazon Web ServicesVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Harald RuessfortissVahvistettu sähköpostiosoite verkkotunnuksessa fortiss.org
Natarajan ShankarSRI International Computer Science LaboratoryVahvistettu sähköpostiosoite verkkotunnuksessa csl.sri.com
John RushbySRI InternationalVahvistettu sähköpostiosoite verkkotunnuksessa csl.sri.com
Clark BarrettStanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cmu.edu
Sebastian UllrichKarlsruhe Institute of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa kit.edu
Daniel SelsamOpenAIVahvistettu sähköpostiosoite verkkotunnuksessa openai.com
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeVahvistettu sähköpostiosoite verkkotunnuksessa bc.edu
Dejan JovanovićAmazon Web ServicesVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Sam OwreSRI InternationalVahvistettu sähköpostiosoite verkkotunnuksessa sri.com
Soonho KongAmazon Web ServicesVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVahvistettu sähköpostiosoite verkkotunnuksessa cl.cam.ac.uk
Christoph M. WintersteigerImandraVahvistettu sähköpostiosoite verkkotunnuksessa imandra.ai
Ira BaxterCTO Semantic DesignsVahvistettu sähköpostiosoite verkkotunnuksessa semdesigns.com
Percy LiangAssociate Professor of Computer Science, Stanford UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVahvistettu sähköpostiosoite verkkotunnuksessa csl.sri.com
Floris van DoornUniversity of BonnVahvistettu sähköpostiosoite verkkotunnuksessa math.uni-bonn.de
Jakob von RaumerKarlsruhe Institute of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa von-raumer.de