Image by MabelAmber on Pixabay · Pixabay License
Robert S. Boyer
Sign in to saveAlso known as Robert Stephen Boyer, Bob Boyer
American mathematician, computer scientist and philosopher
Person · Open Library
- 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 95,805x
- Hallmarks of Cancer: The Next Generation
· 2011 · cited 56,572x
- Research electronic data capture (REDCap)—A metadata-driven methodology and workflow process for providing translational research informatics support
· 2009 · cited 46,854x
- Regression Shrinkage and Selection Via the Lasso
· 1996 · cited 39,814x
- The PHQ-9
· 2001 · cited 39,527x
via Crossref · CC0
Wikidata facts
- Instance of
- human
- Given name
- Robert
- Gender
- male
- Citizenship
- United States
- Occupation
- computer scientist
- Educated at
- University of Texas at Austin
- Employer
- University of Texas at Austin
- Doctoral advisor
- Woody Bledsoe
Show 3 more facts
- date of birth
- 2000-01-01
- Erdős number
- 3
Sources (2)
via Wikidata · CC0