Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by John Havlicek
A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes
SIAM Journal on Computing
Mathematics
Computer Science
Related publications
Free Higher Groups in Homotopy Type Theory
A Lower Bound on Wait-Free Counting
Journal of Algorithms
On the Homotopy Type of VMO
Topological Methods in Nonlinear Analysis
Applied Mathematics
Analysis
On Self-Stabilizing Wait-Free Clock Synchronization
Parallel Processing Letters
Hardware
Theoretical Computer Science
Architecture
Software
OpenMemDB: A Wait-Free, In-Memory Database
The Homotopy Theory of Type Theories
Advances in Mathematics
Mathematics
A Note on Free Lie Algebras
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Note on Square-Free Factorizations
A Note on the Homology of Free Abelianized Extensions
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
