Yuichi Goto
Orcid: 0000-0003-2015-0340
According to our database1,
Yuichi Goto
authored at least 69 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the 12th International Congress on Advanced Applied Informatics, 2022
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022
2020
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020
2019
IEICE Trans. Inf. Syst., 2019
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2019
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness.
Proceedings of the Codes, Cryptology and Information Security, 2019
2018
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems.
Proceedings of the 2018 IEEE SmartWorld, 2018
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning.
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire.
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic.
Proceedings of the 2018 IEEE SmartWorld, 2018
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045.
Proceedings of the 2018 IEEE SmartWorld, 2018
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018
2017
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017
2015
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory.
Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015
Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient information.
Proceedings of the IECON 2015, 2015
Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraint.
Proceedings of the IECON 2015, 2015
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015
2014
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs.
IEICE Trans. Inf. Syst., 2014
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408.
Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2014
Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2014
2013
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory.
Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013
Development of a supporting tool for translation between declarative sentences and logical formulas.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2013
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013
Proceedings of the Ninth International Conference on Computational Intelligence and Security, 2013
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013
2012
Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
Practical usage of freeencal: An automated forward reasoning engine for general-purpose.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2012
2011
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2011
2009
Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009
ISEE: An Information Security Engineering Environment.
Proceedings of the SECRYPT 2009, 2009
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
Proceedings of the The Forth International Conference on Availability, 2009
Proceedings of the The Forth International Conference on Availability, 2009
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
Proceedings of the The Third International Conference on Availability, 2008
Proceedings of the The Third International Conference on Availability, 2008
2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
A replication oriented approach to event based middleware over structured peer to peer networks.
Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2007), held at the ACM/IFIP/USENIX 8th International Middleware Conference, November 26, 2007
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007
Proceedings of the Computational Science, 2007
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007
2006
Proceedings of the Workshop on Logic, Models and Computer Science, 2006
Proceedings of the 2006 International Conference on Semantics, 2006
A security specification verification technique based on the international standard ISO/IEC 15408.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006
2005
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005
2004
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004