Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. - Jingde Cheng; Yuichi Goto (ER (Workshops), 2004)

Security in Persistently Reactive Systems. - Takumi Endo; Junichi Miura; Koichi Nanashima; Shoichi Morimoto; Yuichi Goto; Jingde Cheng (EUC Workshops, 2005)

A General-Purpose Forward Deduction Engine for Modal Logics. - Shinsuke Nara; Takashi Omi; Yuichi Goto; Jingde Cheng (KES (2), 2005)

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 (ASP-DAC, 2006)

A Comparative Study Between Soft System Bus and Traditional Middlewares. - Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng (OTM Workshops (2), 2006)

A security specification verification technique based on the international standard ISO/IEC 15408. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2006)

The Theory Grid and Grid Theorists. - Jingde Cheng; Shinsuke Nara; Takahiro Koh; Yuichi Goto (SKG, 2006)

A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. - Yuichi Goto; Jingde Cheng (LMCS, 2006)

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 (APSCC, 2007)

EPLAS: An Epistemic Programming Language for All Scientists. - Isao Takahashi; Shinsuke Nara; Yuichi Goto; Jingde Cheng (International Conference on Computational Science (1), 2007)

Distributed hash table based design of Soft System Buses. - Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng (Infoscale, 2007)

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. - Jingde Cheng; Yuichi Goto; Shinsuke Nara; Takahiro Koh (KES (2), 2007)

FreeEnCal: A Forward Reasoning Engine with General-Purpose. - Jingde Cheng; Shinsuke Nara; Yuichi Goto (KES (2), 2007)

A replication oriented approach to event based middleware over structured peer to peer networks. - Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (MPAC, 2007)

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 (SAC, 2007)

Formal verification of security specifications with common criteria. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2007)

Measuring Reactability of Persistent Computing Systems. - Takumi Endo; Yuichi Goto; Jingde Cheng (SC@ETAPS, 2007)

ISEDS: An Information Security Engineering Database System Based on ISO Standards. - Daisuke Horie; Shoichi Morimoto; Noor Azimah; Yuichi Goto; Jingde Cheng (ARES, 2008)

Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. - Natsumi Kitajima; Yuichi Goto; Jingde Cheng (ARES, 2008)

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. - Yuichi Goto; Takahiro Koh; Jingde Cheng (KES (2), 2008)

A Fast Duplication Checking Algorithm for Forward Reasoning Engines. - Takahiro Koh; Yuichi Goto; Jingde Cheng (KES (2), 2008)

Classification, Formalization and Verification of Security Functional Requirements. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SOFSEM, 2008)

Ensuring Reliability and Availability of Soft System Bus. - Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (SSIRI, 2008)

A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. - Daisuke Horie; Toshio Kasahara; Yuichi Goto; Jingde Cheng (ACIS-ICIS, 2009)

An Improvement of REM: A Replication Oriented Event-Based Middleware. - Youcheng Chen; Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (ARES, 2009)

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. - Kenichi Yajima; Shoichi Morimoto; Daisuke Horie; Noor Sheila Azreen; Yuichi Goto; Jingde Cheng (ARES, 2009)

Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. - Yuichi Goto; Jingde Cheng (FCST, 2009)

A Database System for Effective Utilization of ISO/IEC 27002. - Ahmad Iqbal; Daisuke Horie; Yuichi Goto; Jingde Cheng (FCST, 2009)

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. - Natsumi Kitajima; Yuichi Goto; Jingde Cheng (HAIS, 2009)

Development of ISEE: An Information Security Engineering Environment. - Jingde Cheng; Yuichi Goto; Daisuke Horie; Junichi Miura; Toshio Kasahara; Ahmad Iqbal (ISPA, 2009)

ISEE: An Information Security Engineering Environment. - Jingde Cheng; Yuichi Goto; Daisuke Horie (SECRYPT, 2009)

GEST: A Generator of ISO/IEC 15408 Security Target Templates. - Daisuke Horie; Kenichi Yajima; Noor Azimah; Yuichi Goto; Jingde Cheng (Computer and Information Science, 2009)

Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. - Wencheng Fang; Isao Takahashi; Yuichi Goto; Jingde Cheng (ICMLC, 2011)

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 (ICMLC, 2012)

Practical usage of freeencal: An automated forward reasoning engine for general-purpose. - Yuichi Goto; Hongbiao Gao; Takahiro Tsuji; Jingde Cheng (ICMLC, 2012)

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 (ICMLC, 2012)

A Truth Maintenance System for Epistemic Programming Environment. - Yuichi Goto; Jingde Cheng (SKG, 2012)

Anticipatory Emergency Elevator Evacuation Systems. - Kai Shi; Yuichi Goto; Zhiliang Zhu 001; Jingde Cheng (ACIIDS (1), 2013)

An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. - Ning Zhang; Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng (CIS, 2013)

Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. - Hongbiao Gao; Kai Shi; Yuichi Goto; Jingde Cheng (COCOON, 2013)

Development of a supporting tool for translation between declarative sentences and logical formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng (ICMLC, 2013)

Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (SKG, 2013)

Anticipatory Runway Incursion Prevention Systems. - Kai Shi; Yuichi Goto; Zhiliang Zhu 001; Jingde Cheng (IEICE Trans. Inf. Syst., 2013)

User Management in Information Security Engineering Environment ISEE. - Yuichi Goto; Liqing Xu; Ning Zhang; Jingde Cheng (PAISI, 2014)

Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. - Liqing Xu; Yuichi Goto; Ahmad Iqbal Hakim Suhaimi; Ning Zhang; Jingde Cheng (PAISI, 2014)

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. - Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng (IEICE Trans. Inf. Syst., 2014)

A systematic methodology for automated theorem finding. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (Theor. Comput. Sci., 2014)

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

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 (IECON, 2015)

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 (IECON, 2015)

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (IScIDE (2), 2015)

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. - Yuichi Goto; Hongbiao Gao; Jingde Cheng (ACIIDS (2), 2017)

A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. - Hiromu Hiidome; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2018)

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 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic. - Yuichi Goto; Takuya Ito (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Primitive Constituent Elements of Cryptographic Protocols. - Sho Ishibashi; Jingchen Yan; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. - Yohei Kamata; Yuichi Goto (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. - Takumi Otsuka; Kentaro Fukushi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An Implementation of Theory Grid with Linked Data Technologies. - Tomoya Yamazaki; Atomu Sakuma; Yuichi Goto (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. - Jingchen Yan; Sho Ishibashi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. - Yuan Zhou 026; Daisuke Matsuura; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. - Jingchen Yan; Yating Wang; Yuichi Goto; Jingde Cheng (C2SI, 2019)

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. - Da Bao; Yuichi Goto; Jingde Cheng (PAKDD (Workshops), 2019)

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. - Yuan Zhou 026; Yuichi Goto; Jingde Cheng (IEICE Trans. Inf. Syst., 2019)

An Extension of Reciprocal Logics for Trust Reasoning. - Sameera Basit; Yuichi Goto (ACIIDS (2), 2020)

An Extension of Formal Analysis Method with Reasoning for Anonymity. - Yating Wang; Yuichi Goto (ACIIDS (2), 2020)

An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI. - Sameera Basit; Yuichi Goto (ACIIDS (1), 2022)

What content of user reviews is considered "helpful"? - Yuichi Goto; Rikiya Tsuchihashi (IIAI-AAI, 2022)

Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning. - Yuichi Goto; Yasuaki Taga (ACIIDS (Companion 1), 2024)

Improvement of Multi-label kNN Classifier with Self-adjusting Memory Using a Punitive Model for Drifting Data Streams. - Thizar Tun; Yuichi Goto (MIWAI (2), 2024)