Concepedia

Jared Davis

JD

Statistics

Publications

5

Citations

198

H-Index

5

Active since

2006

Affiliations

Georgetown University(Current)

Jared Davis is an author at Georgetown University specializing in formal methods, formal verification, and verification.

Top concepts

Publications per year

2006–2020

5

Publications

5

Synthesis and Structure−Activity Relationships of 3-[(2-Methyl-1,3-thiazol-4-yl)ethynyl]pyridine Analogues as Potent, Noncompetitive Metabotropic Glutamate Receptor Subtype 5 Antagonists; Search for Cocaine Medications

Yasuyoshi Iso, Ewa Grajkowska, Jarda T. Wroblewski et al. · Journal of Medicinal Chemistry · 2006 · 80 citations · Full text

, , +18

A flexible formal verification framework for industrial scale validation

Anna Slobodová, Jared Davis, Sol Swords et al. · 2011 · 45 citations

, , +22

Masked Language Modeling for Proteins via Linearly Scalable Long-Context\n Transformers

Krzysztof Choromański, Valerii Likhosherstov, D. Dohan et al. · arXiv (Cornell University) · 2020 · 40 citations · Full text

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

Jared Davis, Magnus O. Myreen · Journal of Automated Reasoning · 2015 · 23 citations

, , +9

The reflective Milawa theorem prover is sound (down to the machine code that runs it

Magnus O. Myreen, Jared Davis · 2014 · 10 citations

1–5 of 5