Concepedia

G. E. Mints

GE

18

Publications

1.1K

Citations

14

H-Index

1972

Active since

Affiliations

Cornell University(Current)

Case Western Reserve University

Stanford University

South Texas Veterans Health Care System

Dartmouth College

G. E. Mints is an author at Cornell University specializing in formal methods, engineering, and automated reasoning.

Top concepts

Formal MethodsEngineeringAutomated ReasoningComputer ScienceMedicineHealthLanguageSemanticsFormal LogicFormal Verification

Publications per year

1972–2021

18

Publications

18

COVID-19 presenting with ophthalmoparesis from cranial nerve palsy

Marc Dinkin, Virginia Gao, Joshua Kahan et al. · Neurology · 2020 · 328 citations

Neurologic Complications, Ocular Disease, Long Covid +9

Point‐of‐Care Ultrasound for Hospitalists: A Position Statement of the Society of Hospital Medicine

Nilam J. Soni, Daniel Schnobrich, Benji K. Mathews et al. · Journal of Hospital Medicine · 2019 · 194 citations · Full text

Practice Management, Medical Ultrasound, Pocus Use +21

Derivability of admissible rules

G. E. Mints · Journal of Mathematical Sciences · 1976 · 67 citations

Engineering, Business Rule, Rule Language +4

Finite investigations of transfinite derivations

G. E. Mints · Journal of Soviet Mathematics · 1978 · 64 citations

Finite Investigations, Theoretical Mathematics, Algebraic Analysis +1

Comparison of in-person versus tele-ultrasound point-of-care ultrasound training during the COVID-19 pandemic

Nilam J. Soni, Jeremy S. Boyd, G. E. Mints et al. · The Ultrasound Journal · 2021 · 64 citations · Full text

Rows per page

1–5 of 18