Nobuaki Kawato

According to our database1, Nobuaki Kawato authored at least 16 papers between 1979 and 1996.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
An Object-Oriented Database System Jasmine: Implementation, Application, and Extension.
IEEE Trans. Knowl. Data Eng., 1996

1992
An Object-Oriented Database System and its View Mechanism for Schema Integration.
Future Databases, 1992

A Cooperative Logic Design Expert System on a Multiprocessor.
FGCS, 1992

1990
A high-speed test-generation method using a test generation circuit.
Systems and Computers in Japan, 1990

1988
A Method to Generate Tests for Combinational Logic Circuits Using an Ultra-High-Speed Logic Simulator.
Proceedings of the Proceedings International Test Conference 1988, 1988

Evaluation and improvement of Boolean comparison method based on binary decision diagrams.
Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988

co-LODEX: A Cooperative Expert System for Logic design.
FGCS, 1988

Logic Simulation System Using Simulation Processor (SP).
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1986
Knowledge-Based Expert System for Hardware Logic Design.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

A rule-based logic circuit synthesis system for CMOS gate arrays.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1984
Prolog-Based Expert System for Logic Design.
FGCS, 1984

1983
Logic Circuit Synthesis Using Prolog.
New Generation Comput., 1983

1982
A verification technique for hardware designs.
Proceedings of the 19th Design Automation Conference, 1982

An interactive logic synthesis system based upon AI techniques.
Proceedings of the 19th Design Automation Conference, 1982

1981
A CAD system for logic design based on frames and demons.
Proceedings of the 18th Design Automation Conference, 1981

1979
Design and verification of large-scale computers by using DDL.
Proceedings of the 16th Design Automation Conference, 1979


  Loading...