Tadashi Araragi

	2006
15		Tadashi Araragi: Byzantine Fault Tolerance for Agent Systems. DepCoS-RELCOMEX 2006: 232-239
14		Velik Bellemin, Tadashi Araragi: CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. DepCoS-RELCOMEX 2006: 240-247
13		Tadashi Araragi, Seung Mo Cho: Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. MoChArt 2006: 84-94
	2005
12		Tadashi Araragi: Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. AAMAS 2005: 123-124
11		Takamichi Sakai, Kenji Terada, Tadashi Araragi: Robust Online Reputation Mechanism by Stochastic Approximation. Adaptive Agents and Multi-Agent Systems 2005: 230-244
10		Atsushi Sasaki, Tadashi Araragi, Shigeru Masuyama, Keizo Miyata: Formulation of Mobile Agent Allocation and its Strong NP-Completeness. IEICE Transactions 88-D(5): 1060-1063 (2005)
	2004
9		Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon: Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops 2004: 308-321
	2002
8		Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA III 2002: 109-122
7		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. CLIMA III 2002: 123-135
6		Tadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
5		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
	2000
4		Tadashi Araragi, Kiyoshi Kogure: Dynamic Downloading of Communications Protocols Using a Logic Based Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 27-34
3		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
	1992
2		Tadashi Araragi: A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. TABLEAUX 1992: 4-6
1		Tadashi Araragi: Program Transformation in a Nonmonotonic Reasoning System. WSA 1992: 135-143

Coauthor Index

1	Paul C. Attie	[3]
2	Velik Bellemin	[14]
3	Seung Mo Cho	[13]
4	Idit Keidar	[3]
5	Kiyoshi Kogure	[3] [4]
6	Yong Rae Kwon	[9]
7	Victor Luchangco	[3]
8	Nancy A. Lynch	[3]
9	Ken Mano	[3]
10	Shigeru Masuyama	[10]
11	Keizo Miyata	[10]
12	Naoyuki Nide	[5] [6] [7] [8]
13	Takamichi Sakai	[11]
14	Atsushi Sasaki	[10]
15	Heui-Seok Seo	[9]
16	Shiro Takata	[5] [6] [7] [8]
17	Kenji Terada	[11]

Colors in the list of coauthors