내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
- Rebecca N. WrightBarnard Collegebarnard.edu의 이메일 확인됨
- Vijay RamachandranAssociate Professor of Computer Science, Colgate Universitycolgate.edu의 이메일 확인됨
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
- Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale Universityyale.edu의 이메일 확인됨
- Michael SchapiraProfessor of Computer Science, The Hebrew University of Jerusalemhuji.ac.il의 이메일 확인됨
- Paul SyversonMathematician, U.S. Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Securitycispa.saarland의 이메일 확인됨
- Aaron JohnsonU.S. Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Bruno BlanchetSenior researcher, INRIA, Parisinria.fr의 이메일 확인됨
- Alex FabrikantStaff research scientist, Google Researchgoogle.com의 이메일 확인됨
- Timothy G. GriffinSenior Lecturer, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Michael MisloveTulane Universitytulane.edu의 이메일 확인됨
- Roberto SegalaUniversità di Veronaunivr.it의 이메일 확인됨