The SCEAS System
Navigation Menu

Search the dblp DataBase


Fuyau Lin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fuyau Lin
    A Formalism for Specifying Communicating Processes. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1993, pp:123-130 [Conf]
  2. Timothy K. Shih, Ruth E. Davis, Fuyau Lin
    Disciplined Exceptions in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:124-141 [Conf]
  3. Fuyau Lin, Rob Langsner
    Integrating CASE Tools with Knowledge-Base by Object Orientation. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:325-328 [Conf]
  4. Fuyau Lin
    A parallel computation network for the maximm clique problem. [Citation Graph (0, 0)][DBLP]
    ISCAS, 1993, pp:2549-2555 [Conf]
  5. Fuyau Lin
    Design and Validation of a Message-Passing System. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:10-19 [Conf]
  6. Fuyau Lin, Timothy K. Shih
    Verification of Systolic Architecture Designs. [Citation Graph (0, 0)][DBLP]
    PARLE, 1992, pp:381-396 [Conf]
  7. Fuyau Lin
    Formal Verification of the File Transfer Protocol. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:117-122 [Conf]
  8. 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]
  9. 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]
  10. 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.069secs, Finished in 0.070secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002