내 프로필 만들기
공개 액세스
모두 보기자료 127개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Scienceglasgow.ac.uk의 이메일 확인됨
- David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Radu CalinescuProfessor of Computer Science, University of Yorkyork.ac.uk의 이메일 확인됨
- Jeremy SprostonAssistant professor, University of Turindi.unito.it의 이메일 확인됨
- Luca LaurentiTU Delfttudelft.nl의 이메일 확인됨
- Luca CardelliUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Andrea PataneTrinity College Dublintcd.ie의 이메일 확인됨
- Vojtěch ForejtDifflbluediffblue.com의 이메일 확인됨
- Nicola PaolettiDepartment of Informatics, King's College Londonkcl.ac.uk의 이메일 확인됨
- Taolue ChenDepartment of Computer Science, Birkbeck, University of Londonbbk.ac.uk의 이메일 확인됨
- Xiaowei HuangProfessor of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Hongyang QuResearch Fellow, University of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Roberto SegalaUniversità di Veronaunivr.it의 이메일 확인됨
- Christel BaierTU Dresdentu-dresden.de의 이메일 확인됨
- Min WuDepartment of Computer Science, Stanford Universitystanford.edu의 이메일 확인됨
- Matthew WickerImperial College London & The Alan Turing Instituteimperial.ac.uk의 이메일 확인됨
- Alexandru MereacreNquiringminds Ltdnquiringminds.com의 이메일 확인됨
- Milan CeskaBrno University of Technologyfit.vutbr.cz의 이메일 확인됨
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.uk의 이메일 확인됨
- Frits Dannenbergcaltech.edu의 이메일 확인됨
팔로우
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
comlab.ox.ac.uk의 이메일 확인됨 - 홈페이지