自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Martin OderskyEPFL確認したメール アドレス: epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure確認したメール アドレス: ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of Edinburgh確認したメール アドレス: sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of Gothenburg確認したメール アドレス: cse.gu.se
- Nada AminHarvard University確認したメール アドレス: alum.mit.edu
- Tiark RompfPurdue University確認したメール アドレス: purdue.edu
- Tobias HeindelTU Berlin確認したメール アドレス: tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFL確認したメール アドレス: epfl.ch
- Samuel GruetterMIT確認したメール アドレス: mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State University確認したメール アドレス: msu.edu
- Cesar SanchezResearch Professor, IMDEA Software Institute確認したメール アドレス: imdea.org
- Amir ShaikhhaUniversity of Edinburgh確認したメール アドレス: ed.ac.uk
- Aggelos BiboudisOracle確認したメール アドレス: oracle.com
- Heather MillerCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Olivier BlanvillainEPFL確認したメール アドレス: epfl.ch
- Vlad UrechePhD student, LAMP, EPFL確認したメール アドレス: epfl.ch
- Russ HarmerCNRS, Lyon確認したメール アドレス: ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)確認したメール アドレス: tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.確認したメール アドレス: tudelft.nl