Fuyau Lin

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Timothy K. Shih, Fuyau Lin
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. Comput. Artif. Intell. 14 (1) (1995)
Arthur Lin, Fuyau Lin
Formal Verification of a Message-Passing Protocol with Model Checking. SEKE (1995)
Timothy K. Shih, Nam Ling, Ruth E. Davis, Fuyau Lin
On the Construction of a Prolog-Based Verifier for Systolic Array Designs. Comput. Intell. 11 (1995)
Fuyau Lin
Formal Verification of the File Transfer Protocol. SEKE (1995)
Fuyau Lin
Design and Validation of a Message-Passing System. IWSSD (1993)
Fuyau Lin
A parallel computation network for the maximm clique problem. ISCAS (1993)
Fuyau Lin
A Formalism for Specifying Communicating Processes. ACM Conference on Computer Science (1993)
Fuyau Lin, Timothy K. Shih
Verification of Systolic Architecture Designs. PARLE (1992)
Timothy K. Shih, Ruth E. Davis, Fuyau Lin
Disciplined Exceptions in Logic Programming. ALPUK (1992)
Fuyau Lin, Rob Langsner
Integrating CASE Tools with Knowledge-Base by Object Orientation. ICCI (1992)
Fuyau Lin, Timothy K. Shih, Nam Ling
Verification tool for systolic array design. ICTAI (1991)
Nam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis
Automatic formal verification of systolic array designs. ASAP (1991)
Fuyau Lin, Frances E. Hunt
LCD-reification: a formal method for developing Prolog programs. IWSSD (1989)