自分のプロフィールを作成
オープン アクセス
すべて表示18 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Mike RaineyCarnegie Mellon University確認したメール アドレス: mike-rainey.site
- Umut A. AcarCarnegie Mellon University, Department of Computer Science確認したメール アドレス: cs.cmu.edu
- François PottierInria Paris確認したメール アドレス: inria.fr
- Alan SchmittInria, IRISA確認したメール アドレス: inria.fr
- Martin BodinInria確認したメール アドレス: ens-lyon.org
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Mário PereiraAssistant Professor, NOVA School of Science and Technology確認したメール アドレス: fct.unl.pt
- Jean-Christophe FilliâtreCNRS確認したメール アドレス: lri.fr
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College London確認したメール アドレス: imperial.ac.uk
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College London確認したメール アドレス: doc.ic.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Amin TimanyAarhus University確認したメール アドレス: cs.au.dk
- Joseph TassarottiAssistant Professor, New York University確認したメール アドレス: nyu.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- Filip SieczkowskiHeriot-Watt University確認したメール アドレス: hw.ac.uk
- Alexandre MoineInria Paris確認したメール アドレス: inria.fr
- Samuel GruetterMIT確認したメール アドレス: mit.edu