Fuyau Lin

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