내 프로필 만들기
공개 액세스
모두 보기자료 1개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Claudio Sacerdoti CoenUniversity of Bolognaunibo.it의 이메일 확인됨
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, Francetelecom-paris.fr의 이메일 확인됨
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
- Ferruccio GuidiUniversity of Bolognacs.unibo.it의 이메일 확인됨
- Luca RoversiProfessor of Computer Science, Università di Torinodi.unito.it의 이메일 확인됨
- Alexey SolovyevResearch Associate of Computer Science, University of Utahcs.utah.edu의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- François GarillotLurk Labgarillot.net의 이메일 확인됨
- Agata CiabattoniVienna University of Technologylogic.at의 이메일 확인됨
- Herman GeuversRadboud University Nijmegen, the Netherlandscs.ru.nl의 이메일 확인됨
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieureens.fr의 이메일 확인됨
- Paolo CoppolaAssociate Professor of Computer Science, University of Udineuniud.it의 이메일 확인됨
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSbath.ac.uk의 이메일 확인됨
- Andrea CorradiniProfessor of Computer Science, University of Pisadi.unipi.it의 이메일 확인됨
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot Universitypps.univ-paris-diderot.fr의 이메일 확인됨
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Servicesamazon.co.uk의 이메일 확인됨
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azurinria.fr의 이메일 확인됨
- George GoguadzeResearcher at Leuphana University Lüneburgleuphana.de의 이메일 확인됨
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris Citéirif.fr의 이메일 확인됨