Fuyau Lin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

1995

Formal Verification of the File Transfer ProtocolFuyau Lin. seke 1995: 117-122

Formal Verification of a Message-Passing Protocol with Model CheckingArthur Lin, Fuyau Lin. seke 1995: 296-302

An Operational Semantics Approach to Disciplined Exceptions in Logic ProgrammingTimothy K. Shih, Fuyau Lin. cai, 14(1):1-33, 1995.

On the Construction of a Prolog-Based Verifier for Systolic Array DesignsTimothy K. Shih, Nam Ling, Ruth E. Davis, Fuyau Lin. ci, 11:172-221, 1995.

1993

Design and Validation of a Message-Passing SystemFuyau Lin. iwssd 1993: 10-19

A Formalism for Specifying Communicating ProcessesFuyau Lin. acm 1993: 123-130 [doi]

A parallel computation network for the maximm clique problemFuyau Lin. iscas 1993: 2549-2555

1992

Integrating CASE Tools with Knowledge-Base by Object OrientationFuyau Lin, Rob Langsner. icci 1992: 325-328

Verification of Systolic Architecture DesignsFuyau Lin, Timothy K. Shih. parle 1992: 381-396

Disciplined Exceptions in Logic ProgrammingTimothy K. Shih, Ruth E. Davis, Fuyau Lin. alpuk 1992: 124-141

1991

Verification tool for systolic array designFuyau Lin, Timothy K. Shih, Nam Ling. ictai 1991: 488-492 [doi]

Automatic formal verification of systolic array designsNam Ling, Fuyau Lin, Timothy K. Shih, Ruth E. Davis. asap 1991: 338-354 [doi]

1989

LCD-reification: a formal method for developing Prolog programsFuyau Lin, Frances E. Hunt. iwssd 1989: 249-256 [doi]

Sign in or sign up to see more results.

runs on WebDSL