Tadashi Araragi

Publication Activity (10 Years)

Years Active: 1992-2015
Publications (10 Years): 0

Top Topics

Distributed Systems

Fault Tolerance

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
A Distributed and Cooperative NameNode Cluster for a Highly-Available Hadoop Distributed File System. IEICE Trans. Inf. Syst. (4) (2015)
Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama
A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance. IEICE Trans. Inf. Syst. (1) (2014)
Junya Nakamura, Tadashi Araragi, Shigeru Masuyama, Toshimitsu Masuzawa
Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing. IEICE Trans. Inf. Syst. (2) (2014)
Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System. SRDS (2014)
Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. IEICE Trans. Inf. Syst. (1) (2014)
Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. SSS (2011)
Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai
Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. SECRYPT (2010)
Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai
Adaptive and Composable Non-committing Encryptions. ACISP (2010)
Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai
Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. ICETE (Selected Papers) (2010)
Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai
Adaptive and Composable Non-interactive String-Commitment Protocols. ICETE (Selected Papers) (2010)
Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai
Adaptive and Composable Non-interactive String-commitment Protocols. SECRYPT (2010)
Junya Nakamura, Tadashi Araragi, Shigeru Masuyama
Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. PDCAT (2009)
Tadashi Araragi, Olivier Pereira
Automatic Verification of Simulatability in Security Protocols. IAS (2008)
Tadashi Araragi
Byzantine Fault Tolerance for Agent Systems. DepCoS-RELCOMEX (2006)
Tadashi Araragi, Seung Mo Cho
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. MoChArt (2006)
Velik Bellemin, Tadashi Araragi
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. DepCoS-RELCOMEX (2006)
Atsushi Sasaki, Tadashi Araragi, Shigeru Masuyama, Keizo Miyata
Formulation of Mobile Agent Allocation and its Strong NP-Completeness. IEICE Trans. Inf. Syst. (5) (2005)
Takamichi Sakai, Kenji Terada, Tadashi Araragi
Robust Online Reputation Mechanism by Stochastic Approximation. Adaptive Agents and Multi-Agent Systems (2005)
Tadashi Araragi
Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. AAMAS (2005)
Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon
Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops (2004)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
On Formal Modeling of Agent Computations. FAABS (2000)
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)
Tadashi Araragi
Program Transformation in a Nonmonotonic Reasoning System. WSA (1992)
Tadashi Araragi
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. TABLEAUX (1992)