내 프로필 만들기
공개 액세스
모두 보기자료 22개
자료 4개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- 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의 이메일 확인됨
- 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의 이메일 확인됨
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratoryjpl.nasa.gov의 이메일 확인됨
- Eli SingermanIntel Corp.intel.com의 이메일 확인됨
- Gary T. LeavensProfessor, University of Central Floridacs.ucf.edu의 이메일 확인됨
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI Internationalsri.com의 이메일 확인됨
- 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의 이메일 확인됨