Search the dblp DataBase
Fuyau Lin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fuyau Lin A Formalism for Specifying Communicating Processes. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1993, pp:123-130 [Conf ] Timothy K. Shih , Ruth E. Davis , Fuyau Lin Disciplined Exceptions in Logic Programming. [Citation Graph (0, 0)][DBLP ] ALPUK, 1992, pp:124-141 [Conf ] Fuyau Lin , Rob Langsner Integrating CASE Tools with Knowledge-Base by Object Orientation. [Citation Graph (0, 0)][DBLP ] ICCI, 1992, pp:325-328 [Conf ] Fuyau Lin A parallel computation network for the maximm clique problem. [Citation Graph (0, 0)][DBLP ] ISCAS, 1993, pp:2549-2555 [Conf ] Fuyau Lin Design and Validation of a Message-Passing System. [Citation Graph (0, 0)][DBLP ] IWSSD, 1993, pp:10-19 [Conf ] Fuyau Lin , Timothy K. Shih Verification of Systolic Architecture Designs. [Citation Graph (0, 0)][DBLP ] PARLE, 1992, pp:381-396 [Conf ] Fuyau Lin Formal Verification of the File Transfer Protocol. [Citation Graph (0, 0)][DBLP ] SEKE, 1995, pp:117-122 [Conf ] Arthur Lin , Fuyau Lin Formal Verification of a Message-Passing Protocol with Model Checking. [Citation Graph (0, 0)][DBLP ] SEKE, 1995, pp:296-302 [Conf ] Timothy K. Shih , Fuyau Lin An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 1995, v:14, n:1, pp:- [Journal ] Timothy K. Shih , Nam Ling , Ruth E. Davis , Fuyau Lin On the Construction of a Prolog-Based Verifier for Systolic Array Designs. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1995, v:11, n:, pp:172-221 [Journal ] Search in 0.002secs, Finished in 0.003secs