내 프로필 만들기
공개 액세스
모두 보기자료 36개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Sumit GulwaniPartner Research Manager, Microsoftmicrosoft.com의 이메일 확인됨
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI Internationalsri.com의 이메일 확인됨
- Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.com의 이메일 확인됨
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado Bouldercolorado.edu의 이메일 확인됨
- patrick lincolnSRIsri.com의 이메일 확인됨
- Adrià GascónGoogle Researchgoogle.com의 이메일 확인됨
- Harald Ruessfortissfortiss.org의 이메일 확인됨
- Radu GrosuProfessor of Computer Sciencetuwien.ac.at의 이메일 확인됨
- Scott A. SmolkaProfessor of Computer Science, Stony Brook Universitycs.sunysb.edu의 이메일 확인됨
- John RushbySRI Internationalcsl.sri.com의 이메일 확인됨
- Leo BachmairProfessor of Computer Science, Stony Brook Universitycs.stonybrook.edu의 이메일 확인됨
- Bruno DutertreAmazon Web Servicesamazon.com의 이메일 확인됨
- Sam OwreSRI Internationalsri.com의 이메일 확인됨
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton Universityprinceton.edu의 이메일 확인됨
- Junxing YangStony Brook Univerisitycs.stonybrook.edu의 이메일 확인됨
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.uk의 이메일 확인됨
- Pramod SubramanyanIndian Institute of Technology Kanpurcse.iitk.ac.in의 이메일 확인됨
- Leonardo de MouraAmazon Web Servicesamazon.com의 이메일 확인됨
- Gaurav KhannaUniversity of Rhode Island & UMass Dartmouthumassd.edu의 이메일 확인됨
팔로우