Fuyau Lin

According to our database, Fuyau Lin authored at least 13 papers between 1989 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1995

On the Construction of a Prolog-Based Verifier for Systolic Array Designs.

Timothy K. Shih, Nam Ling, Ruth E. Davis, Fuyau Lin

Comput. Intell., 1995

An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.

Timothy K. Shih, Fuyau Lin

Comput. Artif. Intell., 1995

Formal Verification of a Message-Passing Protocol with Model Checking.

Arthur Lin, Fuyau Lin

Proceedings of the SEKE'95, 1995

Formal Verification of the File Transfer Protocol.

Fuyau Lin

Proceedings of the SEKE'95, 1995

1993

Design and Validation of a Message-Passing System.

Fuyau Lin

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

A parallel computation network for the maximm clique problem.

Fuyau Lin

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

A Formalism for Specifying Communicating Processes.

Fuyau Lin

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

Verification of Systolic Architecture Designs.

Fuyau Lin, Timothy K. Shih

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Integrating CASE Tools with Knowledge-Base by Object Orientation.

Fuyau Lin, Rob Langsner

Proceedings of the Computing and Information, 1992

Disciplined Exceptions in Logic Programming.

Timothy K. Shih, Ruth E. Davis, Fuyau Lin

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Verification tool for systolic array design.

Fuyau Lin, Timothy K. Shih, Nam Ling

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Automatic formal verification of systolic array designs.

Nam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis

Proceedings of the Application Specific Array Processors, 1991

1989

LCD-reification: a formal method for developing Prolog programs.

Fuyau Lin, Frances E. Hunt

Proceedings of the 5th International Workshop on Software Specification and Design, 1989