John W. Havlicek

From MaRDI portal
Person:1346341

Available identifiers

zbMath Open havlicek.john-wMaRDI QIDQ1346341

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51378962020-12-03Paper
A topological characterization of weakness2015-03-10Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations2014-07-17Paper
Computer Aided Verification2010-04-20Paper
Some Complexity Results for SystemVerilog Assertions2007-09-05Paper
A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes2005-02-21Paper
https://portal.mardi4nfdi.de/entity/Q44492252004-02-08Paper
Multidimensional orthogonal FM transforms2003-08-13Paper
Formal verification successes at Motorola2003-05-11Paper
https://portal.mardi4nfdi.de/entity/Q48383401995-07-11Paper
The cohomology of holomorphic self maps of the Riemann sphere1995-06-18Paper

Research outcomes over time

This page was built for person: John W. Havlicek

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1346341&oldid=11082595"
Powered by MediaWiki