Jared Davis - Concepedia

Author

Jared Davis

Also Known As

Davis, Jared, Jared Davis

Publications

336

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	68
2	Medicine	1	1	80
3	Natural Sciences	1	1	80
4	Biochemistry	1	1	80
5	Computer Engineering	1	1	45

Jared Davis

Publications

198

Citations

H-Index

Page 1

	Year	Citations
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, Journal of Medicinal Chemistry Psychotropic MedicationPharmacotherapyExperimental PharmacologyMolecular PharmacologyMedicinal Chemistry	2006	80
A flexible formal verification framework for industrial scale validation Anna Slobodová, Jared Davis, Sol Swords, Industrial Scale ValidationEngineeringHardware Verification LanguageIndustrial EngineeringVerification	2011	45
Masked Language Modeling for Proteins via Linearly Scalable Long-Context\n Transformers Krzysztof Choromański, Valerii Likhosherstov, D. Dohan, arXiv (Cornell University)	2020	40
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it) Jared Davis, Magnus O. Myreen Journal of Automated Reasoning EngineeringAutomated ReasoningProof ComplexityVerificationMachine Code	2015	23
The reflective Milawa theorem prover is sound (down to the machine code that runs it Magnus O. Myreen, Jared Davis	2014	10

Page 1