| |
| 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 | |
| 1 | Ruth E. Davis | [3] [8] |
| 2 | Rob Langsner | [2] |
| 3 | Arthur Lin | [9] |
| 4 | Nam Ling | [8] |
| 5 | Timothy K. Shih | [1] [3] [7] [8] |