Publication
-
May 1998
-
Connecting informal and formal mathematics Dissertation
Specification and Analysis of Embedded SystemsMay 1998 -
Primes in several classes of the positive matrices Article
Linear Algebra and its Applications, 277(1-3), 149-185.June 1998 -
June 1998
-
Randomness is hard In Proceedings
June 1998 -
Coordination languages for parallel programming Article
Parallel Computing, 24(7), 989-1004.July 1998
-
Using coordination to parallelize sparse-grid methods for 3-D CFD problems Article
Parallel Computing, 24(7), 1081-1106.July 1998
-
A defect correction method for parabolic singular perturbation problems on a rectangle In Proceedings
July 1998