Travelled to:1 × The Netherlands
3 × USA
Collaborated with:D.Bustan C.Eisner D.Fisman A.McIsaac D.V.Campenhout E.A.Emerson R.J.Trefler Y.Lustig
Talks about:tempor (2) symmetri (1) virtual (1) verilog (1) truncat (1) definit (1) complex (1) system (1) result (1) reduct (1)
Person: John Havlicek
DBLP: Havlicek:John
Contributed to:
20062003
2003
2000Wrote 4 papers:
- CAV-2006-BustanH #complexity
- Some Complexity Results for SystemVerilog Assertions (DB, JH), pp. 205–218.
- CAV-2003-EisnerFHLMC #logic #reasoning
- Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.
- ICALP-2003-EisnerFHMC
- The Definition of a Temporal Clock Operator (CE, DF, JH, AM, DVC), pp. 857–870.
- LICS-2000-EmersonHT #reduction #symmetry
- Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.