Založit si vlastní profil
Veřejný přístup
Zobrazit všechny22 článků
4 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Sam OwreSRI InternationalE-mailová adresa ověřena na: sri.com
- John RushbySRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Harald RuessfortissE-mailová adresa ověřena na: fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mailová adresa ověřena na: csl.sri.com
- patrick lincolnSRIE-mailová adresa ověřena na: sri.com
- Leonardo de MouraAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Wenchao LiAssistant Professor, Boston UniversityE-mailová adresa ověřena na: bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Stéphane Graham-LengrandSRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: math.upenn.edu
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAE-mailová adresa ověřena na: gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryE-mailová adresa ověřena na: jpl.nasa.gov
- Eli SingermanIntel Corp.E-mailová adresa ověřena na: intel.com
- Gary T. LeavensProfessor, University of Central FloridaE-mailová adresa ověřena na: cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mailová adresa ověřena na: sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaE-mailová adresa ověřena na: univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityE-mailová adresa ověřena na: princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurE-mailová adresa ověřena na: cse.iitk.ac.in
Sledovat
Natarajan Shankar
SRI International Computer Science Laboratory
E-mailová adresa ověřena na: csl.sri.com