내 프로필 만들기
공개 액세스
모두 보기자료 6개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Yannis SmaragdakisUniversity of Athensdi.uoa.gr의 이메일 확인됨
- Martin OderskyEPFLepfl.ch의 이메일 확인됨
- Odysseas SekkasHead of R&D, Mobics S.A.mobics.gr의 이메일 확인됨
- Stathes HadjiefthymiadesDepartment of Informatics and Telecommunications, National and Kapodistrian University of Athensdi.uoa.gr의 이메일 확인됨
- Evangelos ZervasProfessor of Electrical and Electronics Engineeringuniwa.gr의 이메일 확인됨
- George FourtounisGRNETsoftlab.ntua.gr의 이메일 확인됨
- Christos (Chris) AnagnostopoulosAssociate Professor, School of Computing Science, University of Glasgowglasgow.ac.uk의 이메일 확인됨
- Olivier BlanvillainEPFLepfl.ch의 이메일 확인됨
- Nicolas StuckiPhD in Computer Science at EPFLepfl.ch의 이메일 확인됨
- Heather MillerCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Sandro StuckiAmazonamazon.com의 이메일 확인됨
- Pablo InostrozaCentrum Wiskunde & Informatica CWI, The Netherlandscwi.nl의 이메일 확인됨
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)cwi.nl의 이메일 확인됨
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.tudelft.nl의 이메일 확인됨
- Vlad UrechePhD student, LAMP, EPFLepfl.ch의 이메일 확인됨
- Ondrej LhotakComputer Science, University of Waterloouwaterloo.ca의 이메일 확인됨
- Vassileios Tsetsos, PhDResearch Associate, National and Kapodistrian University of Athensdi.uoa.gr의 이메일 확인됨
- Jeremy GibbonsProfessor of Computing, University of Oxfordcs.ox.ac.uk의 이메일 확인됨