Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. M. Clarke
Long Term Changes in EUV and X-Ray Emissions From the Solar Corona and Chromosphere as Measured by the Response of the Earth’s Ionosphere During Total Solar Eclipses From 1932 to 1999
Annales Geophysicae
Planetary Sciences
Geology
Space
Atmospheric Science
Planetary Science
Astrophysics
Earth
Astronomy
Exploiting Symmetry in Temporal Logic Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Program Slicing of Hardware Description Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Nobel Lecture: The BEH Mechanism and Its Scalar Boson
Reviews of Modern Physics
Astronomy
Physics
Nobel Lecture: Single-Molecule Spectroscopy, Imaging, and Photocontrol: Foundations for Super-Resolution Microscopy
Reviews of Modern Physics
Astronomy
Physics
The Conformal Bootstrap: Theory, Numerical Techniques, and Applications
Reviews of Modern Physics
Astronomy
Physics
Erratum: Axions and the Strong CP Problem [Rev. Mod. Phys. 82 , 557 (2010)]
Reviews of Modern Physics
Astronomy
Physics
Colloquium: Quantum Networks With Trapped Ions
Reviews of Modern Physics
Astronomy
Physics
Ion Acceleration by Superintense Laser-Plasma Interaction
Reviews of Modern Physics
Astronomy
Physics
Colloquium: Hidden Order, Superconductivity, and Magnetism: The Unsolved Case ofURu2Si2
Reviews of Modern Physics
Astronomy
Physics
Colloquium: Area Laws for the Entanglement Entropy
Reviews of Modern Physics
Astronomy
Physics
Sap Flow and Sugar Transport in Plants
Reviews of Modern Physics
Astronomy
Physics
Asymmetries in Top Quark Pair Production at Hadron Colliders
Reviews of Modern Physics
Astronomy
Physics