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