Search the dblp DataBase

Publications of Author

1. David Cyrluk, Richard M. Harris, Deepak Kapur
   GEOMETER: A Theorem Prover for Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
   CADE, 1988, pp:770-771 [Conf]
   
2. David Cyrluk, Patrick Lincoln, Natarajan Shankar
   On Shostak's Decision Procedure for Combinations of Theories. [Citation Graph (0, 0)][DBLP]
   CADE, 1996, pp:463-477 [Conf]
   
3. David Cyrluk, M. Oliver Möller, Harald Rueß
   An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. [Citation Graph (0, 0)][DBLP]
   CAV, 1997, pp:60-71 [Conf]
   
4. David Cyrluk, Paliath Narendran
   Ground Temporal Logic: A Logic for Hardware Verification. [Citation Graph (0, 0)][DBLP]
   CAV, 1994, pp:247-259 [Conf]
   
5. Mandayam K. Srivas, Harald Rueß, David Cyrluk
   Hardware Verification Using PVS. [Citation Graph (0, 0)][DBLP]
   Formal Hardware Verification, 1997, pp:156-205 [Conf]
   
6. David Cyrluk
   Inverting the Abstraction Mapping: A Methodology for Hardware Verification. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:172-186 [Conf]
   
7. David A. Cyrluk, Mandayam K. Srivas
   Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. [Citation Graph (0, 0)][DBLP]
   ICCD, 1995, pp:538-0 [Conf]
   
8. David Cyrluk, John M. Rushby, Mandayam K. Srivas
   Systematic Formal Verification of Interpreters. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1997, pp:140-0 [Conf]
   
9. David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
   Effective Theorem Proving for Hardware Verification. [Citation Graph (0, 0)][DBLP]
   TPCD, 1994, pp:203-222 [Conf]
   
10. Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen
    A Multi-Level Geometric Reasoning System for Vision. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:291-332 [Journal]