Tadashi Araragi

According to our database, Tadashi Araragi authored at least 24 papers between 1992 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

A Distributed and Cooperative NameNode Cluster for a Highly-Available Hadoop Distributed File System.

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

IEICE Trans. Inf. Syst., 2015

2014

Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing.

Junya Nakamura, Tadashi Araragi, Shigeru Masuyama, Toshimitsu Masuzawa

IEICE Trans. Inf. Syst., 2014

A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance.

Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama

IEICE Trans. Inf. Syst., 2014

A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems.

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

IEICE Trans. Inf. Syst., 2014

A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System.

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2011

Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems.

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

2010

Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries.

Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai

Proceedings of the SECRYPT 2010, 2010

Adaptive and Composable Non-interactive String-commitment Protocols.

Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai

Proceedings of the SECRYPT 2010, 2010

Adaptive and Composable Non-committing Encryptions.

Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

2009

Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses.

Junya Nakamura, Tadashi Araragi, Shigeru Masuyama

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

2008

Automatic Verification of Simulatability in Security Protocols.

Tadashi Araragi, Olivier Pereira

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

2006

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.

Tadashi Araragi, Seung Mo Cho

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack.

Velik Bellemin, Tadashi Araragi

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

Byzantine Fault Tolerance for Agent Systems.

Tadashi Araragi

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

Formulation of Mobile Agent Allocation and its Strong NP-Completeness.

Atsushi Sasaki, Tadashi Araragi, Shigeru Masuyama, Keizo Miyata

IEICE Trans. Inf. Syst., 2005

Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure.

Tadashi Araragi

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Robust Online Reputation Mechanism by Stochastic Approximation.

Takamichi Sakai, Kenji Terada, Tadashi Araragi

Proceedings of the Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning, 2005

2004

Modeling and Testing Agent Systems Based on Statecharts.

Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2002

Deduction Systems for BDI Logics with Mental State Consistency.

Naoyuki Nide, Shiro Takata, Tadashi Araragi

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

A Verification Method for a Commitment Strategy of the BDI Architecture.

Tadashi Araragi, Shiro Takata, Naoyuki Nide

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

2000

On Formal Modeling of Agent Computations.

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Dynamic Downloading of Communications Protocols Using a Logic Based Agent System.

Tadashi Araragi, Kiyoshi Kogure

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1992

A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems.

Tadashi Araragi

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Program Transformation in a Nonmonotonic Reasoning System.

Tadashi Araragi

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992