Search the dblp DataBase
Tadashi Araragi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Takamichi Sakai , Kenji Terada , Tadashi Araragi Robust Online Reputation Mechanism by Stochastic Approximation. [Citation Graph (0, 0)][DBLP ] Adaptive Agents and Multi-Agent Systems, 2005, pp:230-244 [Conf ] Tadashi Araragi Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:123-124 [Conf ] Tadashi Araragi , Kiyoshi Kogure Dynamic Downloading of Communications Protocols Using a Logic Based Agent System. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:27-34 [Conf ] Tadashi Araragi , Shiro Takata , Naoyuki Nide A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:109-122 [Conf ] Naoyuki Nide , Shiro Takata , Tadashi Araragi Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP ] CLIMA III, 2002, pp:123-135 [Conf ] Tadashi Araragi Byzantine Fault Tolerance for Agent Systems. [Citation Graph (0, 0)][DBLP ] DepCoS-RELCOMEX, 2006, pp:232-239 [Conf ] Velik Bellemin , Tadashi Araragi CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. [Citation Graph (0, 0)][DBLP ] DepCoS-RELCOMEX, 2006, pp:240-247 [Conf ] Tadashi Araragi , Paul C. Attie , Idit Keidar , Kiyoshi Kogure , Victor Luchangco , Nancy A. Lynch , Ken Mano On Formal Modeling of Agent Computations. [Citation Graph (0, 0)][DBLP ] FAABS, 2000, pp:48-62 [Conf ] Heui-Seok Seo , Tadashi Araragi , Yong Rae Kwon Modeling and Testing Agent Systems Based on Statecharts. [Citation Graph (0, 0)][DBLP ] FORTE Workshops, 2004, pp:308-321 [Conf ] Tadashi Araragi Program Transformation in a Nonmonotonic Reasoning System. [Citation Graph (0, 0)][DBLP ] WSA, 1992, pp:135-143 [Conf ] Tadashi Araragi A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1992, pp:4-6 [Conf ] Tadashi Araragi , Shiro Takata , Naoyuki Nide A Verification Method for a Commitment Strategy of the BDI Architecture. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] Naoyuki Nide , Shiro Takata , Tadashi Araragi Deduction Systems for BDI Logics with Mental State Consistency. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] Tadashi Araragi , Seung Mo Cho Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] MoChArt, 2006, pp:84-94 [Conf ] Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. [Citation Graph (, )][DBLP ] Automatic Verification of Simulatability in Security Protocols. [Citation Graph (, )][DBLP ] Search in 0.054secs, Finished in 0.055secs