Skapa en profil
Offentlig åtkomst
Visa alla22 artiklar
4 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Sam OwreSRI InternationalVerifierad e-postadress på sri.com
- John RushbySRI InternationalVerifierad e-postadress på csl.sri.com
- Harald RuessfortissVerifierad e-postadress på fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- patrick lincolnSRIVerifierad e-postadress på sri.com
- Leonardo de MouraAmazon Web ServicesVerifierad e-postadress på amazon.com
- Wenchao LiAssistant Professor, Boston UniversityVerifierad e-postadress på bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerifierad e-postadress på csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på math.upenn.edu
- Stéphane Graham-LengrandSRI InternationalVerifierad e-postadress på csl.sri.com
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerifierad e-postadress på univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerifierad e-postadress på gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerifierad e-postadress på jpl.nasa.gov
- Eli SingermanIntel Corp.Verifierad e-postadress på intel.com
- Gary T. LeavensProfessor, University of Central FloridaVerifierad e-postadress på cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerifierad e-postadress på sri.com
- Maria Paola BonacinaProfessor of Computer Science, Universitā degli Studi di VeronaVerifierad e-postadress på univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerifierad e-postadress på princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurVerifierad e-postadress på cse.iitk.ac.in
Följ
Natarajan Shankar
SRI International Computer Science Laboratory
Verifierad e-postadress på csl.sri.com