Fuyau Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1991–1995
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | SEKE | Formal Verification of the File Transfer Protocol. | Fuyau Lin |
| 1995 | SEKE | Formal Verification of a Message-Passing Protocol with Model Checking. | Arthur Lin, Fuyau Lin |
| 1993 | ISCAS | A parallel computation network for the maximm clique problem. | Fuyau Lin |
| 1992 | ICCI | Integrating CASE Tools with Knowledge-Base by Object Orientation. | Fuyau Lin, Rob Langsner |
| 1991 | ICTAI | Verification tool for systolic array design. | Fuyau Lin, Timothy K. Shih, Nam Ling |