Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-cryptographic-protocols-preventing-%E2%80%9Cman-middle%E2%80%9D-attacks is [Clear All Filters]
1995. Use of linear algebra kernels to build an efficient finite element solver. Parallel Computing. 21(1):161-173.
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.
1986. Polynomial iteration for nonsymmetric indefinite linear systems. Numerical Analysis. :103-117.
1997. Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.
1994. Inexact and Preconditioned Uzawa Algorithms for Saddle Point Problems. SIAM Journal on Numerical Analysis. 31(6):1645-1661.
1986. Preconditioning by Fast Direct Methods for Nonself-Adjoint Nonseparable Elliptic Equations. SIAM Journal on Numerical Analysis. 23(1):44-57.
2005. Finite Elements and Fast Iterative Solvers : with Applications in Incompressible Fluid Dynamics. :416.
2006. Block preconditioners based on approximate commutators. SIAM Journal on Scientific Computing. 27(5):1651-1668.
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 multigrid method enhanced by Krylov subspace iteration for discrete Helmholtz equations. SIAM Journal on scientific computing. 23(4):1291-1315.
2003. A characterisation of oscillations in the discrete two-dimensional convection-diffusion equation. Mathematics of computation. 72(241):263-288.
2008. H (div) preconditioning for a mixed finite element formulation of the stochastic diffusion problem.
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.
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.
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).
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
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.