내 프로필 만들기
공개 액세스
모두 보기자료 14개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
- Catuscia PalamidessiInrialix.polytechnique.fr의 이메일 확인됨
- Ivan LaneseUniversity of Bolognaunibo.it의 이메일 확인됨
- Gianluigi ZavattaroProfessor in Computer Science, University of Bolognacs.unibo.it의 이메일 확인됨
- Mila Dalla PredaUniversity of Verona, Italyunivr.it의 이메일 확인됨
- Fabrizio MontesiProfessor of Computer Science, University of Southern Denmarkimada.sdu.dk의 이메일 확인됨
- Giorgio DelzannoAssociate Professor, Università di Genovaunige.it의 이메일 확인됨
- Kim MarriottProfessor, Monash Universitymonash.edu의 이메일 확인됨
- Elena MarchioriRadboud Universitycs.ru.nl의 이메일 확인됨
- Krzysztof R. AptCWI fellow, CWI , The Netherlandscwi.nl의 이메일 확인됨
- Stefano BistarelliFull professor of Computer Science at University of Perugiaunipg.it의 이메일 확인됨
- Francesco SantiniDipartimento Matematica e Informatica, Perugiadmi.unipg.it의 이메일 확인됨
- Dino PedreschiProfessor of Computer Science, University of Pisadi.unipi.it의 이메일 확인됨
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)vrain.upv.es의 이메일 확인됨
- Frank D. ValenciaCNRS, École Polytechnique de Parislix.polytechnique.fr의 이메일 확인됨
- Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)math.unipd.it의 이메일 확인됨
- Daniele TuriCTO, HSS Proservice