Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jeremy Avigad

Metastability in the Furstenberg–Zimmer Tower

Fundamenta Mathematicae

English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages

English

Related publications

Recent Progress in the Zimmer Program

Notices of the American Mathematical Society

English

Recent Developments in the Zimmer Program

Notices of the American Mathematical Society

English

Metastability in Bubbling AdS Space

Journal of High Energy Physics

High Energy Physics

English

Metastability in Josephson Transmission Lines

Physical Review B

English

Metastability of the Antistructure Pair in GaAs

Physical Review B

English

The Thermodynamic Scale of Inorganic Crystalline Metastability

Science advances

Multidisciplinary

English

Metastability Phenomena in VO2 Thin Films

Condensed Matter

English

A Gloss on a Theorem of Furstenberg

Proceedings of the American Mathematical Society

Applied Mathematics

English

Metastability in the Inhibitory Mechanism of Human Α1-Antitrypsin

Journal of Biological Chemistry

Molecular Biology

English