Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jeremy Avigad

Metastability in the Furstenberg–Zimmer Tower

Fundamenta Mathematicae
Number TheoryAlgebra
2010English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

Related publications

Recent Progress in the Zimmer Program

Notices of the American Mathematical Society
Mathematics
2018English

Recent Developments in the Zimmer Program

Notices of the American Mathematical Society
Mathematics
2020English

Metastability in Bubbling AdS Space

Journal of High Energy Physics
High Energy PhysicsNuclear
2015English

Metastability in Josephson Transmission Lines

Physical Review B
2000English

Metastability of the Antistructure Pair in GaAs

Physical Review B
1997English

The Thermodynamic Scale of Inorganic Crystalline Metastability

Science advances
Multidisciplinary
2016English

Metastability Phenomena in VO2 Thin Films

Condensed Matter
2017English

A Gloss on a Theorem of Furstenberg

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Metastability in the Inhibitory Mechanism of Human Α1-Antitrypsin

Journal of Biological Chemistry
BiochemistryCell BiologyMolecular Biology
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy