Tadashi Araragi

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