내 프로필 만들기
공개 액세스
모두 보기자료 14개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Gerard HolzmannNimble Researchnimbleresearch.com의 이메일 확인됨
- Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratoryjpl.nasa.gov의 이메일 확인됨
- Anca MuschollLaBRI, Univ. of Bordeauxlabri.fr의 이메일 확인됨
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaignillinois.edu의 이메일 확인됨
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia Universitycs.columbia.edu의 이메일 확인됨
- Marius MineaAssociate Professor, Politehnica University of Timisoaracs.upt.ro의 이메일 확인됨
- Pierre WolperProfessor of Computer Science, Université de Liège, Belgiumulg.ac.be의 이메일 확인됨
- Shmuel KatzComputer Sciencecs.technion.ac.il의 이메일 확인됨
- Orna GrumbergProfessor of Computer Science, Technioncs.technion.ac.il의 이메일 확인됨
- Husnu YenigunProfessor of Computer Science, Sabanci Universitysabanciuniv.edu의 이메일 확인됨
- Sven ScheweProfessor of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)ipipan.waw.pl의 이메일 확인됨
- Hongyang QuResearch Fellow, University of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel Universityti.informatik.uni-kiel.de의 이메일 확인됨
- Alex GroceAssociate Professor of Computer Science, Northern Arizona Universitynau.edu의 이메일 확인됨
- Edith ElkindUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Kousha EtessamiUniversity of Edinburghinf.ed.ac.uk의 이메일 확인됨