According to our database1, Martin Dunstan authored at least 6 papers between 1998 and 2014.
Legend:Book In proceedings Article PhD thesis Other
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
Image Processing for Near Earth Object Optical Guidance Systems.
IEEE Trans. Aerospace and Electronic Systems, 2013
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Formal Methods for Extensions to CAS.
Proceedings of the FM'99 - Formal Methods, 1999
Lightweight Formal Methods for Computer Algebra Systems.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998