The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ching-Tsun Chou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ching-Tsun Chou
    The Mathematical Foundation fo Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:196-207 [Conf]
  2. Kanna Shimizu, David L. Dill, Ching-Tsun Chou
    A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:340-354 [Conf]
  3. Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
    A Simple Method for Parameterized Verification of Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:382-398 [Conf]
  4. Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
    Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:81-88 [Conf]
  5. Ching-Tsun Chou
    Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:122- [Conf]
  6. Ching-Tsun Chou, Eli Gafni
    Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. [Citation Graph (0, 0)][DBLP]
    PODC, 1988, pp:44-65 [Conf]
  7. Ching-Tsun Chou, Doron Peled
    Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:241-257 [Conf]
  8. Ching-Tsun Chou
    A Note on Interactive Theorem Proving with Theorem Continuation Functions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:59-69 [Conf]
  9. Ching-Tsun Chou
    A Sequent Formulation of a Logic of Predicates in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:71-80 [Conf]
  10. Ching-Tsun Chou
    Predicates, Temporal Logic, and Simulations. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:310-323 [Conf]
  11. Ching-Tsun Chou
    A Formal Theory of Undirected Graphs in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:144-157 [Conf]
  12. Ching-Tsun Chou
    Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:158-176 [Conf]
  13. Ching-Tsun Chou, Israel Cidon, Inder S. Gopal, Shmuel Zaks
    Synchronizing Aysnchronous Bounded Delay Networks. [Citation Graph (0, 0)][DBLP]
    WDAG, 1987, pp:212-218 [Conf]
  14. Ching-Tsun Chou
    Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:2, pp:152-161 [Journal]
  15. Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
    Experience with Applying Formal Methods to Protocol Specification and System Architecture. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:2, pp:109-116 [Journal]
  16. Ching-Tsun Chou
    Simple Proof Techniques for Property Preservation via Simulation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:3, pp:129-134 [Journal]
  17. Ching-Tsun Chou, Inder S. Gopal
    Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1989, v:10, n:4, pp:490-517 [Journal]
  18. Ching-Tsun Chou, Doron Peled
    Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:265-298 [Journal]

Search in 0.140secs, Finished in 0.141secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002