Publications
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.
2007. Solving the stochastic steady-state diffusion problem using multigrid. IMA journal of numerical analysis. 27(4):675-675.
1993. Performance Enhancements and Parallel Algorithms for Two Multilevel Preconditioners. SIAM Journal on Scientific ComputingSIAM J. Sci. Comput.. 14(4):890-890.
1990. Iterative methods for cyclically reduced non-self-adjoint linear systems. Math. Comp. 54(190):671-700.
1996. Multigrid and Krylov subspace methods for the discrete Stokes equations. International journal for numerical methods in fluids. 22(8):755-770.
1996. Fast nonsymmetric iterations and preconditioning for Navier-Stokes equations. SIAM Journal on Scientific Computing. 17(1):33-46.
2006. Fourier analysis of multigrid for a model two-dimensional convection-diffusion equation. BIT Numerical Mathematics. 46(2):283-306.
2002. Block preconditioners for the discrete incompressible Navier–Stokes equations. International Journal for Numerical Methods in Fluids. 40(3‐4):333-344.
1989. Ordering techniques for the preconditioned conjugate gradient method on parallel computers. Computer Physics Communications. 53(1-3):253-269.
2001. Preconditioners for Saddle Point Problems Arising in Computational Fluid Dynamics. UMIACS-TR-2001-88
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. IFISS: A Matlab toolbox for modelling incompressible flow. ACM Transactions on Mathematical Software. 33(2)
2005. Finite Elements and Fast Iterative Solvers : with Applications in Incompressible Fluid Dynamics. :416.
1994. Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
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.
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
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).
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.
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.