내 프로필 만들기
공개 액세스
모두 보기자료 18개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Mike RaineyCarnegie Mellon Universitymike-rainey.site의 이메일 확인됨
- Umut A. AcarCarnegie Mellon University, Department of Computer Sciencecs.cmu.edu의 이메일 확인됨
- François PottierInria Parisinria.fr의 이메일 확인됨
- Alan SchmittInria, IRISAinria.fr의 이메일 확인됨
- Martin BodinInriaens-lyon.org의 이메일 확인됨
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Mário PereiraAssistant Professor, NOVA School of Science and Technologyfct.unl.pt의 이메일 확인됨
- Jean-Christophe FilliâtreCNRSlri.fr의 이메일 확인됨
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College Londonimperial.ac.uk의 이메일 확인됨
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College Londondoc.ic.ac.uk의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Amin TimanyAarhus Universitycs.au.dk의 이메일 확인됨
- Joseph TassarottiAssistant Professor, New York Universitynyu.edu의 이메일 확인됨
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch의 이메일 확인됨
- Filip SieczkowskiHeriot-Watt Universityhw.ac.uk의 이메일 확인됨
- Alexandre MoineInria Parisinria.fr의 이메일 확인됨
- Samuel GruetterMITmit.edu의 이메일 확인됨