自分のプロフィールを作成
オープン アクセス
すべて表示34 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Rob van GlabbeekUNSW確認したメール アドレス: cs.stanford.edu
- matthew hennessyProfessor of Computer Science確認したメール アドレス: cs.tcd.ie
- Jun PangUniversity of Luxembourg確認したメール アドレス: uni.lu
- Yuan FengTsinghua University確認したメール アドレス: tsinghua.edu.cn
- Catuscia PalamidessiInria確認したメール アドレス: lix.polytechnique.fr
- Carroll MorganProfessor, University of New South Wales and DATA61確認したメール アドレス: unsw.edu.au
- Chenyi ZhangOracle Labs Australia確認したメール アドレス: oracle.com
- Davide SangiorgiProfessor of Computer Science, University of Bologna確認したメール アドレス: cs.unibo.it
- Stéphane GrumbachINRIA & ENS Lyon -- IXXI確認したメール アドレス: inria.fr
- Daniel GeblerVU University Amsterdam確認したメール アドレス: vu.nl
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cmu.edu
- Robert J. SimmonsCarnegie Mellon University (formerly)確認したメール アドレス: cs.cmu.edu
- Tom ChothiaUniversity of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Peng WUState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Xin ChenUniversity of New Mexico確認したメール アドレス: unm.edu
- Ugo Dal LagoUniversity of Bologna and INRIA Sophia Antipolis確認したメール アドレス: cs.unibo.it
- Alwen TiuSchool of Computing, The Australian National University確認したメール アドレス: anu.edu.au