Publications
1986. A Hybrid Chebyshev Krylov Subspace Algorithm for Solving Nonsymmetric Systems of Linear Equations. SIAM Journal on Scientific and Statistical ComputingSIAM J. Sci. and Stat. Comput.. 7(3):840-840.
2006. Fourier analysis of multigrid for a model two-dimensional convection-diffusion equation. BIT Numerical Mathematics. 46(2):283-306.
1991. Iterative methods for cyclically reduced non-self-adjoint linear systems II. Math. Comp. 56(193):215-242.
2001. Preconditioners for Saddle Point Problems Arising in Computational Fluid Dynamics. UMIACS-TR-2001-88
1982. Iterative methods for large, sparse, nonsymmetric systems of linear equations.. Dissertation Abstracts International Part B: Science and Engineering[DISS. ABST. INT. PT. B- SCI. & ENG.],. 43(5):1982-1982.
2005. Finite Elements and Fast Iterative Solvers : with Applications in Incompressible Fluid Dynamics. :416.
2007. IFISS: A Matlab toolbox for modelling incompressible flow. ACM Transactions on Mathematical Software. 33(2)
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.
1994. Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
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.
2006. Block preconditioners based on approximate commutators. SIAM Journal on Scientific Computing. 27(5):1651-1668.
2005. Preconditioning strategies for models of incompressible flow. Journal of Scientific Computing. 25(1):347-366.
1993. Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
2002. A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
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.
2009. Pairwise Document Similarity in Large Collections with MapReduce. Relation. 10(1.91):8372-8372.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
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.