自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: math.upenn.edu
- Rebecca N. WrightBarnard College確認したメール アドレス: barnard.edu
- Vijay RamachandranAssociate Professor of Computer Science, Colgate University確認したメール アドレス: colgate.edu
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cmu.edu
- Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale University確認したメール アドレス: yale.edu
- Michael SchapiraProfessor of Computer Science, The Hebrew University of Jerusalem確認したメール アドレス: huji.ac.il
- Paul SyversonMathematician, U.S. Naval Research Laboratory確認したメール アドレス: nrl.navy.mil
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.saarland
- Aaron JohnsonU.S. Naval Research Laboratory確認したメール アドレス: nrl.navy.mil
- Bruno BlanchetSenior researcher, INRIA, Paris確認したメール アドレス: inria.fr
- Alex FabrikantStaff research scientist, Google Research確認したメール アドレス: google.com
- Timothy G. GriffinSenior Lecturer, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory確認したメール アドレス: nrl.navy.mil
- Michael MisloveTulane University確認したメール アドレス: tulane.edu
- Roberto SegalaUniversità di Verona確認したメール アドレス: univr.it