Concepedia

Steve Anton

SA

Statistics

Publications

6

Citations

746

H-Index

6

Active since

2006

Affiliations

University of Florida(Current)

Wake Forest University

University of Alabama at Birmingham

Yale University

University of Pittsburgh

Steve Anton is an author at University of Florida specializing in formal verification, formal specification, and data security.

Top concepts

Publications per year

2006–2022

6

Publications

6

Effect of Calorie Restriction With or Without Exercise on Insulin Sensitivity, β-Cell Function, Fat Cell Size, and Ectopic Lipid in Overweight Subjects

D. Enette Larson‐Meyer, Leonie K. Heilbronn, Leanne M. Redman et al. · Diabetes Care · 2006 · 506 citations · Full text

Planning for change in a formal verification of the raft consensus protocol

Doug Woos, James R. Wilcox, Steve Anton et al. · 2016 · 125 citations · Full text

, , +21

Effect of a six-week times restricted eating intervention on the body composition in early elderly men with overweight

Przemysław Domaszewski, Mariusz Konieczny, Paweł Pakosz et al. · Scientific Reports · 2022 · 37 citations · Full text

The Act of Voluntary Wheel Running Reverses Dietary Hyperphagia and Increases Leptin Signaling in Ventral Tegmental Area of Aged Obese Rats

Alexandra Shapiro, Kit‐Yan Cheng, Yongxin Gao et al. · Gerontology · 2010 · 34 citations · Full text

The MAT-sf: Clinical Relevance and Validity

W. Jack Rejeski, A. P. Marsh, Steve Anton et al. · The Journals of Gerontology Series A · 2013 · 24 citations · Full text

1–5 of 6