Keijiro Araki

	2009
40		Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka: Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) 2009: 159-166
39		Shigeru Kusakabe, Yoichi Omori, Keijiro Araki: Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) 2009: 264-268
	2008
38		Shaoying Liu, T. S. E. Maibaum, Keijiro Araki: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Springer 2008
	2007
37		Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe: On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets. IMECS 2007: 1516-1521
36		Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe: Enforcing the optimal set of controls for state feedback with non-redundant controllers. SMC 2007: 1394-1399
	2005
35		Zhiming Liu, Keijiro Araki: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Springer 2005
34		Kosuke Tomonaga, Masataka Ohta, Keijiro Araki: Privacy-Aware Location Dependent Services over Wireless Internet with Anycast. Human.Society@Internet 2005: 311-321
	2004
33		Yuji Arichika, Keijiro Araki: Reusable Formal Specification for Embedded Systems. APSEC 2004: 557-558
	2003
32		Keijiro Araki, Stefania Gnesi, Dino Mandrioli: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings Springer 2003
31		Yoshikazu Watanabe, Koji Okamura, Keijiro Araki: Study on Merge of Overlapped TCP Traffic Using Reliable Multicast Transport. ICOIN 2003: 253-262
	2002
30		Kensuke Shibata, Koji Okamura, Keijiro Araki: Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast. SAINT 2002: 262-269
	2001
29		Kentaro Takei, Koji Okamura, Keijiro Araki: Design of Gateway System between Different Signalling Protocols of the Multimedia Session on the Internet. ICOIN 2001: 297-
28		Moto yuki Ohmori, Koji Okamura, Keijiro Araki: Design of Scalable Interdomain IP Multicast Architecture. ICOIN 2001: 819-824
27		Masataka Sonoda, Koji Okamura, Keijiro Araki: Design of General Reliable Multicast Architecture with Active Network Framework. ICOIN 2001: 825-830
	1999
26		Keijiro Araki, Andy Galloway, Kenji Taguchi: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 Springer 1999
25		Hiroshi Maruyama, Keijiro Araki: VRML Program Slicing. APSEC 1999: 355-358
24		Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki: NaraView: An Interactive 3D Visualization System for Parallelization of Programs. International Journal of Parallel Programming 27(2): 111-129 (1999)
23		Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating minimum parallel execution time of loops with loop-carried dependencies. Systems and Computers in Japan 30(10): 57-68 (1999)
	1998
22		Akira Imada, Keijiro Araki: What does the Landscape of a Hopfield Associative Memory Look Like? Evolutionary Programming 1998: 647-656
21		Kenji Taguchi, Keijiro Araki: A Calculus Based on the Agent-Place Model. ICFEM 1998: 56-63
20		Akira Imada, Keijiro Araki: How Real-valued Random Synapses Evolve Toward Symmetry with Diploid Chromosomes? NC 1998: 164-169
19		Akira Imada, Keijiro Araki: Can a Niching Method Locate Multiple Attractors Embedded in the Hopfield Network? SEAL 1998: 325-332
	1997
18		Constantine D. Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya: High Performance Computing, International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings Springer 1997
17		Akira Imada, Keijiro Araki: Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming. Evolutionary Programming 1997: 13-22
16		Kenji Taguchi, Keijiro Araki: The State-Based CCS Semantics for Concurrent Z Specification. ICFEM 1997: 283-292
15		Akira Imada, Keijiro Araki: Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm. ICGA 1997: 784-791
14		Mariko Sasakura, Kazuki Joe, Keijiro Araki: NaraView: An Interactive 3D Visualization System for Parallelization of Programs. ISHPC 1997: 231-242
13		Akira Imada, Keijiro Araki: Random Perturbations to Hebbian Synapses of Associative Memory Using a Genetic Algorithm. IWANN 1997: 398-407
	1996
12		Kenji Taguchi, Keijiro Araki: Extending Z with State Transition Constraints. COMPSAC 1996: 246-260
11		Syouri Kouno, Han-Myung Chang, Keijiro Araki: Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC 1996: 261-269
10		Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. ICPP, Vol. 3 1996: 61-69
9		Akira Imada, Keijiro Araki: Lamarckian Evolution of Associative Memory. International Conference on Evolutionary Computation 1996: 676-680
8		Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki: 3D Visualization of Program Structure and Data Dependence for Parallelizing Compilers and Parallel Programming. LCPC 1996: 591-593
7		Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda: Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. LCPC 1996: 597-599
	1995
6		Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart: Are Formal Methods Relevant? APSEC 1995: 513
5		Akira Imada, Keijiro Araki: Genetic Algorithm Enlarges the Capacity of Associative Memory. ICGA 1995: 413-420
4		Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki: The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. ICPP (2) 1995: 177-181
	1994
3		Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos: The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. LCPC 1994: 170-185
	1991
2		Keijiro Araki, Zengo Furukawa, Jingde Cheng: A General Framework for Debugging. IEEE Software 8(3): 14-20 (1991)
	1986
1		Eiichi Goto, Keijiro Araki, Taiichi Yuasa: RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan Springer 1986

Coauthor Index

1	Makoto Amamiya	[18]
2	Yuji Arichika	[33]
3	Han-Myung Chang	[11]
4	Jingde Cheng	[2]
5	David J. Duke	[6]
6	Mitsuaki Fukase	[40]
7	Akira Fukuda	[3] [4] [7] [10] [23] [40]
8	Zengo Furukawa	[2]
9	Andy Galloway	[26]
10	Stefania Gnesi	[32]
11	Eiichi Goto	[1]
12	Ian J. Hayes	[6]
13	Akira Imada	[5] [9] [13] [15] [17] [19] [20] [22]
14	Kazuki Joe	[3] [4] [7] [8] [10] [14] [18] [23] [24]
15	Teruaki Kitasuka	[40]
16	Satoko Kiwada	[8]
17	Syouri Kouno	[11]
18	Yoshitoshi Kunieda	[24]
19	Shigeru Kusakabe	[36] [37] [39] [40]
20	Shaoying Liu	[38]
21	Zhiming Liu	[35]
22	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[38]
23	Dino Mandrioli	[32]
24	Hiroshi Maruyama	[25]
25	Tsunenori Mine	[40]
26	Tsuneo Nakanishi	[3] [4] [7] [8] [10] [23] [40]
27	Moto yuki Ohmori	[28]
28	Masataka Ohta	[34]
29	Koji Okamura	[27] [28] [29] [30] [31]
30	Yoichi Omori	[39] [40]
31	Constantine D. Polychronopoulos	[3] [7] [10] [18] [23]
32	Hideki Saito	[3] [4]
33	Noriaki Sakamoto	[40]
34	Mariko Sasakura	[8] [14] [24]
35	Eleazar Jiménez Serrano	[36] [37]
36	Kensuke Shibata	[30]
37	Masataka Sonoda	[27]
38	Kenji Taguchi	[12] [16] [21] [26]
39	Kentaro Takei	[29]
40	Kosuke Tomonaga	[34]
41	Mohammad Mesbah Uddin	[40]
42	Val E. Veraart	[6]
43	Yoshikazu Watanabe	[31]
44	Hiroto Yasuura	[40]
45	Taiichi Yuasa	[1]

Colors in the list of coauthors