Mijn eigen profiel maken
Openbare toegang
Alles bekijken18 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
patrick lincolnSRIGeverifieerd e-mailadres voor sri.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
Leonardo de MouraSenior Principal Researcher at MicrosoftGeverifieerd e-mailadres voor microsoft.com
Wenchao LiAssistant Professor, Boston UniversityGeverifieerd e-mailadres voor bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalGeverifieerd e-mailadres voor csl.sri.com
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
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaGeverifieerd e-mailadres voor uwaterloo.ca
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Gary T. LeavensProfessor, University of Central FloridaGeverifieerd e-mailadres voor cs.ucf.edu
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
Vlad RusuInriaGeverifieerd e-mailadres voor inria.fr
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