내 프로필 만들기
공개 액세스
모두 보기자료 23개
자료 5개
공개
비공개
재정 지원 요구사항 기준
공동 저자
Sam OwreSRI Internationalsri.com의 이메일 확인됨
John RushbySRI Internationalcsl.sri.com의 이메일 확인됨
Harald Ruessfortissfortiss.org의 이메일 확인됨
Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.com의 이메일 확인됨
patrick lincolnSRIsri.com의 이메일 확인됨
Leonardo de MouraAmazon Web Servicesamazon.com의 이메일 확인됨
Wenchao LiAssistant Professor, Boston Universitybu.edu의 이메일 확인됨
Dr. Hassen SaidiSr Computer Scientist, SRI Internationalcsl.sri.com의 이메일 확인됨
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratoryjpl.nasa.gov의 이메일 확인됨
Stéphane Graham-LengrandSRI Internationalcsl.sri.com의 이메일 확인됨
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
Saddek BensalemUniversité Grenoble Alpes, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAgatech.edu의 이메일 확인됨
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI Internationalsri.com의 이메일 확인됨
Eli SingermanIntel Corp.intel.com의 이메일 확인됨
Gary T. LeavensProfessor, University of Central Floridacs.ucf.edu의 이메일 확인됨
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di Veronaunivr.it의 이메일 확인됨
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton Universityprinceton.edu의 이메일 확인됨
Pramod SubramanyanIndian Institute of Technology Kanpurcse.iitk.ac.in의 이메일 확인됨