| 2008 |
|---|
| 12 | EE | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
On Backward-Style Anonymity Verification.
IEICE Transactions 91-A(9): 2597-2606 (2008) |
| 2007 |
|---|
| 11 | EE | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
Theorem-proving anonymity of infinite-state systems.
Inf. Process. Lett. 101(1): 46-51 (2007) |
| 2005 |
|---|
| 10 | EE | Atsushi Mizuno,
Ken Mano,
Yoshinobu Kawabe,
Hiroaki Kuwabara,
Kiyoshi Agusa,
Shoji Yuen:
Name-passing style GUI programming in the pi-calculus-based language Nepi.
Electr. Notes Theor. Comput. Sci. 139(1): 145-168 (2005) |
| 9 | EE | Yoshinobu Kawabe,
Ken Mano:
Verifying Trace Equivalence of a Shared-Memory-Style Communication System.
IEICE Transactions 88-A(4): 915-922 (2005) |
| 8 | 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) |
| 2004 |
|---|
| 7 | EE | Ken Mano,
Yoshinobu Kawabe:
The Nepi Network Programming System: A Programming Environment for Distributed Systems.
NCA 2004: 287-292 |
| 2001 |
|---|
| 6 | EE | Ken Mano,
Mizuhito Ogawa:
Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.
Theor. Comput. Sci. 258(1-2): 169-208 (2001) |
| 2000 |
|---|
| 5 | EE | Tadashi Araragi,
Paul C. Attie,
Idit Keidar,
Kiyoshi Kogure,
Victor Luchangco,
Nancy A. Lynch,
Ken Mano:
On Formal Modeling of Agent Computations.
FAABS 2000: 48-62 |
| 4 | EE | Yoshinobu Kawabe,
Ken Mano,
Kiyoshi Kogure:
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.
FAABS 2000: 90-102 |
| 1997 |
|---|
| 3 | | Eiichi Horita,
Ken Mano:
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus.
ASIAN 1997: 377-378 |
| 1996 |
|---|
| 2 | | Ken Mano,
Mizuhito Ogawa:
Unique Normal Form Property of Higher-Order Rewriting Systems.
ALP 1996: 269-283 |
| 1 | | Eiichi Horita,
Ken Mano:
Nepi: A Network Programming Language Based on the pi-Calculus.
COORDINATION 1996: 424-427 |
