Martin Dunstan

According to our database1, Martin Dunstan authored at least 6 papers between 1998 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...