Yuichi Goto

	2009
25		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
24		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
23		Jingde Cheng, Yuichi Goto, Daisuke Horie: ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400
	2008
22		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
21		Natsumi Kitajima, Yuichi Goto, Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178
20		Takahiro Koh, Yuichi Goto, Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507
19		Yuichi Goto, Takahiro Koh, Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535
18		Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633
	2007
17		Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: Distributed hash table based design of Soft System Buses. Infoscale 2007: 78
16		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
15		Jingde Cheng, Shinsuke Nara, Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452
14		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
13		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
12		Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Formal verification of security specifications with common criteria. SAC 2007: 1506-1512
11		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
10		Takumi Endo, Yuichi Goto, Jingde Cheng: Measuring Reactability of Persistent Computing Systems. Software Composition 2007: 144-151
9		Yuichi Goto, Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electr. Notes Theor. Comput. Sci. 169: 87-97 (2007)
	2006
8		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
7		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
6		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
5		Yuichi Goto, Jingde Cheng: A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43
4		Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto: The Theory Grid and Grid Theorists. SKG 2006: 32
	2005
3		Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng: Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883
2		Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng: A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745
	2004
1		Jingde Cheng, Yuichi Goto: Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126

Coauthor Index

1	Noor Azimah	[22]
2	David Boerstler	[8]
3	Jingde Cheng	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
4	Takumi Endo	[3] [7] [10] [17]
5	Eskinder Hailu	[8]
6	Daisuke Horie	[22] [23] [25]
7	Toshio Kasahara	[25]
8	Natsumi Kitajima	[21] [24]
9	Takahiro Koh	[4] [14] [19] [20]
10	K. H. S. Sabaragamu Koralalage	[11]
11	Kazuhiko Miki	[8]
12	Junichi Miura	[3] [11]
13	Shoichi Morimoto	[3] [6] [12] [18] [22]
14	Koichi Nanashima	[3]
15	Shinsuke Nara	[2] [4] [14] [15] [16]
16	Takashi Omi	[2]
17	Sarah Pettengill	[8]
18	Jieming Qi	[8]
19	Mohammad Reza Selim	[7] [11] [13] [17]
20	Shinjiro Shigematsu	[6] [12] [18]
21	Isao Takahashi	[16]

Colors in the list of coauthors