| Planet surface simulation with pangu SM Parkes, I Martin, M Dunstan, D Matthews Space ops 2004 conference, 389, 2004 | 87 | 2004 |
| Computer algebra meets automated theorem proving: Integrating Maple and PVS A Adams, M Dunstan, H Gottliebsen, T Kelsey, U Martin, S Owre Theorem Proving in Higher Order Logics: 14th International Conference …, 2001 | 66 | 2001 |
| Lightweight formal methods for computer algebra systems M Dunstan, T Kelsey, S Linton, U Martin Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998 | 36 | 1998 |
| Planetary surface image generation for testing future space missions with pangu I Martin, M Dunstan, MS Gestido 2nd RPI Space Imaging Workshop, 2019 | 30 | 2019 |
| Image processing for near earth object optical guidance systems N Rowell, S Parkes, M Dunstan IEEE Transactions on Aerospace and Electronic Systems 49 (2), 1057-1072, 2013 | 18 | 2013 |
| PANGU: Virtual spacecraft image generation N Rowell, S Parkes, M Dunstan, O Dubois-Matra 5th Int. Conf. on Astrodynamics Tools and Techniques, ICATT, 2012 | 15 | 2012 |
| LIDAR-based GNC for Planetary Landing: Simulation with PANGU S Parkes, M Dunstan, D Matthews, I Martin, V Silva DASIA 2003-Data Systems In Aerospace 532, 2003 | 14 | 2003 |
| Modeling cratered surfaces with real and synthetic terrain for testing planetary landers I Martin, S Parkes, M Dunstan IEEE Transactions on Aerospace and Electronic Systems 50 (4), 2916-2928, 2014 | 13 | 2014 |
| Image processing chip for relative navigation for lunar landing M Dunstan, K Hornbostel 9th International ESA Conference on Guidance, Navigation, and Control …, 2014 | 11 | 2014 |
| Testing advanced navigation systems for planetary landers and rovers S Parkes, M Dunstan, I Martin, M McCrum, O Dubois-Matra 60th International Astronautical Congress 2009, IAC 2009, 869-877, 2009 | 10 | 2009 |
| Asteroid modeling for testing spacecraft approach and landing I Martin, S Parkes, M Dunstan, N Rowell IEEE computer graphics and applications 34 (4), 52-62, 2014 | 8 | 2014 |
| Visual navigation chip for planetary landers M Dunstan, S Parkes, S Mancuso DASIA 2005-Data Systems in Aerospace 602, 2005 | 8 | 2005 |
| The FEIC development for NPAL project: A core image processing chip for smart landers navigation applications M Dunstan, M Souyri MicroElectronics Presentation Days, ESA/ESTEC, 2004 | 8 | 2004 |
| Formal methods for extensions to CAS MN Dunstan, T Kelsey, U Martin, S Linton International Symposium on Formal Methods, 1758-1777, 1999 | 8 | 1999 |
| SpaceFibre: GBIT/S links for use on board spacecraft S Parkes, M Suess, M Dunstan, C McClements 60th International Astronautical Congress 2009, IAC 2009, 2905-2912, 2009 | 7 | 2009 |
| Planet surface simulation for testing vision-based, autonomous planetary landers DS Parkes, DM Dunstan, DI Martin, DP Mendham, DS Mancuso 57th International Astronautical Congress, A3. P. 3.09, 2006 | 7 | 2006 |
| SpaceWire router technology makes ASIC interfacing easy SM Parkes, C McClements, M Dunstan International SpaceWire Seminar, 2003 | 7 | 2003 |
| Autonomous visual recognition of known surface landmarks for optical navigation around asteroids N Rowell, MN Dunstan, SM Parkes, J Gil-Fernández, IHSN BV The Aeronautical Journal 119 (1220), 1193-1222, 2015 | 6 | 2015 |
| Realistic image generation for testing vision-based autonomous rendezvous M McCrum, S Parkes, M Dunstan, I Martin ASTRA 2008, 11-13, 2008 | 6 | 2008 |
| Mercury surface simulation for Bepi Colombo lander SM Parkes, I Martin, M Dunstan, S Mills Data Systems in Aerospace 509, 2002 | 6 | 2002 |
Tom KelseyProfessor of Health Data Science, University of St AndrewsZweryfikowany adres z st-andrews.ac.uk
