自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Lennart BeringerPrinceton University確認したメール アドレス: cs.princeton.edu
- Amy FeltyProfessor of Computer Science, University of Ottawa確認したメール アドレス: eecs.uottawa.ca
- Camillo FiorentiniUniversita degli Studi di Milano確認したメール アドレス: di.unimi.it
- Brigitte PientkaMcGill University確認したメール アドレス: cs.mcgill.ca
- Roy CroleAssociate Professor, University of Leicester確認したメール アドレス: le.ac.uk
- David AspinallProfessor in Computer Science, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Alwen TiuSchool of Computing, The Australian National University確認したメール アドレス: anu.edu.au
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'Insubria確認したメール アドレス: uninsubria.it
- Dale MillerInria-Saclay and LIX, Ecole Polytechnique確認したメール アドレス: inria.fr
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg University確認したメール アドレス: gu.se
- Frank PfenningProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Donald SannellaProfessor of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Kathrin StarkAssistant Professor, Heriot-Watt University確認したメール アドレス: hw.ac.uk
- Steven SchäferPhD student at the Programming Systems Lab, Saarland University確認したメール アドレス: ps.uni-saarland.de
- Allais GuillaumeChancellor's Fellow, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Aliya HameerMcGill University確認したメール アドレス: mail.mcgill.ca
- David ThibodeauPhD graduate, McGill University確認したメール アドレス: mail.mcgill.ca
- Stephen GilmoreProfessor of Software Systems Modelling, The University of Edinburgh確認したメール アドレス: inf.ed.ac.uk