내 프로필 만들기
공개 액세스
모두 보기자료 34개
자료 8개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- axel legayUCLouvainuclouvain.be의 이메일 확인됨
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)laas.fr의 이메일 확인됨
- Doron A. PeledProfessor Of Computer Science, Bar Ilan Universitycs.biu.ac.il의 이메일 확인됨
- Stavros TripakisAssociate Professor, Northeastern Universitynortheastern.edu의 이메일 확인됨
- Ahmed BouajjaniProfessor Computer Science, Université Paris Citéirif.fr의 이메일 확인됨
- Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.com의 이메일 확인됨
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.com의 이메일 확인됨
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Andreas GriesmayerImperial College Londonarm.com의 이메일 확인됨
- Grigore RosuUniversity of Illinois at Urbana Champaignillinois.edu의 이메일 확인됨
- Amedeo CestaCNR -- National Research Council of Italy, ISTCistc.cnr.it의 이메일 확인됨
- Barbara JobstmannScientist at EPFLepfl.ch의 이메일 확인됨
- Thomas HenzingerIST Austriaist.ac.at의 이메일 확인됨
- matthew hennessyProfessor of Computer Sciencecs.tcd.ie의 이메일 확인됨
- Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghinf.ed.ac.uk의 이메일 확인됨