Naoyuki Tamura

	2009
24		Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling finite linear CSP into SAT. Constraints 14(2): 254-272 (2009)
	2006
23		Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara: Compiling Finite Linear CSP into SAT. CP 2006: 590-603
22		Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie: Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. MoMM 2006: 169-178
21		Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics 154(16): 2291-2306 (2006)
	2005
20		Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue: Prolog Cafe : A Prolog to Java Translator System. INAP 2005: 1-11
19		Naoyuki Tamura: Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. INAP 2005: 81-87
	2003
18		Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura: Efficient Represenation of Discrete Sets for Constraint Programming. CP 2003: 920-924
	2001
17		Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura: Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP 2001: 315-330
16		Joshua S. Hodas, Naoyuki Tamura: lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. IJCAR 2001: 670-684
	1999
15		Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis for Classical Linear Logic Programming Language. ICLP 1999: 610
14		Kyoung-Sun Kang, Naoyuki Tamura: A Static Analysis Method for a Classical Linear Logic Programming Language. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
13		Mutsunori Banbara, Naoyuki Tamura: Translating a Linear Logic Programming Language into Java. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
	1998
12		Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang: Efficient Implementation of a Linear Logic Programming Language. IJCSLP 1998: 145-159
11		Mutsunori Banbara, Naoyuki Tamura: Compiling Resources in a Linear Logic Programming Language. Implementation Technology for Programming Languages based on Logic 1998: 32-45
	1996
10		Naoyuki Tamura, Yukio Kaneda: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). JICSLP 1996: 545
	1991
9		Naoyuki Tamura, Marco J. W. Bos, H. Murakami, Osamu Nishida, Takehiko Yoshimi, Jiri Jelinek: Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking. Natural Language Understanding and Logic Programming Workshop 1991: 13-26
	1990
8		Jiri Jelinek, Graham Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco J. W. Bos, Naoyuki Tamura, H. Murakami: Japanese-to-English Project PROTRAN & TWINTRAN. COLING 1990: 50-52
	1987
7		Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu: Introduction of a Package System into Prolog. LP 1987: 105-112
	1986
6		Naoyuki Tamura: Knowledge-Based Optimization in Prolog Compiler. FJCC 1986: 237-240
5		Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu: A Very Fast Prolog Complier on Multiple Architectures. FJCC 1986: 963-968
4		Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa: An Optimizing Prolog Compiler. LP 1986: 104-115
3		Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa: Sequential Prolog Machine PEK. New Generation Comput. 4(1): 51-66 (1986)
	1984
2		Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa: Sequential Prolog Machine PEK. FGCS 1984: 542-550
1		Naoyuki Tamura, Yukio Kaneda: Implementing Parallel Prolog on a Multiprocessor Machine. SLP 1984: 42-48

Coauthor Index

1	Yasuo Asakawa	[4] [5] [7]
2	Mutsunori Banbara	[11] [13] [17] [20] [21] [23] [24]
3	Marco J. W. Bos	[8] [9]
4	Hiroaki Etoh	[7]
5	Toshihiko Furue	[22]
6	Toshiyuki Hama	[7]
7	Takaharu Hirai	[17]
8	Joshua S. Hodas	[12] [16]
9	Katsumi Inoue	[20] [21]
10	Jiri Jelinek	[8] [9]
11	Yukio Kaneda	[1] [2] [3] [10]
12	Kyoung-Sun Kang	[12] [14] [15] [17]
13	Satoshi Kitagawa	[23] [24]
14	Hideaki Komatsu	[4] [5] [7]
15	Shumin Kuo	[3]
16	Toshiaki Kurokawa	[4] [5]
17	Sadao Maekawa	[2] [3]
18	Hideo Matsuda	[2] [3]
19	H. Murakami	[8] [9]
20	Osamu Nishida	[8] [9]
21	Shuji Ohnishi	[18]
22	Yoshito Sasaura	[21]
23	Takehide Soh	[21]
24	Akiko Taga	[23] [24]
25	Hiroki Takahashi	[22]
26	Hiroaki Tasaka	[18]
27	Seiji Ueda	[21]
28	Koichi Wada	[2] [3]
29	K. M. Watkins	[12]
30	Graham Wilcock	[8]
31	Osamu Yoshie	[22]
32	Takehiko Yoshimi	[8] [9]

Colors in the list of coauthors