내 프로필 만들기
공개 액세스
모두 보기자료 15개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
- David BasinProfessor of Computer Science, ETH Zurichinf.ethz.ch의 이메일 확인됨
- Jannik DreierLORIA, Université de Lorraine, TELECOM Nancyloria.fr의 이메일 확인됨
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de Valènciaupv.es의 이메일 확인됨
- Lucca HirschiTenured Inria Researcher @ Loriainria.fr의 이메일 확인됨
- Sasa RadomirovicUniversity of Surreysurrey.ac.uk의 이메일 확인됨
- Cas CremersCISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab Fellowinf.ethz.ch의 이메일 확인됨
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Paweł Szałachowskigoogle.com의 이메일 확인됨
- Tiffany Hyun-Jin KimCarnegie Mellon Universityece.cmu.edu의 이메일 확인됨
- Deepak KapurUniversity of New Mexicocs.unm.edu의 이메일 확인됨
- Christopher LynchClarkson Universityclarkson.edu의 이메일 확인됨
- Liqun ChenProfessor, University of Surrey, UKsurrey.ac.uk의 이메일 확인됨
- Jorden WhitefieldIndependent Researcherjwhitefield.co.uk의 이메일 확인됨
- Christoph SprengerSenior researcher at ETH Zurichinf.ethz.ch의 이메일 확인됨
- Jorge Toro-PozoETH Zurichinf.ethz.ch의 이메일 확인됨
- Helen J. WangPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Dennis JacksonMozillamozilla.com의 이메일 확인됨
- Sonia SantiagoPhD. Student - Universidad Politecnica de Valenciadsic.upv.es의 이메일 확인됨