Yuichi Goto

73 papers A 1B 5C 6Misc 12Journal 4Unranked 44
YearRankTypeTitle / Venue / Authors
2025 — conf
Improvement of Multi-Label Self-Adjusting Memory kNN Classifier for Sparse and Class-Imbalanced Data Streams.
HAIS (1)
Thinzar Tun, Yuichi Goto
2024 — conf
Improvement of Multi-label kNN Classifier with Self-adjusting Memory Using a Punitive Model for Drifting Data Streams.
MIWAI (2)
Thizar Tun, Yuichi Goto
2024 — conf
Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning.
ACIIDS (Companion 1)
Yuichi Goto, Yasuaki Taga
2022 — conf
An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI.
ACIIDS (1)
Sameera Basit, Yuichi Goto
2022 — conf
What content of user reviews is considered "helpful"?
IIAI-AAI
Yuichi Goto, Rikiya Tsuchihashi
2020 — conf
An Extension of Formal Analysis Method with Reasoning for Anonymity.
ACIIDS (2)
Yating Wang, Yuichi Goto
2020 — conf
An Extension of Reciprocal Logics for Trust Reasoning.
ACIIDS (2)
Sameera Basit, Yuichi Goto
2019 — conf
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
PAKDD (Workshops)
Da Bao, Yuichi Goto, Jingde Cheng
2019 — conf
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness.
C2SI
Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
2019 J jnl
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.
IEICE Trans. Inf. Syst.
Yuan Zhou, Yuichi Goto, Jingde Cheng
2018 — conf
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines.
ACIIDS (1)
Hiromu Hiidome, Yuichi Goto, Jingde Cheng
2018 — conf
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
2018 — conf
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Yuichi Goto, Takuya Ito
2018 — conf
An Implementation of Theory Grid with Linked Data Technologies.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Tomoya Yamazaki, Atomu Sakuma, Yuichi Goto
2018 — conf
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng
2018 — conf
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng
2018 — conf
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
2018 — conf
Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Yohei Kamata, Yuichi Goto
2018 — conf
Primitive Constituent Elements of Cryptographic Protocols.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng
2017 — conf
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.
ACIIDS (2)
Yuichi Goto, Hongbiao Gao, Jingde Cheng
2015 — conf
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.
ACIIDS (1)
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015 — conf
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory.
IScIDE (2)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015 C conf
Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraint.
IECON
Yuta Ikezawa, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto
2015 — conf
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.
ACIIDS (1)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015 C conf
Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient information.
IECON
Hideki Yoshida, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto
2014 J jnl
A systematic methodology for automated theorem finding.
Theor. Comput. Sci.
Hongbiao Gao, Yuichi Goto, Jingde Cheng
2014 — conf
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408.
PAISI
Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng
2014 J jnl
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs.
IEICE Trans. Inf. Syst.
Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
2014 — conf
User Management in Information Security Engineering Environment ISEE.
PAISI
Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng
2013 C conf
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408.
CIS
Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
2013 — conf
Anticipatory Emergency Elevator Evacuation Systems.
ACIIDS (1)
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
2013 J jnl
Anticipatory Runway Incursion Prevention Systems.
IEICE Trans. Inf. Syst.
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
2013 — conf
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory.
SKG
Hongbiao Gao, Yuichi Goto, Jingde Cheng
2013 Misc conf
Development of a supporting tool for translation between declarative sentences and logical formulas.
ICMLC
Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
2013 Misc conf
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.
COCOON
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
2012 — conf
A Truth Maintenance System for Epistemic Programming Environment.
SKG
Yuichi Goto, Jingde Cheng
2012 Misc conf
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory.
ICMLC
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
2012 Misc conf
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol.
ICMLC
Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
2012 Misc conf
Practical usage of freeencal: An automated forward reasoning engine for general-purpose.
ICMLC
Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng
2011 Misc conf
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists.
ICMLC
Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng
2009 — conf
A Database System for Effective Utilization of ISO/IEC 27002.
FCST
Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng
2009 — conf
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems.
ACIS-ICIS
Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng
2009 B conf
An Improvement of REM: A Replication Oriented Event-Based Middleware.
ARES
Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2009 C conf
Development of ISEE: An Information Security Engineering Environment.
ISPA
Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal
2009 Misc conf
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.
HAIS
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
2009 B conf
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
ARES
Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
2009 — ch.
GEST: A Generator of ISO/IEC 15408 Security Target Templates.
Computer and Information Science
Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng
2009 C conf
ISEE: An Information Security Engineering Environment.
SECRYPT
Jingde Cheng, Yuichi Goto, Daisuke Horie
2009 — conf
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire.
FCST
Yuichi Goto, Jingde Cheng
2008 — conf
A Fast Duplication Checking Algorithm for Forward Reasoning Engines.
KES (2)
Takahiro Koh, Yuichi Goto, Jingde Cheng
2008 — conf
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
KES (2)
Yuichi Goto, Takahiro Koh, Jingde Cheng
2008 B conf
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2008 — conf
Ensuring Reliability and Availability of Soft System Bus.
SSIRI
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2008 B conf
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems.
ARES
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
2008 B conf
ISEDS: An Information Security Engineering Database System Based on ISO Standards.
ARES
Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng
2007 — conf
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.
KES (2)
Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
2007 — conf
A replication oriented approach to event based middleware over structured peer to peer networks.
MPAC
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2007 — conf
Distributed hash table based design of Soft System Buses.
Infoscale
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
2007 C conf
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire.
APSCC
Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri
2007 Misc conf
EPLAS: An Epistemic Programming Language for All Scientists.
International Conference on Computational Science (1)
Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng
2007 Misc conf
Formal verification of security specifications with common criteria.
SAC
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2007 — conf
FreeEnCal: A Forward Reasoning Engine with General-Purpose.
KES (2)
Jingde Cheng, Shinsuke Nara, Yuichi Goto
2007 A conf
Measuring Reactability of Persistent Computing Systems.
SC
Takumi Endo, Yuichi Goto, Jingde Cheng
2007 Misc conf
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism.
SAC
K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng
2006 — conf
A Comparative Study Between Soft System Bus and Traditional Middlewares.
OTM Workshops (2)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
2006 — conf
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic.
LMCS
Yuichi Goto, Jingde Cheng
2006 — conf
A new test and characterization scheme for 10+ GHz low jitter wide band PLL.
ASP-DAC
Kazuhiko Miki, David Boerstler, Eskinder Hailu, Jieming Qi, Sarah Pettengill, Yuichi Goto
2006 Misc conf
A quantitative analysis of implicational paradoxes in classical mathematical logic.
SAC
Yuichi Goto, Jingde Cheng
2006 Misc conf
A security specification verification technique based on the international standard ISO/IEC 15408.
SAC
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2006 — conf
The Theory Grid and Grid Theorists.
SKG
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
2005 — conf
A General-Purpose Forward Deduction Engine for Modal Logics.
KES (2)
Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng
2005 — conf
Security in Persistently Reactive Systems.
EUC Workshops
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng
2004 — conf
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic.
ER (Workshops)
Jingde Cheng, Yuichi Goto