Douglas A. Stuart - Concepedia

Author

Douglas A. Stuart

The University of Texas at Austin

Also Known As

D. Stuart, D.A. Stuart, DOUGLAS A. STUART, Douglas A Stuart, Douglas A. Stuart, Douglas Stuart

Publications

2.3K

Citations

H-Index

Concepts

All Affiliations

The University of Texas at Austin Northwestern University

About

Douglas A. Stuart is an author at The University of Texas at Austin specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	373
2	Natural Sciences	3	3	172
3	Medicine	1	1	11
4	Applied Physics	1	1	40
5	Biomedical Engineering	1	1	21

Douglas A. Stuart

Publications

Citations

H-Index

Page 1

	Year	Citations
In Vivo Glucose Measurement by Surface-Enhanced Raman Spectroscopy Douglas A. Stuart, Jonathan M. Yuen, Nilam C. Shah, Analytical Chemistry	2006	352
Glucose Sensing Using Near-Infrared Surface-Enhanced Raman Spectroscopy: Gold Surfaces, 10-Day Stability, and Improved Accuracy Douglas A. Stuart, Chanda Ranjit Yonzon, Xiaoyu Zhang, Analytical Chemistry	2005	182
A Method for Verifying Properties of Modechart Specifications. Farnam Jahanian, Douglas A. Stuart	1988	128
Surface-enhanced Raman spectroscopy of half-mustard agent Douglas A. Stuart, Kevin B. Biggs, Richard P. Van Duyne The Analyst Materials ScienceChemical EngineeringEngineeringNatural SciencesSpectroscopy	2006	118
Surface-enhanced Raman spectroscopy with a laser pointer light source and miniature spectrometer Matthew A. Young, Douglas A. Stuart, Olga Lyandres, Canadian Journal of Chemistry EngineeringMiniature SpectrometerSurface-enhanced Raman ScatteringFiber OpticsChemistry	2004	40
Formal Specification of Real-time Systems Farnam Jahanian, Aloysius K. Mok, Douglas A. Stuart Real-time SystemFormal SpecificationEngineeringAutomated ReasoningReal-time Operation	1988	36
A Formal Approach to Constructing Secure Air Vehicle Software Darren Cofer, Andrew Gacek, John Backes, Computer EngineeringInformation SecurityFormal ApproachSoftware EngineeringCyber Security Engineering	2018	34
Simulation-verification: biting at the state explosion problem Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, IEEE Transactions on Software Engineering EngineeringSimulation-verification GraphVerificationComputer-aided VerificationIntermediate Analysis Method	2001	32
Implementing a verifier for real-time systems Douglas A. Stuart EngineeringVerificationSoftware SystemsComputer ArchitectureSoftware Analysis	1990	31
Refractive-index-sensitive, plasmon-resonant-scattering, and surface-enhanced Raman-scattering nanoparticles and arrays as biological sensing platforms Douglas A. Stuart, Amanda J. Haes, Adam D. McFarland, Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE NanoparticlesIntense ColorEngineeringMetal NanoparticlesSurface-enhanced Raman Scattering	2004	21

Page 1