Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1998. When Two Hands Are Better Than One: Enhancing Collaboration Using Single Display Groupware. CHI’98. Extended Abstracts. :287-288.
2006. A note on generalized and hypergeneralized projectors. Linear Algebra and its Applications. 412(2–3):408-411.
1999. Single display groupware: a model for co-present collaboration. Proceedings of the SIGCHI conference on Human factors in computing systems: the CHI is the limit. :286-293.
1995. On the stability of sequential updates and downdates. Signal Processing, IEEE Transactions on. 43(11):2642-2648.
1998. Four algorithms for the efficient computation of truncated pivoted QR approximation to a sparse matrix. TR-98-12
1995. Theory of the Combination of Observations Least Subject to Errors. SIAM, Philadelphia.[Translation of Gauss (1821, 1823, 1826).].
1995. On the solution of block Hessenberg systems. Numerical Linear Algebra with Applications. 2(3):287-296.
2000. The decompositional approach to matrix computation. Computing in Science Engineering. 2(1):50-59.
1998. On hyperbolic triangularization: Stability and pivoting. SIAM journal on matrix analysis and applications. 19(4):847-860.
1997. On the Perturbation of LU and Cholesky Factors. IMA Journal of Numerical AnalysisIMA J Numer Anal. 17(1):1-6.
2005. Error Analysis of the Quasi-Gram–Schmidt Algorithm. SIAM Journal on Matrix Analysis and Applications. 27(2):493-506.