Yuichi Goto

	2011
32		Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng: Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC 2011: 608-616
	2009
31		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
30		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
29		Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng: An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646
28		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
27		Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal: Development of ISEE: An Information Security Engineering Environment. ISPA 2009: 505-510
26		Jingde Cheng, Yuichi Goto, Daisuke Horie: ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400
25		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
24		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
23		Natsumi Kitajima, Yuichi Goto, Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178
22		Takahiro Koh, Yuichi Goto, Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507
21		Yuichi Goto, Takahiro Koh, Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535
20		Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633
19		Mohammad Reza Selim, Yuichi Goto, Jingde Cheng: Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59
	2007
18		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
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	[24] [25]
2	Noor Sheila Azreen	[30]
3	David Boerstler	[8]
4	Youcheng Chen	[29]
5	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] [26] [27] [28] [29] [30] [31] [32]
6	Takumi Endo	[3] [7] [10] [17]
7	Wencheng Fang	[32]
8	Eskinder Hailu	[8]
9	Daisuke Horie	[24] [25] [26] [27] [30] [31]
10	Ahmad Iqbal	[27]
11	Toshio Kasahara	[27] [31]
12	Natsumi Kitajima	[23] [28]
13	Takahiro Koh	[4] [14] [21] [22]
14	Masato Koide	[18]
15	K. H. S. Sabaragamu Koralalage	[11]
16	Kazuhiko Miki	[8]
17	Junichi Miura	[3] [11] [27]
18	Shoichi Morimoto	[3] [6] [12] [20] [24] [30]
19	Keigo Nagahama	[18]
20	Koichi Nanashima	[3]
21	Shinsuke Nara	[2] [4] [14] [15] [16]
22	Takashi Omi	[2]
23	Sarah Pettengill	[8]
24	Jieming Qi	[8]
25	Mohammad Reza Selim	[7] [11] [13] [17] [19] [29]
26	Shinjiro Shigematsu	[6] [12] [20]
27	Ayaka Shionoiri	[18]
28	Masami Someya	[18]
29	Isao Takahashi	[16] [32]
30	Yusuke Utsumi	[18]
31	Kenichi Yajima	[25] [30]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page