default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTadashi Araragi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[j5]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. 98-D(4): 835-851 (2015)- 2014
- [j4]Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama:
A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance. IEICE Trans. Inf. Syst. 97-D(1): 53-64 (2014) - [j3]Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa:
A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. IEICE Trans. Inf. Syst. 97-D(1): 65-76 (2014) - [j2]Junya Nakamura, Tadashi Araragi, Shigeru Masuyama, Toshimitsu Masuzawa:
Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing. IEICE Trans. Inf. Syst. 97-D(2): 231-244 (2014) - [c21]Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa:
A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System. SRDS 2014: 333-334 - 2011
- [c20]Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa:
Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. SSS 2011: 445-446 - 2010
- [c19]Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai:
Adaptive and Composable Non-committing Encryptions. ACISP 2010: 135-144 - [c18]Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai:
Adaptive and Composable Non-interactive String-Commitment Protocols. ICETE (Selected Papers) 2010: 233-242 - [c17]Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai:
Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. ICETE (Selected Papers) 2010: 274-288 - [c16]Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai:
Adaptive and Composable Non-interactive String-commitment Protocols. SECRYPT 2010: 354-361 - [c15]Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai:
Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. SECRYPT 2010: 389-398
2000 – 2009
- 2009
- [c14]Junya Nakamura, Tadashi Araragi, Shigeru Masuyama:
Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. PDCAT 2009: 80-87 - 2008
- [c13]Tadashi Araragi, Olivier Pereira:
Automatic Verification of Simulatability in Security Protocols. IAS 2008: 275-280 - 2006
- [c12]Tadashi Araragi:
Byzantine Fault Tolerance for Agent Systems. DepCoS-RELCOMEX 2006: 232-239 - [c11]Velik Bellemin, Tadashi Araragi:
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. DepCoS-RELCOMEX 2006: 240-247 - [c10]Tadashi Araragi, Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. MoChArt 2006: 84-94 - 2005
- [j1]Atsushi Sasaki, Tadashi Araragi, Shigeru Masuyama, Keizo Miyata:
Formulation of Mobile Agent Allocation and its Strong NP-Completeness. IEICE Trans. Inf. Syst. 88-D(5): 1060-1063 (2005) - [c9]Takamichi Sakai, Kenji Terada, Tadashi Araragi:
Robust Online Reputation Mechanism by Stochastic Approximation. Adaptive Agents and Multi-Agent Systems 2005: 230-244 - [c8]Tadashi Araragi:
Fault tolerance for internet agent systems: in cases of stop failure and byzantine failure. AAMAS 2005: 123-124 - 2004
- [c7]Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon:
Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops 2004: 308-321 - 2002
- [c6]Tadashi Araragi, Shiro Takata, Naoyuki Nide:
A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA 2002: 126-139 - [c5]Naoyuki Nide, Shiro Takata, Tadashi Araragi:
Deduction Systems for BDI Logics with Mental State Consistency. CLIMA 2002: 140-152 - 2000
- [c4]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: 27-34 - [c3]Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano:
On Formal Modeling of Agent Computations. FAABS 2000: 48-62
1990 – 1999
- 1992
- [c2]Tadashi Araragi:
Program Transformation in a Nonmonotonic Reasoning System. WSA 1992: 135-143 - [c1]Tadashi Araragi:
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. TABLEAUX 1992: 4-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
