1. Geometric Mechanics on Riemannian Manifolds, with Applications to Partial Differential Equations

2. Geometric Analysis on Heisenberg Manifolds and Generalizations

3. Sub-Riemannian Geometry -- Theory and examples

4. Heat Kernels-- Methods and Techniques

5. An Introduction to Vectorial Geometry

6. Wp-Calculus, An Introduction to Formal Languages

7. Euclidean and Non-Euclidean Geometry: A metric approach

8. Geometric Modeling in Probability and Statistics

9. An Informal Introduction to Stochastic Calculus with Applications


An Introduction to Formal methods

Published by Wiley Custom Publishing, 2006 (1st ed.) and 2014 (2nd ed.)
(with M. Zeiger).