dblp.uni-trier.dewww.uni-trier.de

Tadashi Araragi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
15EETadashi Araragi: Byzantine Fault Tolerance for Agent Systems. DepCoS-RELCOMEX 2006: 232-239
14EEVelik Bellemin, Tadashi Araragi: CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. DepCoS-RELCOMEX 2006: 240-247
13EETadashi Araragi, Seung Mo Cho: Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. MoChArt 2006: 84-94
2005
12EETadashi Araragi: Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. AAMAS 2005: 123-124
11EETakamichi Sakai, Kenji Terada, Tadashi Araragi: Robust Online Reputation Mechanism by Stochastic Approximation. Adaptive Agents and Multi-Agent Systems 2005: 230-244
10EEAtsushi 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
9EEHeui-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
6EETadashi Araragi, Shiro Takata, Naoyuki Nide: A Verification Method for a Commitment Strategy of the BDI Architecture. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
5EENaoyuki 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
3EETadashi 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)