Search the dblp DataBase

Publications of Author

1. Doron Bustan, John Havlicek
   Some Complexity Results for SystemVerilog Assertions. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:205-218 [Conf]
   
2. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
   Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:27-39 [Conf]
   
3. John Havlicek
   Computable Obstructions to Wait-free Computability. [Citation Graph (0, 0)][DBLP]
   FOCS, 1997, pp:80-89 [Conf]
   
4. Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
   The Definition of a Temporal Clock Operator. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:857-870 [Conf]
   
5. Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
   A Method for Synthesizing Boolean Constrains. [Citation Graph (0, 0)][DBLP]
   IWLS, 2002, pp:351-353 [Conf]
   
6. E. Allen Emerson, John Havlicek, Richard J. Trefler
   Virtual Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
   LICS, 2000, pp:121-131 [Conf]
   
7. Cindy Eisner, Dana Fisman, John Havlicek
   A topological characterization of weakness. [Citation Graph (0, 0)][DBLP]
   PODC, 2005, pp:1-8 [Conf]
   
8. John Havlicek
   Computable Obstructions to Wait-Free Computability. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 2000, v:13, n:2, pp:59-83 [Journal]
   
9. Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
   Formal Verification Successes at Motorola. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:2, pp:117-123 [Journal]
   
10. John Havlicek
    A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2004, v:33, n:5, pp:1215-1222 [Journal]