| 1995 |
|---|
| 10 | | Fuyau Lin:
Formal Verification of the File Transfer Protocol.
SEKE 1995: 117-122 |
| 9 | | Arthur Lin,
Fuyau Lin:
Formal Verification of a Message-Passing Protocol with Model Checking.
SEKE 1995: 296-302 |
| 8 | | Timothy K. Shih,
Nam Ling,
Ruth E. Davis,
Fuyau Lin:
On the Construction of a Prolog-Based Verifier for Systolic Array Designs.
Computational Intelligence 11: 172-221 (1995) |
| 7 | | Timothy K. Shih,
Fuyau Lin:
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming.
Computers and Artificial Intelligence 14(1): (1995) |
| 1993 |
|---|
| 6 | EE | Fuyau Lin:
A Formalism for Specifying Communicating Processes.
ACM Conference on Computer Science 1993: 123-130 |
| 5 | | Fuyau Lin:
A parallel computation network for the maximm clique problem.
ISCAS 1993: 2549-2555 |
| 4 | | Fuyau Lin:
Design and Validation of a Message-Passing System.
IWSSD 1993: 10-19 |
| 1992 |
|---|
| 3 | | Timothy K. Shih,
Ruth E. Davis,
Fuyau Lin:
Disciplined Exceptions in Logic Programming.
ALPUK 1992: 124-141 |
| 2 | | Fuyau Lin,
Rob Langsner:
Integrating CASE Tools with Knowledge-Base by Object Orientation.
ICCI 1992: 325-328 |
| 1 | | Fuyau Lin,
Timothy K. Shih:
Verification of Systolic Architecture Designs.
PARLE 1992: 381-396 |
