15
Publications
1K
Citations
12
H-Index
1988
Active since
Affiliations
Douglas A. Stuart is an author at The University of Texas at Austin specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationReal-time SystemsComputer EngineeringChemistryProgram Analysis
Publications per year
1988–2018
15
15
In Vivo Glucose Measurement by Surface-Enhanced Raman Spectroscopy
Douglas A. Stuart, Jonathan M. Yuen, Nilam C. Shah et al. · Analytical Chemistry · 2006 · 352 citations
A Method for Verifying Properties of Modechart Specifications.
Farnam Jahanian, Douglas A. Stuart · 1988 · 128 citations
Rows per page
1–5 of 15