내 프로필 만들기
공개 액세스
모두 보기자료 18개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Andrew ReynoldsUniversity of Iowa, Amazon Web Servicesuiowa.edu의 이메일 확인됨
- Cesare TinelliProfessor of Computer Science, The University of Iowauiowa.edu의 이메일 확인됨
- Clark BarrettStanford Universitycs.stanford.edu의 이메일 확인됨
- Mathias PreinerStanford Universitycs.stanford.edu의 이메일 확인됨
- Andres NötzliStanford Universitystanford.edu의 이메일 확인됨
- Aina NiemetzStanford Universitycs.stanford.edu의 이메일 확인됨
- Yoni ZoharBar Ilan Universitybiu.ac.il의 이메일 확인됨
- Hanna LachnittStanford Universitystanford.edu의 이메일 확인됨
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, Franceloria.fr의 이메일 확인됨
- Alex OzdemirStanford Universitystanford.edu의 이메일 확인됨
- Gereon KremerCertora Ltdcs.stanford.edu의 이메일 확인됨
- Abdalrhman MohamedPhD student, Stanford Universitystanford.edu의 이메일 확인됨
- Mathias FleuryUniversity Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenifi.lmu.de의 이메일 확인됨
- David DeharbeCLEARSYclearsy.com의 이메일 확인됨
- Daniel LarrazUniversity of Iowauiowa.edu의 이메일 확인됨
- Scott ViteriPhD Student, Stanford Universitystanford.edu의 이메일 확인됨
- Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas Geraisdcc.ufmg.br의 이메일 확인됨
- Mikoláš JanotaCTU Praguecvut.cz의 이메일 확인됨
- Antti E. J. HyvärinenSenior Research Scientist, Certoracertora.com의 이메일 확인됨