내 프로필 만들기
공개 액세스
모두 보기자료 162개
자료 6개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Krishnendu ChatterjeeProfessor, IST Austriaist.ac.at의 이메일 확인됨
- Rupak MajumdarMPI for Software Systemsmpi-sws.org의 이메일 확인됨
- Luca de AlfaroProfessor, UC Santa Cruzacm.org의 이메일 확인됨
- Christoph M. KirschProfessor of Computer Sciences, University of Salzburgcs.uni-salzburg.at의 이메일 확인됨
- Orna KupfermanProfessor of Computer Science, The Hebrew Universitycs.huji.ac.il의 이메일 확인됨
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germanylmu.de의 이메일 확인됨
- Laurent DoyenCNRS - LMF, ENS Paris-Saclaylsv.fr의 이메일 확인됨
- Pei-Hsin Ho (贺培鑫)UniVista Industrial Software (合见工软)univista-isg.com의 이메일 확인됨
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.ulb.ac.be의 이메일 확인됨
- Sriram RajamaniMicrosoft Research microsoft.com의 이메일 확인됨
- Howard Wong-ToiGoogle, Inc.google.com의 이메일 확인됨
- Shaz QadeerSoftware Engineer, Metameta.com의 이메일 확인됨
- Joseph SifakisReseracher at Verimag laboratory, Grenobleimag.fr의 이메일 확인됨
- Costas CourcoubetisProfessor in SDS, CUHK Shenzhencuhk.edu.cn의 이메일 확인됨
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu의 이메일 확인됨
- Jasmin FisherProfessor of Computational Biology, UCL Cancer Instituteucl.ac.uk의 이메일 확인됨
- Dejan NickovicAustrian Institute of Technologyait.ac.at의 이메일 확인됨
- Barbara JobstmannScientist at EPFLepfl.ch의 이메일 확인됨
- Arjun RadhakrishnaMicrosoftmicrosoft.com의 이메일 확인됨
- Nir PitermanProfessor in Computer Science, University of Gothenburg, Swedengu.se의 이메일 확인됨