| 2014 | SRDS | A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System. | Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa |
| 2011 | SSS | Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems. | Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa |
| 2010 | ACISP | Adaptive and Composable Non-committing Encryptions. | Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai |
| 2010 | SECRYPT | Adaptive and Composable Non-interactive String-commitment Protocols. | Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai |
| 2010 | SECRYPT | Universally Composable Non-committing Encryptions in the Presence of Adaptive Adversaries. | Huafei Zhu, Tadashi Araragi, Takashi Nishide, Kouichi Sakurai |
| 2009 | PDCAT | Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses. | Junya Nakamura, Tadashi Araragi, Shigeru Masuyama |
| 2006 | DEPCoS | Byzantine Fault Tolerance for Agent Systems. | Tadashi Araragi |
| 2006 | DEPCoS | CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack. | Velik Bellemin, Tadashi Araragi |
| 2005 | AAMAS | Robust Online Reputation Mechanism by Stochastic Approximation. | Takamichi Sakai, Kenji Terada, Tadashi Araragi |
| 2004 | FORTE | Modeling and Testing Agent Systems Based on Statecharts. | Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon |
| 1992 | SAS | Program Transformation in a Nonmonotonic Reasoning System. | Tadashi Araragi |
| 1992 | TABLEAUX | A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. | Tadashi Araragi |