Robert S. Boyer
Sign in to saveAmerican mathematician, computer scientist and philosopher
Person · Open Library
- Born
- 2000-01-01
- Works
- 6
Top works
- A Computational Logic Handbook
- Correctness Problem in Computer Science (International lecture series in computer science)
- Automated reasoning
- A computational logic
- A computational logic handbook
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Development of the Colle-Salvetti correlation-energy formula into a functional of the electron density
· 1988 · cited 94,771x
- Hallmarks of Cancer: The Next Generation
· 2011 · cited 55,716x
- Research electronic data capture (REDCap)—A metadata-driven methodology and workflow process for providing translational research informatics support
· 2009 · cited 45,245x
- Regression Shrinkage and Selection Via the Lasso
· 1996 · cited 38,737x
- The PHQ-9
· 2001 · cited 38,081x
via Crossref · CC0
Key dates
- Born
- 1 January 2000
via Wikidata · CC0
Wikidata facts
- Instance of
- human
- Given name
- Robert
- Gender
- male
- Citizenship
- United States
- Occupation
- mathematician
- Educated at
- University of Texas at Austin
- Employer
- University of Texas at Austin
- Doctoral advisor
- Woody Bledsoe