내 프로필 만들기
공개 액세스
모두 보기자료 4개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)ucm.es의 이메일 확인됨
- Frédéric BlanquiINRIAinria.fr의 이메일 확인됨
- Kokichi FUTATSUGIProfessor of Computer Science, JAISTjaist.ac.jp의 이메일 확인됨
- Claude KirchnerInriainria.fr의 이메일 확인됨
- Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf Universityagu.edu.bh의 이메일 확인됨
- Jan Willem KlopVrije Universiteit Amsterdamvu.nl의 이메일 확인됨
- Pierre LescanneProfesseur émérite à l'ENS de Lyonens-lyon.fr의 이메일 확인됨
- Pierre-Yves StrubResearch Scientist, PQShieldstrub.nu의 이메일 확인됨
- Hubert Comon-LundhComputer Science professor, ENS Cachanlsv.ens-cachan.fr의 이메일 확인됨
- Jiaxiang LIUShenzhen Universityszu.edu.cn의 이메일 확인됨
- Maribel FernandezProfessor of Computer Science, King's College Londonkcl.ac.uk의 이메일 확인됨
- Fernando OrejasUniversitat Politècnica de Catalunyalsi.upc.edu의 이메일 확인됨
- Vincent van Oostromjavakade.nl의 이메일 확인됨
- Femke van RaamsdonkVU University Amsterdamvu.nl의 이메일 확인됨
- Jean Goubault-Larrecqlsv.fr의 이메일 확인됨
- Gérard HuetDirecteur de Recherche Emérite Inriainria.fr의 이메일 확인됨
- Gérard BerryProfessor emeritus at Collège de Francecollege-de-france.fr의 이메일 확인됨
- Frank PfenningProfessor of Computer Science, Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Dale MillerInria-Saclay and LIX, Ecole Polytechniqueinria.fr의 이메일 확인됨