The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tadashi Araragi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Tadashi Araragi
    Byzantine Fault Tolerance for Agent Systems. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:232-239 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Tadashi Araragi
    Program Transformation in a Nonmonotonic Reasoning System. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:135-143 [Conf]
  11. Tadashi Araragi
    A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:4-6 [Conf]
  12. 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]
  13. 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]
  14. 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]

  15. Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. [Citation Graph (, )][DBLP]


  16. Automatic Verification of Simulatability in Security Protocols. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002