Publications
1986. A Stability Analysis of Incomplete LU Factorizations. Mathematics of Computation. 47(175):191-217.
2002. Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations. Numerische Mathematik. 90(4):665-688.
2007. Solving the stochastic steady-state diffusion problem using multigrid. IMA journal of numerical analysis. 27(4):675-675.
1998. Efficient Iterative Solution of the Three-Dimensional Helmholtz Equation. Journal of Computational Physics. 142(1):163-181.
1990. Iterative methods for cyclically reduced non-self-adjoint linear systems. Math. Comp. 54(190):671-700.
1997. Perturbation of eigenvalues of preconditioned Navier-Stokes operators. SIAM Journal on Matrix Analysis and Applications. 18(3):733-751.
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.
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.
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.