Yuichi Goto - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 70 from 70

2022

An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKISameera Basit, Yuichi Goto. aciids 2022: 496-506 [doi]

What content of user reviews is considered "helpful"?Yuichi Goto, Rikiya Tsuchihashi. iiaiaai 2022: 490-494 [doi]

2020

An Extension of Reciprocal Logics for Trust ReasoningSameera Basit, Yuichi Goto. aciids 2020: 65-75 [doi]

An Extension of Formal Analysis Method with Reasoning for AnonymityYating Wang, Yuichi Goto. aciids 2020: 53-64 [doi]

2019

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045Da Bao, Yuichi Goto, Jingde Cheng. pakdd 2019: 3-14 [doi]

An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and FairnessJingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng. c2si 2019: 399-408 [doi]

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting SystemsYuan Zhou, Yuichi Goto, Jingde Cheng. ieicet, 102-D(11):2159-2175, 2019. [doi]

2018

Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng. uic 2018: 204-209 [doi]

An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default LogicYuichi Goto, Takuya Ito. uic 2018: 222-227 [doi]

A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning EnginesHiromu Hiidome, Yuichi Goto, Jingde Cheng. aciids 2018: 59-70 [doi]

Primitive Constituent Elements of Cryptographic ProtocolsSho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng. uic 2018: 192-197 [doi]

Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous QuestionnaireYohei Kamata, Yuichi Goto. uic 2018: 174-179 [doi]

FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-PurposeTakumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng. uic 2018: 180-185 [doi]

An Implementation of Theory Grid with Linked Data TechnologiesTomoya Yamazaki, Atomu Sakuma, Yuichi Goto. uic 2018: 186-191 [doi]

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with ReasoningJingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng. uic 2018: 210-215 [doi]

Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting SystemsYuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng. uic 2018: 198-203 [doi]

2017

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward ReasoningYuichi Goto, Hongbiao Gao, Jingde Cheng. aciids 2017: 125-134 [doi]

2015

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set TheoryHongbiao Gao, Yuichi Goto, Jingde Cheng. aciids 2015: 593-602 [doi]

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set TheoryHongbiao Gao, Yuichi Goto, Jingde Cheng. iscide 2015: 508-517 [doi]

Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraintYuta Ikezawa, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto. iecon 2015: 4609-4614 [doi]

A Bidirectional Transformation Supporting Tool for Formalization with Logical FormulasShunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng. aciids 2015: 634-643 [doi]

Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient informationHideki Yoshida, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto. iecon 2015: 4754-4759 [doi]

2014

2013

Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set TheoryHongbiao Gao, Yuichi Goto, Jingde Cheng. skg 2013: 22-29 [doi]

Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant LogicHongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng. cocoon 2013: 697-704 [doi]

Development of a supporting tool for translation between declarative sentences and logical formulasShunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng. icmlc 2013: 1179-1184 [doi]

Anticipatory Runway Incursion Prevention SystemsKai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng. ieicet, 96-D(11):2385-2396, 2013. [doi]

Anticipatory Emergency Elevator Evacuation SystemsKai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng. aciids 2013: 117-126 [doi]

An Analysis of Software Supportable Tasks Related with ISO/IEC 15408Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng. ifip8-3 2013: 601-606 [doi]

2012

2011

Practical implementation of EPLAS: An Epistemic Programming Language for all scientistsWencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng. icmlc 2011: 608-616 [doi]

2009

An Improvement of REM: A Replication Oriented Event-Based MiddlewareYoucheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng. IEEEares 2009: 641-646 [doi]

ISEE: An Information Security Engineering EnvironmentJingde Cheng, Yuichi Goto, Daisuke Horie. secrypt 2009: 395-400

Development of ISEE: An Information Security Engineering EnvironmentJingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal. ispa 2009: 505-510 [doi]

Information Assurance, Privacy, and Security in Ubiquitous QuestionnaireYuichi Goto, Jingde Cheng. fcst 2009: 619-624 [doi]

A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information SystemsDaisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng. ACISicis 2009: 897-902 [doi]

GEST: A Generator of ISO/IEC 15408 Security Target TemplatesDaisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 149-158, Springer, 2009. [doi]

A Database System for Effective Utilization of ISO/IEC 27002Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng. fcst 2009: 607-612 [doi]

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar ControlNatsumi Kitajima, Yuichi Goto, Jingde Cheng. HAIS 2009: 68-76 [doi]

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng. IEEEares 2009: 624-629 [doi]

2008

A General Forward Reasoning Algorithm for Various Logic Systems with Different FormalizationsYuichi Goto, Takahiro Koh, Jingde Cheng. kes 2008: 526-535 [doi]

ISEDS: An Information Security Engineering Database System Based on ISO StandardsDaisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng. IEEEares 2008: 1219-1225 [doi]

Fast Qualitative Reasoning about Actions for Computing Anticipatory SystemsNatsumi Kitajima, Yuichi Goto, Jingde Cheng. IEEEares 2008: 171-178 [doi]

A Fast Duplication Checking Algorithm for Forward Reasoning EnginesTakahiro Koh, Yuichi Goto, Jingde Cheng. kes 2008: 499-507 [doi]

Classification, Formalization and Verification of Security Functional RequirementsShoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng. sofsem 2008: 622-633 [doi]

Ensuring Reliability and Availability of Soft System BusMohammad Reza Selim, Yuichi Goto, Jingde Cheng. ssiri 2008: 52-59 [doi]

2007

FreeEnCal: A Forward Reasoning Engine with General-PurposeJingde Cheng, Shinsuke Nara, Yuichi Goto. kes 2007: 444-452 [doi]

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem ProposingJingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh. kes 2007: 840-851 [doi]

ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous QuestionnaireJingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri. apscc 2007: 187-195 [doi]

Measuring Reactability of Persistent Computing SystemsTakumi Endo, Yuichi Goto, Jingde Cheng. SC 2007: 144-151 [doi]

A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical LogicYuichi Goto, Jingde Cheng. ENTCS, 169:87-97, 2007. [doi]

POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanismK. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng. SAC 2007: 270-275 [doi]

Formal verification of security specifications with common criteriaShoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng. SAC 2007: 1506-1512 [doi]

A replication oriented approach to event based middleware over structured peer to peer networksMohammad Reza Selim, Yuichi Goto, Jingde Cheng. middleware 2007: 61-66 [doi]

Distributed hash table based design of Soft System BusesMohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng. infoscale 2007: 78 [doi]

EPLAS: An Epistemic Programming Language for All ScientistsIsao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng. iccS 2007: 406-413 [doi]

2006

2005

Security in Persistently Reactive SystemsTakumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng. euc 2005: 874-883 [doi]

A General-Purpose Forward Deduction Engine for Modal LogicsShinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng. kes 2005: 739-745 [doi]

2004

Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant LogicJingde Cheng, Yuichi Goto. er 2004: 114-126 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Yuichi Goto'

Viewing Publication 1 - 70 from 70

2022

2020

2019

2018

2017

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Yuichi Goto'

Viewing Publication 1 - 70 from 70

2022

2020

2019

2018

2017

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1