Martin Dunstan

According to our database, Martin Dunstan authored at least 7 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Iain Martin, Steve Parkes, Martin Dunstan

IEEE Trans. Aerosp. Electron. Syst., 2014

Asteroid Modeling for Testing Spacecraft Approach and Landing.

Iain Martin, Steve Parkes, Martin Dunstan, Nick Rowell

IEEE Computer Graphics and Applications, 2014

2013

Image Processing for Near Earth Object Optical Guidance Systems.

Nicholas Rowell, Steve Parkes, Martin Dunstan

IEEE Trans. Aerosp. Electron. Syst., 2013

2001

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

Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre

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

2000

Larch/Aldor: a Larch BISL for AXIOM and Aldor.

Martin Dunstan

PhD thesis, 2000

1999

Formal Methods for Extensions to CAS.

Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton

Proceedings of the FM'99 - Formal Methods, 1999

1998

Lightweight Formal Methods for Computer Algebra Systems.

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin

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