| 2006 |
|---|
| 15 | EE | Tadashi Araragi:
Byzantine Fault Tolerance for Agent Systems.
DepCoS-RELCOMEX 2006: 232-239 |
| 14 | EE | Velik Bellemin,
Tadashi Araragi:
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack.
DepCoS-RELCOMEX 2006: 240-247 |
| 13 | EE | Tadashi Araragi,
Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.
MoChArt 2006: 84-94 |
| 2005 |
|---|
| 12 | EE | Tadashi Araragi:
Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure.
AAMAS 2005: 123-124 |
| 11 | EE | Takamichi Sakai,
Kenji Terada,
Tadashi Araragi:
Robust Online Reputation Mechanism by Stochastic Approximation.
Adaptive Agents and Multi-Agent Systems 2005: 230-244 |
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | 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 |
| 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 |
