default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuichi Goto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c65]Sameera Basit
, Yuichi Goto:
An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI. ACIIDS (1) 2022: 496-506- [c64]Yuichi Goto, Rikiya Tsuchihashi:
What content of user reviews is considered "helpful"? IIAI-AAI 2022: 490-494 - 2020
- [c63]Yating Wang, Yuichi Goto:
An Extension of Formal Analysis Method with Reasoning for Anonymity. ACIIDS (2) 2020: 53-64 - [c62]Sameera Basit, Yuichi Goto:
An Extension of Reciprocal Logics for Trust Reasoning. ACIIDS (2) 2020: 65-75
2010 – 2019
- 2019
- [j4]Yuan Zhou, Yuichi Goto, Jingde Cheng:
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. 102-D(11): 2159-2175 (2019) - [c61]Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng:
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI 2019: 399-408 - [c60]Da Bao, Yuichi Goto, Jingde Cheng:
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) 2019: 3-14 - 2018
- [c59]Hiromu Hiidome, Yuichi Goto, Jingde Cheng:
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) 2018: 59-70 - [c58]Yohei Kamata, Yuichi Goto:
Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 174-179 - [c57]Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng:
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 180-185 - [c56]Tomoya Yamazaki, Atomu Sakuma, Yuichi Goto:
An Implementation of Theory Grid with Linked Data Technologies. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 186-191 - [c55]Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng:
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 192-197 - [c54]Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng:
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 2018: 198-203 - [c53]Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng:
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 2018: 204-209 - [c52]Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng:
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 210-215 - [c51]Yuichi Goto, Takuya Ito:
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 222-227 - 2017
- [c50]Yuichi Goto, Hongbiao Gao, Jingde Cheng:
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) 2017: 125-134 - 2015
- [c49]Hongbiao Gao, Yuichi Goto, Jingde Cheng:
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) 2015: 593-602 - [c48]Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng:
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) 2015: 634-643 - [c47]Yuta Ikezawa, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto:
Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraint. IECON 2015: 4609-4614 - [c46]Hideki Yoshida, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto:
Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient information. IECON 2015: 4754-4759 - [c45]Hongbiao Gao, Yuichi Goto, Jingde Cheng:
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) 2015: 508-517 - 2014
- [j3]Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng:
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. 97-D(6): 1516-1527 (2014) - [j2]Hongbiao Gao, Yuichi Goto, Jingde Cheng:
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554: 2-21 (2014) - [c44]Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng:
User Management in Information Security Engineering Environment ISEE. PAISI 2014: 18-34 - [c43]Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng:
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI 2014: 35-48 - 2013
- [j1]Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. 96-D(11): 2385-2396 (2013) - [c42]Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng:
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) 2013: 117-126 - [c41]Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng:
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS 2013: 601-606 - [c40]Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng:
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON 2013: 697-704 - [c39]Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng:
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC 2013: 1179-1184 - [c38]Hongbiao Gao, Yuichi Goto, Jingde Cheng:
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG 2013: 22-29 - 2012
- [c37]Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng:
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC 2012: 1859-1865 - [c36]Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng:
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC 2012: 1866-1871 - [c35]Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng:
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC 2012: 1878-1883 - [c34]Yuichi Goto, Jingde Cheng:
A Truth Maintenance System for Epistemic Programming Environment. SKG 2012: 1-8 - 2011
- [c33]Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng:
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC 2011: 608-616
2000 – 2009
- 2009
- [c32]Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng:
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. ACIS-ICIS 2009: 897-902 - [c31]Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng:
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES 2009: 624-629 - [c30]Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng:
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646 - [c29]Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng:
A Database System for Effective Utilization of ISO/IEC 27002. FCST 2009: 607-612 - [c28]Yuichi Goto, Jingde Cheng:
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST 2009: 619-624 - [c27]Natsumi Kitajima, Yuichi Goto, Jingde Cheng:
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. HAIS 2009: 68-76 - [c26]Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal:
Development of ISEE: An Information Security Engineering Environment. ISPA 2009: 505-510 - [c25]Jingde Cheng, Yuichi Goto, Daisuke Horie:
ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400 - [p1]Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng:
GEST: A Generator of ISO/IEC 15408 Security Target Templates. Computer and Information Science 2009: 149-158 - 2008
- [c24]Natsumi Kitajima, Yuichi Goto, Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178 - [c23]Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng:
ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES 2008: 1219-1225 - [c22]Takahiro Koh, Yuichi Goto, Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507 - [c21]Yuichi Goto, Takahiro Koh, Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535 - [c20]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633 - [c19]Mohammad Reza Selim, Yuichi Goto, Jingde Cheng:
Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59 - 2007
- [c18]Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri:
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. APSCC 2007: 187-195 - [c17]Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng:
EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) 2007: 406-413 - [c16]Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
Distributed hash table based design of Soft System Buses. Infoscale 2007: 78 - [c15]Jingde Cheng, Shinsuke Nara, Yuichi Goto:
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452 - [c14]Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh:
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) 2007: 840-851 - [c13]Mohammad Reza Selim, Yuichi Goto, Jingde Cheng:
A replication oriented approach to event based middleware over structured peer to peer networks. MPAC 2007: 61-66 - [c12]K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng:
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC 2007: 270-275 - [c11]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Formal verification of security specifications with common criteria. SAC 2007: 1506-1512 - [c10]Takumi Endo, Yuichi Goto, Jingde Cheng:
Measuring Reactability of Persistent Computing Systems. SC@ETAPS 2007: 144-151 - 2006
- [c9]Kazuhiko Miki, David Boerstler, Eskinder Hailu, Jieming Qi, Sarah Pettengill, Yuichi Goto:
A new test and characterization scheme for 10+ GHz low jitter wide band PLL. ASP-DAC 2006: 856-859 - [c8]Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) 2006: 1264-1273 - [c7]Yuichi Goto, Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43 - [c6]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
A security specification verification technique based on the international standard ISO/IEC 15408. SAC 2006: 1802-1803 - [c5]Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto:
The Theory Grid and Grid Theorists. SKG 2006: 32 - [c4]Yuichi Goto, Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. LMCS 2006: 87-97 - 2005
- [c3]Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng:
Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883 - [c2]Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 - 2004
- [c1]Jingde Cheng, Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126
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-10-07 21:22 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:
