2006 |
23 | EE | 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 | EE | 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 | EE | Mutsunori Banbara,
Naoyuki Tamura,
Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System.
INAP 2005: 1-11 |
19 | EE | Naoyuki Tamura:
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.
INAP 2005: 81-87 |
2003 |
18 | EE | Shuji Ohnishi,
Hiroaki Tasaka,
Naoyuki Tamura:
Efficient Represenation of Discrete Sets for Constraint Programming.
CP 2003: 920-924 |
2001 |
17 | EE | Mutsunori Banbara,
Kyoung-Sun Kang,
Takaharu Hirai,
Naoyuki Tamura:
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.
ICLP 2001: 315-330 |
16 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |