Publication
-
Aspects of the finite element method Dissertation
November 1982
-
Topological dynamix Dissertation
December 1982 -
Bounds on the number of eulerian orientations Article
Combinatorica, 375-380.January 1983
-
A Counterexample to a Conjecture of J.M. Hammersley and D.J.A. Welsh concerning First-Passage Percolation Article
Advances in Applied Probability, 465-467.January 1983 -
Periodicity and absolute regularity Tech Report
January 1983 -
Formal proof systems for program equivalence In Proceedings
January 1983 -
Fairness assumptions for CSP in a temporal logic framework In Proceedings
January 1983 -
Symmetric systems with semisimple structure algebra: the quaternionic case Article
Systems & Control Letters, 3(3), 151-154.January 1983