| |
| 2005 | ||
|---|---|---|
| 7 | EE | Mizuhito Ogawa, Eiichi Horita, Satoshi Ono: Proving Properties of Incremental Merkle Trees. CADE 2005: 424-440 |
| 6 | EE | Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure: Name creation implements restriction in the pi-calculus. Systems and Computers in Japan 36(2): 78-91 (2005) |
| 1997 | ||
| 5 | Eiichi Horita, Ken Mano: Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. ASIAN 1997: 377-378 | |
| 1996 | ||
| 4 | Eiichi Horita, Ken Mano: Nepi: A Network Programming Language Based on the pi-Calculus. COORDINATION 1996: 424-427 | |
| 3 | Eiichi Horita: Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics. New Generation Comput. 14(3): 343-389 (1996) | |
| 1994 | ||
| 2 | Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten: Fully Abstract Denotational Models for Nonuniform Concurrent Languages Inf. Comput. 115(1): 125-178 (1994) | |
| 1992 | ||
| 1 | Eiichi Horita: A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. REX Workshop 1992: 288-317 | |
| 1 | J. W. de Bakker (Jaco de Bakker) | [2] |
| 2 | Yoshinobu Kawabe | [6] |
| 3 | Kiyoshi Kogure | [6] |
| 4 | Ken Mano | [4] [5] [6] |
| 5 | Mizuhito Ogawa | [7] |
| 6 | Satoshi Ono | [7] |
| 7 | Jan J. M. M. Rutten | [2] |