John W. Havlicek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computable obstructions to wait-free computability	2020-12-03	Paper
A topological characterization of weakness Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing	2015-03-10	Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations ACM Transactions on Computational Logic	2014-07-17	Paper
Reasoning with temporal logic on truncated paths. Lecture Notes in Computer Science	2010-04-20	Paper
Some Complexity Results for SystemVerilog Assertions Computer Aided Verification	2007-09-05	Paper
A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes SIAM Journal on Computing	2005-02-21	Paper
scientific article; zbMATH DE number 2038760 (Why is no real title available?)	2004-02-08	Paper
Multidimensional orthogonal FM transforms IEEE Transactions on Image Processing	2003-08-13	Paper
Formal verification successes at Motorola Formal Methods in System Design	2003-05-11	Paper
scientific article; zbMATH DE number 772534 (Why is no real title available?)	1995-07-11	Paper
The cohomology of holomorphic self maps of the Riemann sphere Mathematische Zeitschrift	1995-06-18	Paper

Research outcomes over time

This page was built for person: John W. Havlicek