Yuichi Goto

J-GLOBAL         Last updated: Oct 2, 2019 at 20:52
 
Avatar
Name
Yuichi Goto
URL
http://www.aise.ics.saitama-u.ac.jp/~gotoh/
Affiliation
Saitama University
Section
Graduate school of Science and Engineering
Job title
Associate Professor
Degree
Ph.D(Saitama University)
ORCID ID
0000-0003-2015-0340

Profile

Yuichi Goto is an associate professor of computer science at Graduate School of Science and Engineering, Saitama University in Japan. He received the degree of Bachelor of Engineering in computer science, the degree of Master of Engineering in computer science, and the degree of Doctor of Engineering in computer science from Saitama University in 2001, 2003, and 2005, respectively. His current research interests include relevant reasoning and its applications, automated theorem finding, epistemic programming, anticipatory reasoning reacting systems, and Web services. He is a member of ACM, IEEE-CS, Information Processing Society of Japan (IPSJ), Institute of Electronics, Information and Communication Engineers (IEICE), and Japanese Society of Artificial Intelligence (JSAI).

Academic & Professional Experience

 
2015
 - 
Today
Associate Professor, Graduate School of Science and Engineering, Saitama University
 
Apr 2007
 - 
Mar 2014
Assistant Professor, Graduate School of Science and Engineering, Saitama University
 

Research Grants & Projects

 
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2006 - 2009    Investigator(s): Jingde CHENG
Almost all existing reactive systems are passive from the viewpoint of reliability and security, because they can only perform the operations in response to external stimulus but have no ability to response to disasters and attacks, and deal with ...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(若手研究(B))
Project Year: 2007 - 2008    Investigator(s): Yuichi GOTO

Published Papers

 
Da Bao, Yuichi Goto, and Jingde Cheng
Lecture Notes in Computer Science   11607 3-14   Sep 2019   [Refereed]
In evaluation and certification framework based on ISO/IEC 15408 and ISO/IEC 18045, a Security Target, which contains the specifications of all security functions of the target system, is the most important document. Evaluation on Security Targets...
Yuan Zhou, Yuichi Goto, and Jingde Cheng
Lecture Notes in Electrical Engineering   590 257-264   Aug 2019   [Refereed]
QSL is the first specification language for specifying various e-questionnaire, e-testing, and e-voting systems. Although the terminologies among systems and services of e-questionnaire, e-testing, and e-voting are different, QSL has explicitly su...
Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
Lecture Notes in Computer Science   11445 399-408   Apr 2019   [Refereed]
Formal analysis is used to find out flaws of cryptographic protocols. A formal analysis method with reasoning for cryptographic protocols has been proposed. In the method, behaviors of participants and behaviors of an intruder are used as premises...
Yuichi Goto and Takuya Ito
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   222-227   Oct 2018   [Refereed]
Epistemic programming was proposed as a novel program paradigm to program epistemic processes in scientific discovery, which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and...
Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   210-215   Oct 2018   [Refereed]
Formal analysis is used to find out flaws of cryptographic protocols. A formal analysis method with reasoning for cryptographic protocols has been proposed. In the method, forward reasoning is used to deduce flaws or situations related to flaws fr...
Da Bao, Wen Sun, Yuichi Goto, and Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   204-209   Oct 2018   [Refereed]
ISO/IEC 15408 and ISO/IEC 18045 are a pair of international competitive standards for security evaluation and certification of IT systems. Evaluation based on ISO/IEC 15408 and ISO/IEC 18045 is a very complex process that involves tens of document...
Yuan Zhou, Daisuke Matsuura, Yuichi Goto, and Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   198-203   Oct 2018   [Refereed]
QSL is proposed as the first specification language to provide standardized, consistent, and exhaustive specifications for specifying various e-questionnaire, e-testing, and e-voting systems. However, it has not been ascertained whether QSL has en...
Sho Ishibashi, Jingchen Yan, Yuichi Goto and Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   192-197   Oct 2018   [Refereed]
Many cryptographic protocols have been proposed, and many studies of them have been done. However, there is no study to identify constituent elements of cryptographic protocols that are elements of the protocols consist of. The constituent element...
Tomoya Yamazaki, Atomu Sakuma, and Yuichi Goto
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   186-191   Oct 2018   [Refereed]
The problem of automated theorem finding (ATF problem) is proposed by Wos, and is still one of open problems in automated reasoning. To solve the ATF problem, an ATF method with forward reasoning based on strong relevant logics has been proposed a...
Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   180-185   Oct 2018   [Refereed]
Forward reasoning engine is a computer program to automatically draw new conclusions by repeatedly applying inference rules to given premises and obtained conclusions until some previously specified conditions are satisfied. Although a forward rea...
Yohei Kamata and Yuichi Goto
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations   174-179   Oct 2018   [Refereed]
Data portability is the ability for users to reuse their own data between interoperable applications, and is getting treated as an important characteristic of web and cloud services in recent years. Meanwhile, many e-questionnaires are performed o...
Hiromu Hiidome, Yuichi Goto, Jingde Cheng
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)   10751 59-79   2018   [Refereed]
A forward reasoning engine is an indispensable component in many advanced knowledge-based systems with purposes of creation, discovery, or prediction. Time-efficiency and memory-efficiency are crucial issues for any forward reasoning engine. FreeE...
Goto Y, Gao H, Cheng J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   10192 LNAI 125-134   2017   [Refereed]
Xu L, Goto Y, Suhaimi A.I.H, Zhang N, Cheng J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   8440 LNCS 35-48   May 2014   [Refereed]
Wagatsuma K, Harada T, Anze S, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   354 25-32   2016   [Refereed]
Bao D, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   330 1353-1358   2015   [Refereed]
Gao H, Goto Y, Cheng J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   9011 593-602   2015   [Refereed]
Nanaumi S, Wagatsuma K, Gao H, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   352 1-6   2015   [Refereed]
Suhaimi A.I.H, Bao D, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   330 1325-1330   2015   [Refereed]
Gao H, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   352 23-30   2015   [Refereed]
Wang Z, Zhou Y, Wang B, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   352 7-14   2015   [Refereed]
Wang B, Ekiba T, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   352 15-22   2015   [Refereed]
Chen H, Bao D, Goto Y, Cheng J.
Lecture Notes in Electrical Engineering   330 1359-1366   2015   [Refereed]
Gao H, Goto Y, Cheng J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   9243 508-517   2015   [Refereed]
Nanaumi S, Wagatsuma K, Gao H, Goto Y, Cheng J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   9011 634-643   2015   [Refereed]
Suhaimi A.I.H, Goto Y, Cheng J
IEICE Transactions on Information and Systems   E97-D(6) 1516-1527   Jun 2014   [Refereed]
Suhaimi A.I.H, Goto Y, Cheng J
Lecture Notes in Electrical Engineering   309 LNEE 195-201   May 2014   [Refereed]
Wagatsuma K, Anze S, Goto Y, Cheng J
Lecture Notes in Electrical Engineering   309 LNEE 211-218   May 2014   [Refereed]
Gao H, Goto Y, Cheng J
Lecture Notes in Electrical Engineering   309 LNEE 105-110   May 2014   [Refereed]
Goto Y
Lecture Notes in Electrical Engineering   309 LNEE 9-16   May 2014   [Refereed]
Goto Y, Xu L, Zhang N, Cheng J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   8440 LNCS 18-34   May 2014   [Refereed]
Gao H, Goto Y, Cheng J.
Theoretical Computer Science   554(C) 2-22   2014   [Refereed]
Zhang N, Suhaimi A.I.H, Goto Y, Cheng J
Proceedings - 9th International Conference on Computational Intelligence and Security, CIS 2013   601-606   Dec 2013   [Refereed]
Gao H, Goto Y, Cheng J
Proceedings - 2013 9th International Conference on Semantics, Knowledge and Grids, SKG 2013   22-29   Oct 2013   [Refereed]
Nanaumi S, Wagatsuma K, Goto Y, Cheng J
Proceedings - International Conference on Machine Learning and Cybernetics   3 1179-1184   Jul 2013   [Refereed]
Gao H, Shi K, Goto Y, Cheng J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7936 LNCS 697-704   Jun 2013   [Refereed]
Shi K, Goto Y, Zhu Z, Cheng J
Studies in Computational Intelligence   493 17-32   Jun 2013   [Refereed]
Shi K, Wang B, Goto Y, Zhu Z, Cheng J
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS   732-737   May 2013   [Refereed]
Wang B, Goto Y, Cheng J
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS   718-723   May 2013   [Refereed]
Xu L, Wang B, Zhang N, Goto Y, Cheng J
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS   321-325   May 2013   [Refereed]
Shi K, Goto Y, Zhu Z, Cheng J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7802 LNAI(PART 1) 117-126   Mar 2013   [Refereed]
Suhaimi A.I.H, Goto Y, Cheng J
Communications in Computer and Information Science   339 CCIS 30-37   Nov 2012   [Refereed]
Yuichi Goto and Jingde Cheng
Proceedings of the 8th International Conference on Semantics, Knowledge and Grid (SKG '12)   1-8   Oct 2012   [Refereed][Invited]
Gao H, Shi K, Goto Y, Cheng J
Proceedings - International Conference on Machine Learning and Cybernetics   5 1859-1865   Jul 2012   [Refereed]
Wagatsuma K, Goto Y, Cheng J
Proceedings - International Conference on Machine Learning and Cybernetics   5 1866-1871   Jul 2012   [Refereed]
Goto Y, Gao H, Tsuji T, Cheng J
Proceedings - International Conference on Machine Learning and Cybernetics   5 1878-1883   Jul 2012   [Refereed]
Gefei Sun, Kenichi Yajima, Junichi Miura, Kai Shi, Yuichi Goto, and Jingde Cheng
Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012)   745-749   Jun 2012   [Refereed]
Liqing Xu, Kai Shi, Yuichi Goto, and Jingde Cheng
Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012)   750-753   Jun 2012   [Refereed]
Jingde Cheng, Masami Someya, Koichi Nanashima, and Yuichi Goto
Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012)   2 368-372   May 2012   [Refereed]
Bo Wang, Kai Shi, Yuichi Goto, and Jingde Cheng
Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012)   3 401-406   May 2012   [Refereed]
Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng
International Journal of New Computer Architectures and their Applications   2(2) 362-381   Apr 2012   [Refereed]
Ahmad Iqbal Hakim Suhaimi, Takashi Manji, Yuichi Goto, and Jingde Cheng
Communications in Computer and Information Science   251 370-384   Nov 2011   [Refereed]
Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng
Communications in Computer and Information Science   251 604-617   Nov 2011   [Refereed]
Wencheng Fang, Isao Takahashi, Yuichi Goto, and Jingde Cheng
Proceedings of the 10th International Conference on Machine Learning and Cybernetics (ICMLC '11)   2 608-616   Jul 2011   [Refereed]
Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng
International Journal of Computer Science and Network Security   11(2) 164-172   Feb 2011   [Refereed]
Takahiro Koh, Yuichi Goto, and Jingde Cheng
International Journal of Computing Anticipatory Systems   24 42-53   Dec 2010   [Refereed]
Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng
International Journal of Computing Anticipatory Systems   24 61-72   Dec 2010   [Refereed]
Takahiro Koh, Yuichi Goto, and Jingde Cheng
Global Information Publisher   4(3) 219-231   Jun 2010   [Refereed]