| A maple-pvs interface MN Dunstan, H Gottliebsen, TW Kelsey, U Martin | 2 | 2001 |
| A novel airborne microwave sounder radiometer (HYMS) | | |
| A novel airborne microwave sounder radiometer (HYMS) O Auriacombe, M Henry, BN Ellison, K Parow-Souchon, F Cahill, A Obeed, ... 2019 44th International Conference on Infrared, Millimeter, and Terahertz …, 2019 | 1 | 2019 |
| A virtual test environment for validating spacecraft optical navigation SM Parkes, I Martin, MN Dunstan, N Rowell, O Dubois-Matra, T Voirin The Aeronautical Journal 117 (1197), 1075-1101, 2013 | 1 | 2013 |
| A wideband spectrometer in the Microsemi RTG4 FPGA S Parkes, M Dunstan, P Scott, D Dillon, A Spark, B Ellison, O Auriacombe Data Systems in Aerospace Conference, DASIA 2018, 2018 | 2 | 2018 |
| A Wideband Spectrometer in the Microsemi RTG4 FPGA M Dunstan, P Scott, D Dillon, A Spark | | |
| Adding Larch/Aldor Specifications to Aldor MN Dunstan | | |
| 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 |
| Asteroid simulation I Martin, S Parkes, M Dunstan DASIA 2004-Data Systems In Aerospace 570, 10, 2004 | 1 | 2004 |
| Autonomous visual recognition of known surface landmarks for optical navigation around asteroids N Rowell, MN Dunstan, SM Parkes, J Gil-Fernández, I Huertas, S Salehi The Aeronautical Journal 119 (1220), 1193-1222, 2015 | 6 | 2015 |
| Computer Algebra meets Automated Reasoning: Integrating Maple and PVS AA Adams, MN Dunstan, H Gottliebsen, TW Kelsey, U Martin, S Owre Proceedings of Theorem Proving in Higher Order Logics, 27-42, 2001 | 1 | 2001 |
| Computer algebra meets automated theorem proving: A maple-pvs interface M Dunstan, H Gottliebsen, T Kelsey, U Martin Proceedings of the Calculemus Workshop, 2001 | 5 | 2001 |
| 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 | 65 | 2001 |
| Debugging a high level language via a unified interpreter and compiler runtime environment J Cai, MM Maza, S Watt, M Dunstan Faculty of Graduate Studies, University of Western Ontario, 2004 | 4 | 2004 |
| Debugging SpaceWire Devices Using the Conformance Tester S Parkes, M Dunstan International SpaceWire Conference, 2007 | 2 | 2007 |
| Deployment of a fully integrated 360GHz Schottky Diode Based Receiver at the Mexican Large Millimetre Telescope NS Daghestani, F Cahill, A Obeed, E Gallagher, E Colin-Beltran, ... 2020 45th International Conference on Infrared, Millimeter, and Terahertz …, 2020 | | 2020 |
| Development of a Total-Power Radiometer comprising a 340 GHz High-Resolution Sideband-Separating Schottky Receiver S Rea, M Oldfield, B Rackauskas, B Moyna, S Parkes, M Dunstan, ... 25th International Symposium on space Terahertz Technology, ISSTT, 2014 | 1 | 2014 |
| Formal M ethods for Extensions to CAS (To be presented at FME'99, Toulouse, France, 20-24 Sep 1999) MN Dunstan, T Kelsey, U Martin, S Linton | | |
| Formal methods for extensions to CAS MN Dunstan, T Kelsey, U Martin, S Linton International Symposium on Formal Methods, 1758-1777, 1999 | 8 | 1999 |
| Formal Methods for Extensions to СAĖ MN Dunstan, T Kelsey, U Martin, Ė Linton | | |
Tom KelseyProfessor of Health Data Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
