Crea il mio profilo
Accesso pubblico
Visualizza tutto22 articoli
4 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Sam OwreSRI InternationalEmail verificata su sri.com
- John RushbySRI InternationalEmail verificata su csl.sri.com
- Harald RuessfortissEmail verificata su fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail verificata su csl.sri.com
- patrick lincolnSRIEmail verificata su sri.com
- Leonardo de MouraAmazon Web ServicesEmail verificata su amazon.com
- Wenchao LiAssistant Professor, Boston UniversityEmail verificata su bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalEmail verificata su csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Stéphane Graham-LengrandSRI InternationalEmail verificata su csl.sri.com
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su math.upenn.edu
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail verificata su univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail verificata su gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail verificata su jpl.nasa.gov
- Eli SingermanIntel Corp.Email verificata su intel.com
- Gary T. LeavensProfessor, University of Central FloridaEmail verificata su cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail verificata su sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaEmail verificata su univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityEmail verificata su princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurEmail verificata su cse.iitk.ac.in