Concepedia

Robert E. Wells

RE

7

Publications

300

Citations

7

H-Index

1971

Active since

Affiliations

The University of Texas at Austin(Current)

Mayo Clinic in Arizona

Robert E. Wells is an author at The University of Texas at Austin specializing in system software, medicine, and formal specification.

Top concepts

MedicineEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

1971–2005

7

Publications

7

Gypsy

Allen L. Ambler, Donald I. Good, James C. Browne et al. · ACM SIGSOFT Software Engineering Notes · 1977 · 97 citations · Full text

Engineering, Verification, Software Engineering +17

Effect of lithotomy positions on strain of the obturator and lateral femoral cutaneous nerves

Jonathan P. Litwiller, Robert E. Wells, John R. Halliwill et al. · Clinical Anatomy · 2003 · 59 citations

Allen L. Ambler, Donald I. Good, James C. Browne et al. · 1977 · 45 citations

Engineering, Verification, Software Engineering +17

Naviculo-Capitate Fracture Syndrome

Marvin H. Meyers, Robert E. Wells, J. Paul Harvey · Journal of Bone and Joint Surgery · 1971 · 40 citations

Bone Disease, Skeletal Trauma, Osteoarthritis +5

Allen L. Ambler, Donald I. Good, James C. Browne et al. · ACM SIGPLAN Notices · 1977 · 29 citations

Engineering, Verification, Software Engineering +17

Rows per page

1–5 of 7