Program Transformation in a Nonmonotonic Reasoning System. - Tadashi Araragi (WSA, 1992)

A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. - Tadashi Araragi (TABLEAUX, 1992)

Dynamic Downloading of Communications Protocols Using a Logic Based Agent System. - Tadashi Araragi; Kiyoshi Kogure (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

On Formal Modeling of Agent Computations. - Tadashi Araragi; Paul C. Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy A. Lynch; Ken Mano (FAABS, 2000)

A Verification Method for a Commitment Strategy of the BDI Architecture. - Tadashi Araragi; Shiro Takata; Naoyuki Nide (CLIMA, 2002)

Deduction Systems for BDI Logics with Mental State Consistency. - Naoyuki Nide; Shiro Takata; Tadashi Araragi (CLIMA, 2002)

Modeling and Testing Agent Systems Based on Statecharts. - Heui-Seok Seo; Tadashi Araragi; Yong Rae Kwon (FORTE Workshops, 2004)

Robust Online Reputation Mechanism by Stochastic Approximation. - Takamichi Sakai; Kenji Terada; Tadashi Araragi (Adaptive Agents and Multi-Agent Systems, 2005)

Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. - Tadashi Araragi (AAMAS, 2005)

Formulation of Mobile Agent Allocation and its Strong NP-Completeness. - Atsushi Sasaki; Tadashi Araragi; Shigeru Masuyama; Keizo Miyata (IEICE Trans. Inf. Syst., 2005)

Byzantine Fault Tolerance for Agent Systems. - Tadashi Araragi (DepCoS-RELCOMEX, 2006)

CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. - Velik Bellemin; Tadashi Araragi (DepCoS-RELCOMEX, 2006)

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. - Tadashi Araragi; Seung Mo Cho (MoChArt, 2006)

Automatic Verification of Simulatability in Security Protocols. - Tadashi Araragi; Olivier Pereira (IAS, 2008)

Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. - Junya Nakamura 001; Tadashi Araragi; Shigeru Masuyama (PDCAT, 2009)

Adaptive and Composable Non-committing Encryptions. - Huafei Zhu; Tadashi Araragi; Takashi Nishide; Kouichi Sakurai (ACISP, 2010)

Adaptive and Composable Non-interactive String-Commitment Protocols. - Huafei Zhu; Tadashi Araragi; Takashi Nishide; Kouichi Sakurai (ICETE (Selected Papers), 2010)

Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. - Huafei Zhu; Tadashi Araragi; Takashi Nishide; Kouichi Sakurai (ICETE (Selected Papers), 2010)

Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. - Yonghwan Kim 001; Tadashi Araragi; Junya Nakamura 001; Toshimitsu Masuzawa (SSS, 2011)

A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System. - Yonghwan Kim 001; Tadashi Araragi; Junya Nakamura 001; Toshimitsu Masuzawa (SRDS, 2014)

A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. - Yonghwan Kim 001; Tadashi Araragi; Junya Nakamura 001; Toshimitsu Masuzawa (IEICE Trans. Inf. Syst., 2014)

A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance. - Junya Nakamura 001; Tadashi Araragi; Toshimitsu Masuzawa; Shigeru Masuyama (IEICE Trans. Inf. Syst., 2014)

Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing. - Junya Nakamura 001; Tadashi Araragi; Shigeru Masuyama; Toshimitsu Masuzawa (IEICE Trans. Inf. Syst., 2014)

A Distributed and Cooperative NameNode Cluster for a Highly-Available Hadoop Distributed File System. - Yonghwan Kim 001; Tadashi Araragi; Junya Nakamura 001; Toshimitsu Masuzawa (IEICE Trans. Inf. Syst., 2015)