| |
| 2008 | ||
|---|---|---|
| 4 | EE | Masahiro Hamano, Ryo Takemura: An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL 2008: 262-277 |
| 3 | EE | Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205 |
| 2007 | ||
| 2 | EE | Mitsuhiro Okada, Ryo Takemura: Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. Rewriting, Computation and Proof 2007: 167-181 |
| 2002 | ||
| 1 | EE | Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316 |
| 1 | Masami Hagiya | [1] |
| 2 | Masahiro Hamano | [4] |
| 3 | Koji Mineshima | [3] |
| 4 | Mitsuhiro Okada | [2] [3] |
| 5 | Takamichi Saito | [1] |
| 6 | Yuri Sato | [3] |
| 7 | Koichi Takahashi | [1] |