Tadashi Araragi

	2011
21		Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa: Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. SSS 2011: 445-446
	2010
20		Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai: Adaptive and Composable Non-committing Encryptions. ACISP 2010: 135-144
19		Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai: Adaptive and Composable Non-interactive String-commitment Protocols. SECRYPT 2010: 354-361
18		Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai: Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. SECRYPT 2010: 389-398
	2009
17		Junya Nakamura, Tadashi Araragi, Shigeru Masuyama: Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. PDCAT 2009: 80-87
	2008
16		Tadashi Araragi, Olivier Pereira: Automatic Verification of Simulatability in Security Protocols. IAS 2008: 275-280
	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 2002: 109-122
7		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. CLIMA 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): 126-139 (2002)
5		Naoyuki Nide, Shiro Takata, Tadashi Araragi: Deduction Systems for BDI Logics with Mental State Consistency. Electr. Notes Theor. Comput. Sci. 70(5): 140-152 (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	Yonghwan Kim	[21]
6	Kiyoshi Kogure	[3] [4]
7	Yong Rae Kwon	[9]
8	Victor Luchangco	[3]
9	Nancy A. Lynch	[3]
10	Ken Mano	[3]
11	Shigeru Masuyama	[10] [17]
12	Toshimitsu Masuzawa	[21]
13	Keizo Miyata	[10]
14	Junya Nakamura	[17] [21]
15	Naoyuki Nide	[5] [6] [7] [8]
16	Takashi Nishide	[18] [19] [20]
17	Olivier Pereira	[16]
18	Takamichi Sakai	[11]
19	Kouichi Sakurai	[18] [19] [20]
20	Atsushi Sasaki	[10]
21	Heui-Seok Seo	[9]
22	Shiro Takata	[5] [6] [7] [8]
23	Kenji Terada	[11]
24	Huafei Zhu	[18] [19] [20]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page