Crea el meu perfil
Accés públic
Mostra-ho tot22 articles
4 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Sam OwreSRI InternationalCorreu electrònic verificat a sri.com
- John RushbySRI InternationalCorreu electrònic verificat a csl.sri.com
- Harald RuessfortissCorreu electrònic verificat a fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftCorreu electrònic verificat a csl.sri.com
- patrick lincolnSRICorreu electrònic verificat a sri.com
- Leonardo de MouraAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Wenchao LiAssistant Professor, Boston UniversityCorreu electrònic verificat a bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalCorreu electrònic verificat a csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a math.upenn.edu
- Stéphane Graham-LengrandSRI InternationalCorreu electrònic verificat a csl.sri.com
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGCorreu electrònic verificat a univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USACorreu electrònic verificat a gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryCorreu electrònic verificat a jpl.nasa.gov
- Eli SingermanIntel Corp.Correu electrònic verificat a intel.com
- Gary T. LeavensProfessor, University of Central FloridaCorreu electrònic verificat a cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalCorreu electrònic verificat a sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaCorreu electrònic verificat a univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityCorreu electrònic verificat a princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurCorreu electrònic verificat a cse.iitk.ac.in
Segueix
Natarajan Shankar
SRI International Computer Science Laboratory
Correu electrònic verificat a csl.sri.com