Virtual Symmetry Reduction. - E. Allen Emerson; John Havlicek; Richard J. Trefler (LICS, 2000)

Computable Obstructions to Wait-Free Computability. - John Havlicek (Distributed Comput., 2000)

A Method for Synthesizing Boolean Constrains. - Jun Yuan 007; Kurt Shultz; John Havlicek; Ken Albin; Adnan Aziz (IWLS, 2002)

Reasoning with Temporal Logic on Truncated Paths. - Cindy Eisner; Dana Fisman; John Havlicek; Yoad Lustig; Anthony McIsaac; David Van Campenhout (CAV, 2003)

The Definition of a Temporal Clock Operator. - Cindy Eisner; Dana Fisman; John Havlicek; Anthony McIsaac; David Van Campenhout (ICALP, 2003)

Formal Verification Successes at Motorola. - Magdy S. Abadir; Ken Albin; John Havlicek; Narayanan Krishnamurthy; Andrew K. Martin (Formal Methods Syst. Des., 2003)

A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes. - John Havlicek (SIAM J. Comput., 2004)

A topological characterization of weakness. - Cindy Eisner; Dana Fisman; John Havlicek (PODC, 2005)

Some Complexity Results for SystemVerilog Assertions. - Doron Bustan; John Havlicek (CAV, 2006)

Property-Based Monitoring of Analog and Mixed-Signal Systems. - John Havlicek; Scott Little; Oded Maler; Dejan Nickovic (FORMATS, 2010)

Realtime regular expressions for analog and mixed-signal assertions. - John Havlicek; Scott Little (FMCAD, 2011)

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay; Scott Little; John Havlicek; Srikanth Chandrasekaran (ACM Trans. Design Autom. Electr. Syst., 2012)

Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. - Cindy Eisner; Dana Fisman; John Havlicek (ACM Trans. Comput. Log., 2014)