自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
- David BasinProfessor of Computer Science, ETH Zurich確認したメール アドレス: inf.ethz.ch
- Jannik DreierLORIA, Université de Lorraine, TELECOM Nancy確認したメール アドレス: loria.fr
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València確認したメール アドレス: upv.es
- Lucca HirschiTenured Inria Researcher @ Loria確認したメール アドレス: inria.fr
- Sasa RadomirovicUniversity of Surrey確認したメール アドレス: surrey.ac.uk
- Cas CremersCISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab Fellow確認したメール アドレス: inf.ethz.ch
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory確認したメール アドレス: nrl.navy.mil
- Paweł Szałachowski確認したメール アドレス: google.com
- Tiffany Hyun-Jin KimCarnegie Mellon University確認したメール アドレス: ece.cmu.edu
- Deepak KapurUniversity of New Mexico確認したメール アドレス: cs.unm.edu
- Christopher LynchClarkson University確認したメール アドレス: clarkson.edu
- Liqun ChenProfessor, University of Surrey, UK確認したメール アドレス: surrey.ac.uk
- Jorden WhitefieldIndependent Researcher確認したメール アドレス: jwhitefield.co.uk
- Christoph SprengerSenior researcher at ETH Zurich確認したメール アドレス: inf.ethz.ch
- Jorge Toro-PozoETH Zurich確認したメール アドレス: inf.ethz.ch
- Helen J. WangPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Dennis JacksonMozilla確認したメール アドレス: mozilla.com
- Sonia SantiagoPhD. Student - Universidad Politecnica de Valencia確認したメール アドレス: dsic.upv.es