내 프로필 만들기
공동 저자
- Anindya BanerjeeProfessor, IMDEA Software Instituteimdea.org의 이메일 확인됨
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Peter O'HearnLacework and University College Londonucl.ac.uk의 이메일 확인됨
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruzcs.ucsc.edu의 이메일 확인됨
- John ReppyProfessor of Computer Science, University of Chicagocs.uchicago.edu의 이메일 확인됨
- Didier RémyINRIAinria.fr의 이메일 확인됨
- Eugenio MoggiProfessor of Computer Science, Genova Universityunige.it의 이메일 확인됨
- Achim JungProfessor of Computer Science, University of Birmingham, UKcs.bham.ac.uk의 이메일 확인됨
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genovaunige.it의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Marcelo FioreProfessor in Mathematical Foundations of Computer Sciencecl.cam.ac.uk의 이메일 확인됨
- Hayo ThieleckeUniversity of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Kathleen FisherAdjunct Professor of Computer Science, Tufts Universityeecs.tufts.edu의 이메일 확인됨
- Anders Thorhauge SandholmGooglesandholm.dk의 이메일 확인됨
- Stavros CosmadakisUniversity of Patrascti.gr의 이메일 확인됨
- Kim BruceEmeritus Professor of Computer Science, Pomona Collegepomona.edu의 이메일 확인됨