Martin Dunstan

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Complex Objects

Multiresolution

Image Segmentation

Top Venues

IEEE Trans. Aerosp. Electron. Syst.

IEEE Computer Graphics and Applications

Publications

Iain Martin, Steve Parkes, Martin Dunstan
Modeling cratered surfaces with real and synthetic terrain for testing planetary landers. IEEE Trans. Aerosp. Electron. Syst. 50 (4) (2014)
Iain Martin, Steve Parkes, Martin Dunstan, Nick Rowell
Asteroid Modeling for Testing Spacecraft Approach and Landing. IEEE Computer Graphics and Applications 34 (4) (2014)
Nicholas Rowell, Steve Parkes, Martin Dunstan
Image Processing for Near Earth Object Optical Guidance Systems. IEEE Trans. Aerosp. Electron. Syst. 49 (2) (2013)
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs (2001)
Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton
Formal Methods for Extensions to CAS. World Congress on Formal Methods (1999)
Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
Lightweight Formal Methods for Computer Algebra Systems. ISSAC (1998)