![]() | ![]() |
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] |