Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Emma L. Clarke | Researchclopedia

Back to researchers

Emma L. Clarke

Carnegie Mellon University ORCID

58

Works

3,567

Citations

6

h-index

6

i10-index

Research Topics

Cosmology and Gravitation Theories Pulsars and Gravitational Waves Research Formal Methods in Verification

Affiliations

Trinity College Dublin2019–2019

Laboratoire d'Informatique de Paris-Nord2005–2005

Carnegie Mellon University1996–2025

Top Works

Symbolic model checking

Emma L. Clarke,K. McMillan,et al.

19962,846 citations

Geophysics and Gravity Measurements

Computational Physics and Python Applications

NuSMV: A New Symbolic Model Verifier

Alessandro Cimatti,Emma L. Clarke,et al.

1999610 citations

Can we observe the QCD phase transition-generated gravitational waves through pulsar timing arrays?

Axel Brandenburg,Emma L. Clarke,et al.

202157 citations

Checking consistency of C and Verilog using predicate abstraction and induction

Daniel Kroening,Emma L. Clarke

200522 citations

Big Bang Nucleosynthesis Limits and Relic Gravitational-Wave Detection Prospects

Tina Kahniashvili,Emma L. Clarke,et al.

202213 citations

Hardware verification using ANSI-C programs as a reference

Emma L. Clarke,Daniel Kroening

200313 citations

Relic gravitational waves from the chiral plasma instability in the standard cosmological model

Axel Brandenburg,Emma L. Clarke,et al.

20243 citations

Datasets for "Can we observe the QCD phase transition-generated gravitational waves through pulsar timing arrays?

Axel Brandenburg,Emma L. Clarke,et al.

20211 citations

Datasets for ``Big bang nucleosynthesis limits and relic gravitational waves detection prospects''

Tina Kahniashvili,Emma L. Clarke,et al.

20211 citations