| 2025 | HAIS | Improvement of Multi-Label Self-Adjusting Memory kNN Classifier for Sparse and Class-Imbalanced Data Streams. | Thinzar Tun, Yuichi Goto |
| 2024 | ACIIDS | Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning. | Yuichi Goto, Yasuaki Taga |
| 2022 | ACIIDS | An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI. | Sameera Basit, Yuichi Goto |
| 2020 | ACIIDS | An Extension of Reciprocal Logics for Trust Reasoning. | Sameera Basit, Yuichi Goto |
| 2020 | ACIIDS | An Extension of Formal Analysis Method with Reasoning for Anonymity. | Yating Wang, Yuichi Goto |
| 2019 | PAKDD | A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. | Da Bao, Yuichi Goto, Jingde Cheng |
| 2018 | ACIIDS | A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. | Hiromu Hiidome, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. | Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic. | Yuichi Goto, Takuya Ito |
| 2018 | UIC | Primitive Constituent Elements of Cryptographic Protocols. | Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. | Yohei Kamata, Yuichi Goto |
| 2018 | UIC | FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. | Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | An Implementation of Theory Grid with Linked Data Technologies. | Tomoya Yamazaki, Atomu Sakuma, Yuichi Goto |
| 2018 | UIC | A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. | Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. | Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng |
| 2017 | ACIIDS | A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. | Yuichi Goto, Hongbiao Gao, Jingde Cheng |
| 2015 | ACIIDS | Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. | Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2015 | ACIIDS | A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. | Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2015 | IECON | Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraint. | Yuta Ikezawa, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto |
| 2015 | IECON | Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient information. | Hideki Yoshida, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto |
| 2013 | ACIIDS | Anticipatory Emergency Elevator Evacuation Systems. | Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng |
| 2013 | CIS | An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. | Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng |
| 2013 | COCOON | Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. | Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng |
| 2013 | ICMLC | Development of a supporting tool for translation between declarative sentences and logical formulas. | Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng |
| 2012 | ICMLC | Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. | Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng |
| 2012 | ICMLC | Practical usage of freeencal: An automated forward reasoning engine for general-purpose. | Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng |
| 2012 | ICMLC | Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. | Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng |
| 2011 | ICMLC | Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. | Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng |
| 2009 | HAIS | Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
| 2009 | ISPA | Development of ISEE: An Information Security Engineering Environment. | Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal |
| 2009 | SECRYPT | ISEE: An Information Security Engineering Environment. | Jingde Cheng, Yuichi Goto, Daisuke Horie |
| 2008 | KES | A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. | Yuichi Goto, Takahiro Koh, Jingde Cheng |
| 2008 | KES | A Fast Duplication Checking Algorithm for Forward Reasoning Engines. | Takahiro Koh, Yuichi Goto, Jingde Cheng |
| 2008 | SOFSEM | Classification, Formalization and Verification of Security Functional Requirements. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2007 | APSCC | ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. | Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri |
| 2007 | ICCS | EPLAS: An Epistemic Programming Language for All Scientists. | Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng |
| 2007 | KES | A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh |
| 2007 | KES | FreeEnCal: A Forward Reasoning Engine with General-Purpose. | Jingde Cheng, Shinsuke Nara, Yuichi Goto |
| 2007 | Middleware | A replication oriented approach to event based middleware over structured peer to peer networks. | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng |
| 2007 | SAC | POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. | K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng |
| 2007 | SAC | Formal verification of security specifications with common criteria. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2006 | ASPDAC | A new test and characterization scheme for 10+ GHz low jitter wide band PLL. | Kazuhiko Miki, David Boerstler, Eskinder Hailu, Jieming Qi, Sarah Pettengill, Yuichi Goto |
| 2006 | SAC | A quantitative analysis of implicational paradoxes in classical mathematical logic. | Yuichi Goto, Jingde Cheng |
| 2006 | SAC | A security specification verification technique based on the international standard ISO/IEC 15408. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2005 | EUC | Security in Persistently Reactive Systems. | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |
| 2005 | KES | A General-Purpose Forward Deduction Engine for Modal Logics. | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng |
| 2004 | ER | Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. | Jingde Cheng, Yuichi Goto |