# Martin Dunstan

According to our database

Collaborative distances:

^{1}, Martin Dunstan authored at least 6 papers between 1998 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Modeling cratered surfaces with real and synthetic terrain for testing planetary landers.

IEEE Trans. Aerospace and Electronic Systems, 2014

Asteroid Modeling for Testing Spacecraft Approach and Landing.

IEEE Computer Graphics and Applications, 2014

2013

Image Processing for Near Earth Object Optical Guidance Systems.

IEEE Trans. Aerospace and Electronic Systems, 2013

2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

Formal Methods for Extensions to CAS.

Proceedings of the FM'99 - Formal Methods, 1999

1998

Lightweight Formal Methods for Computer Algebra Systems.

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998