×

zbMATH — the first resource for mathematics

Havlicek, John W.

Compute Distance To:
Author ID: havlicek.john-w Recent zbMATH articles by "Havlicek, John W."
Published as: Havlicek, John; Havlicek, John W.
Documents Indexed: 11 Publications since 1995

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 33 times in 25 Documents Cited by Year
Reasoning with temporal logic on truncated paths. Zbl 1278.68168
Eisner, Cindy; Fisman, Dana; Havlicek, John; Lustig, Yoad; McIsaac, Anthony; Van Campenhout, David
16
2003
A topological characterization of weakness. Zbl 1314.68182
Eisner, Cindy; Fisman, Dana; Havlicek, John
4
2005
Some complexity results for SystemVerilog Assertions. Zbl 1188.68184
Bustan, Doron; Havlicek, John
3
2006
A note on the homotopy type of wait-free atomic snapshot protocol complexes. Zbl 1077.68008
Havlicek, John
3
2004
The definition of a temporal clock operator. Zbl 1039.03505
Eisner, Cindy; Fisman, Dana; Havlicek, John; McIsaac, Anthony; Van Campenhout, David
3
2003
The cohomology of holomorphic self maps of the Riemann sphere. Zbl 0814.55003
Havlicek, John W.
3
1995
Safety and liveness, weakness and strength, and the underlying topological relations. Zbl 1291.03028
Eisner, Cindy; Fisman, Dana; Havlicek, John
1
2014
Safety and liveness, weakness and strength, and the underlying topological relations. Zbl 1291.03028
Eisner, Cindy; Fisman, Dana; Havlicek, John
1
2014
Some complexity results for SystemVerilog Assertions. Zbl 1188.68184
Bustan, Doron; Havlicek, John
3
2006
A topological characterization of weakness. Zbl 1314.68182
Eisner, Cindy; Fisman, Dana; Havlicek, John
4
2005
A note on the homotopy type of wait-free atomic snapshot protocol complexes. Zbl 1077.68008
Havlicek, John
3
2004
Reasoning with temporal logic on truncated paths. Zbl 1278.68168
Eisner, Cindy; Fisman, Dana; Havlicek, John; Lustig, Yoad; McIsaac, Anthony; Van Campenhout, David
16
2003
The definition of a temporal clock operator. Zbl 1039.03505
Eisner, Cindy; Fisman, Dana; Havlicek, John; McIsaac, Anthony; Van Campenhout, David
3
2003
The cohomology of holomorphic self maps of the Riemann sphere. Zbl 0814.55003
Havlicek, John W.
3
1995

Citations by Year