John Havlicek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1997–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FMCAD | Realtime regular expressions for analog and mixed-signal assertions. | John Havlicek, Scott Little |
| 2006 | CAV | Some Complexity Results for SystemVerilog Assertions. | Doron Bustan, John Havlicek |
| 2005 | PODC | A topological characterization of weakness. | Cindy Eisner, Dana Fisman, John Havlicek |
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
| 2003 | ICALP | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 2000 | LICS | Virtual Symmetry Reduction. | E. Allen Emerson, John Havlicek, Richard J. Trefler |
| 1997 | FOCS | Computable Obstructions to Wait-free Computability. | John Havlicek |