VickiL.Almstrum C.NevilleDean DonGoelman ThomasB.Hilburn JanSmith Support for teaching formal methods. SIGCSE Bulletin 33 71-88 2001 YigalBejerano MarkA.Smith JosephNaor NicoleImmorlica Efficient location area planning for personal communication systems. IEEE/ACM Trans. Netw. 14 438-450 2006 YevgeniyDodis RafailOstrovsky LeonidReyzin AdamSmith Fuzzy Extractors: How to Generate Strong Keys from Biometrcis and Other Noisy Data 2008 YevgeniyDodis LeonidReyzin AdamSmith Fuzzy extractors: How to generate string keys from biometrics and other noisy data. Springer Verlag 2004 HaroldH. SmithIII A.M.Vandivort DebraL.Smarkusky A Texture-Centric Meta-Model for Component-Based Software Architecture. I. J. Comput. Appl. 12 181-194 2005 BensonS. Y.Lam AlanWee-ChungLiew DavidK.Smith HongYan A Regularized Clustering Algorithm Based on Calculus of Variations. Signal Processing Systems 50 281-292 2008 DebraL.Smarkusky HaroldH. SmithIII RedaA.Ammar Healthcare Management System: An Application of Component-Based Software Architectures with Performance. I. J. Comput. Appl. 13 182-210 2006 DebraL.Smarkusky HaroldH. SmithIII A.M.Vandivort A Performance Framework for Component-Based Software Architectures. I. J. Comput. Appl. 12 217-227 2005 GeneSmith Tagging New Riders 2008 I.G.Tironi R.Sperb P.E.Smith W.F. vanGunsteren A generalized reaction field method for molecular dynamics simulations J.~Chem.~Phys. 102 5451–5459 1995