내 프로필 만들기
공개 액세스
모두 보기자료 27개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Qi ZhuAssociate Professor of Computer Engineeringnorthwestern.edu의 이메일 확인됨
- Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.com의 이메일 확인됨
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI Internationalsri.com의 이메일 확인됨
- Shankar SastryUniversity of Californiaberkeley.edu의 이메일 확인됨
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- patrick lincolnSRIsri.com의 이메일 확인됨
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton Universityprinceton.edu의 이메일 확인됨
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.com의 이메일 확인됨
- Pramod SubramanyanIndian Institute of Technology Kanpurcse.iitk.ac.in의 이메일 확인됨
- Adrià GascónGoogle Researchgoogle.com의 이메일 확인됨
- Alberto PuggelliPh.D., Apple Inc.eecs.berkeley.edu의 이메일 확인됨
- Daniel HolcombAssociate Professor, University of Massachusettsengin.umass.edu의 이메일 확인됨
- Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGtttech.com의 이메일 확인됨
- Bowen ZhengPony.AIucr.edu의 이메일 확인됨
- Alessandro ForinPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Orna KupfermanProfessor of Computer Science, The Hebrew Universitycs.huji.ac.il의 이메일 확인됨
- Victor ShiaUC Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Katherine Driggs-CampbellAssistant Professor, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Roozbeh JafariTexas A&M Universitytamu.edu의 이메일 확인됨