Ken Mano

	2009
13		Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe: Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. CSE (3) 2009: 42-51
	2008
12		Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada: On Backward-Style Anonymity Verification. IEICE Transactions 91-A(9): 2597-2606 (2008)
	2007
11		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		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		Yoshinobu Kawabe, Ken Mano: Verifying Trace Equivalence of a Shared-Memory-Style Communication System. IEICE Transactions 88-A(4): 915-922 (2005)
8		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		Ken Mano, Yoshinobu Kawabe: The Nepi Network Programming System: A Programming Environment for Distributed Systems. NCA 2004: 287-292
	2001
6		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		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		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

Coauthor Index

1	Kiyoshi Agusa	[10]
2	Tadashi Araragi	[5]
3	Paul C. Attie	[5]
4	Eiichi Horita	[1] [3] [8]
5	Yoshinobu Kawabe	[4] [7] [8] [9] [10] [11] [12] [13]
6	Idit Keidar	[5]
7	Kiyoshi Kogure	[4] [5] [8]
8	Hiroaki Kuwabara	[10]
9	Victor Luchangco	[5]
10	Nancy A. Lynch	[5]
11	Atsushi Mizuno	[10]
12	Mizuhito Ogawa	[2] [6]
13	Hideki Sakurada	[11] [12] [13]
14	Yasuyuki Tsukada	[11] [12] [13]
15	Shoji Yuen	[10]