Mijn eigen profiel maken
Openbare toegang
Alles bekijken21 artikelen
4 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Sam OwreSRI InternationalGeverifieerd e-mailadres voor sri.com
John RushbySRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Harald RuessfortissGeverifieerd e-mailadres voor fortiss.org
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
patrick lincolnSRIGeverifieerd e-mailadres voor sri.com
Leonardo de MouraAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Wenchao LiAssistant Professor, Boston UniversityGeverifieerd e-mailadres voor bu.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor math.upenn.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAGeverifieerd e-mailadres voor gatech.edu
Stéphane Graham-LengrandSRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Gary T. LeavensProfessor, University of Central FloridaGeverifieerd e-mailadres voor cs.ucf.edu
Eli SingermanIntel Corp.Geverifieerd e-mailadres voor intel.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalGeverifieerd e-mailadres voor sri.com
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaGeverifieerd e-mailadres voor univr.it
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityGeverifieerd e-mailadres voor princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurGeverifieerd e-mailadres voor cse.iitk.ac.in
Volgen
Natarajan Shankar
SRI International Computer Science Laboratory
Geverifieerd e-mailadres voor csl.sri.com