내 프로필 만들기
공개 액세스
모두 보기자료 16개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Groupbc.edu의 이메일 확인됨
- Nickolai Zeldovichcsail.mit.edu의 이메일 확인됨
- Frans KaashoekMassuchesetts Institute of Technology (MIT)mit.edu의 이메일 확인됨
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch의 이메일 확인됨
- Tej ChajedUniversity of Wisconsin-Madisonwisc.edu의 이메일 확인됨
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Guy L. Steele Jr.Oracle Labsoracle.com의 이메일 확인됨
- Gang TanProfessor of computer science and engineering, Penn State Universitycse.psu.edu의 이메일 확인됨
- Greg MorrisettDean and Professor, Cornell Universitycornell.edu의 이메일 확인됨
- Simon SpiesMPI-SWSmpi-sws.org의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Amin TimanyAarhus Universitycs.au.dk의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Michael WickUniversity of Massachusettscs.umass.edu의 이메일 확인됨
- Daniel HuangAssistant Professorsfsu.edu의 이메일 확인됨