Design and verification of large-scale computers by using DDL. - Nobuaki Kawato; Takao Saito; Fumihiro Maruyama; Takao Uehara (DAC, 1979)

A CAD system for logic design based on frames and demons. - Takao Saito; Takao Uehara; Nobuaki Kawato (DAC, 1981)

Optimal Layout of CMOS Functional Arrays. - Takao Uehara; William M. van Cleemput (IEEE Trans. Computers, 1981)

An interactive logic synthesis system based upon AI techniques. - Nobuaki Kawato; Takao Uehara; Sadaki Hirose; Takao Saito (DAC, 1982)

A verification technique for hardware designs. - Fumihiro Maruyama; Takao Uehara; Nobuaki Kawato; Takao Saito (DAC, 1982)

Logic Circuit Synthesis Using Prolog. - Takao Uehara; Nobuaki Kawato (New Gener. Comput., 1983)

Prolog-Based Expert System for Logic Design. - Fumihiro Maruyama; Tamio Mano; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FGCS, 1984)

A Knowledge-Based Logic Design System. - Takao Uehara (IEEE Des. Test, 1985)

Knowledge-Based Expert System for Hardware Logic Design. - Tamio Mano; Fumihiro Maruyama; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FJCC, 1986)

Computer Aided Design and Artificial Intelligence (Panel). - Takao Uehara (IFIP Congress, 1986)

Application of abduction to computer bridge. - Takao Uehara (Syst. Comput. Jpn., 1995)

Reasoning by Agents in Computer Bridge Bidding. - Takahisa Ando; Takao Uehara (Computers and Games, 2000)

Partnership bidding for computer bridge. - Takahisa Ando; Yoshiyuki Sekiya; Takao Uehara (Syst. Comput. Jpn., 2000)

Computer bridge based on multi-player model. - Tomohito Otawa; Takao Uehara (Artificial Intelligence and Applications, 2007)