내 프로필 만들기
공개 액세스
모두 보기자료 34개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Rob van GlabbeekUNSWcs.stanford.edu의 이메일 확인됨
- matthew hennessyProfessor of Computer Sciencecs.tcd.ie의 이메일 확인됨
- Jun PangUniversity of Luxembourguni.lu의 이메일 확인됨
- Yuan FengTsinghua Universitytsinghua.edu.cn의 이메일 확인됨
- Catuscia PalamidessiInrialix.polytechnique.fr의 이메일 확인됨
- Carroll MorganProfessor, University of New South Wales and DATA61unsw.edu.au의 이메일 확인됨
- Chenyi ZhangOracle Labs Australiaoracle.com의 이메일 확인됨
- Davide SangiorgiProfessor of Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Stéphane GrumbachINRIA & ENS Lyon -- IXXIinria.fr의 이메일 확인됨
- Daniel GeblerVU University Amsterdamvu.nl의 이메일 확인됨
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
- Robert J. SimmonsCarnegie Mellon University (formerly)cs.cmu.edu의 이메일 확인됨
- Tom ChothiaUniversity of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciencesios.ac.cn의 이메일 확인됨
- Xin ChenUniversity of New Mexicounm.edu의 이메일 확인됨
- Ugo Dal LagoUniversity of Bologna and INRIA Sophia Antipoliscs.unibo.it의 이메일 확인됨
- Alwen TiuSchool of Computing, The Australian National Universityanu.edu.au의 이메일 확인됨