Publications
1994. Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
1998. Efficient Iterative Solution of the Three-Dimensional Helmholtz Equation. Journal of Computational Physics. 142(1):163-181.
1994. Inexact and Preconditioned Uzawa Algorithms for Saddle Point Problems. SIAM Journal on Numerical Analysis. 31(6):1645-1661.
1999. Preconditioning for the steady-state Navier-Stokes equations with low viscosity. SIAM Journal on Scientific Computing. 20(4):1299-1316.
2005. Preconditioning strategies for models of incompressible flow. Journal of Scientific Computing. 25(1):347-366.
2006. Block preconditioners based on approximate commutators. SIAM Journal on Scientific Computing. 27(5):1651-1668.
2002. A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
1993. Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
2008. H (div) preconditioning for a mixed finite element formulation of the stochastic diffusion problem.
2005. Efficient iterative algorithms for the stochastic finite element method with application to acoustic scattering. Computer Methods in Applied Mechanics and Engineering. 194(9–11):1037-1055.
1995. Algebraic Analysis of the Hierarchical Basis Preconditioner. SIAM Journal on Matrix Analysis and ApplicationsSIAM. J. Matrix Anal. & Appl.. 16(1):192-192.
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
1995. Use of linear algebra kernels to build an efficient finite element solver. Parallel Computing. 21(1):161-173.
1986. Polynomial iteration for nonsymmetric indefinite linear systems. Numerical Analysis. :103-117.
1989. Relaxed and stabilized incomplete factorizations for non-self-adjoint linear systems. BIT Numerical Mathematics. 29(4):890-915.
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
2006. Modeling identity in archival collections of email: A preliminary study. Proceedings of the 2006 Conference on Email and Anti-Spam (CEAS 06). :95-103.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
2009. Pairwise Document Similarity in Large Collections with MapReduce. Relation. 10(1.91):8372-8372.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1997. Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.