내 프로필 만들기
공개 액세스
모두 보기자료 25개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Mathias PreinerStanford Universitycs.stanford.edu의 이메일 확인됨
- Clark BarrettStanford Universitycs.stanford.edu의 이메일 확인됨
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Cesare TinelliProfessor of Computer Science, The University of Iowauiowa.edu의 이메일 확인됨
- Andrew ReynoldsUniversity of Iowa, Amazon Web Servicesuiowa.edu의 이메일 확인됨
- Haniel BarbosaUniversidade Federal de Minas Geraisdcc.ufmg.br의 이메일 확인됨
- Yoni ZoharBar Ilan Universitybiu.ac.il의 이메일 확인됨
- Andres NötzliStanford Universitystanford.edu의 이메일 확인됨
- Gereon KremerCertora Ltdcs.stanford.edu의 이메일 확인됨
- Alex OzdemirStanford Universitystanford.edu의 이메일 확인됨
- Martin BrainCity, University of Londoncity.ac.uk의 이메일 확인됨
- Makai MannTechnical Staff, MIT Lincoln Laboratoryll.mit.edu의 이메일 확인됨
- Ying ShengPhD student of Stanford Universitystanford.edu의 이메일 확인됨
- Giles RegerAmazon and University of Manchestermanchester.ac.uk의 이메일 확인됨
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAgatech.edu의 이메일 확인됨
- Joseph ScottUniversity of Waterloouwaterloo.ca의 이메일 확인됨
- Saeed NejatiAmazonamazon.com의 이메일 확인됨
- Martina SeidlUniv.-Prof., JKU Linzjku.at의 이메일 확인됨
- Florian Lonsingflorianlonsing.com의 이메일 확인됨
- David DeharbeCLEARSYclearsy.com의 이메일 확인됨