Sarah Thompson
Title
Cited by
Cited by
Year
Response of debris-covered glaciers in the Mount Everest region to recent warming, and implications for outburst flood hazards
DI Benn, T Bolch, K Hands, J Gulley, A Luckman, LI Nicholson, D Quincey, ...
Earth-Science Reviews 114 (1-2), 156-174, 2012
3692012
Stagnation and mass loss on a Himalayan debris-covered glacier: processes, patterns and rates
S Thompson, DI Benn, J Mertes, A Luckman
Journal of Glaciology 62 (233), 467-485, 2016
862016
A rapidly growing moraine-dammed glacial lake on Ngozumpa Glacier, Nepal
SS Thompson, DI Benn, K Dennis, A Luckman
Geomorphology 145, 1-11, 2012
762012
Structure and evolution of the drainage system of a Himalayan debris-covered glacier, and its relationship with patterns of mass loss
DI Benn, S Thompson, J Gulley, J Mertes, A Luckman, L Nicholson
The Cryosphere 11 (5), 2247-2264, 2017
402017
Using structure‐from‐motion to create glacier DEMs and orthoimagery from historical terrestrial and oblique aerial imagery
JR Mertes, JD Gulley, DI Benn, SS Thompson, LI Nicholson
Earth Surface Processes and Landforms 42 (14), 2350-2364, 2017
352017
A conceptual model of supra‐glacial lake formation on debris‐covered glaciers based on GPR facies analysis
JR Mertes, SS Thompson, AD Booth, JD Gulley, DI Benn
Earth Surface Processes and Landforms 42 (6), 903-914, 2017
282017
Integrated electrical resistivity tomography (ERT) and self-potential (SP) techniques for assessing hydrological processes within glacial lake moraine dams
S Thompson, B Kulessa, A Luckman
Journal of Glaciology 58 (211), 849-858, 2012
252012
Verification of C++ flight software with the MCP model checker
S Thompson, G Brat
2008 IEEE Aerospace Conference, 1-9, 2008
172008
Software Model Checking of ARINC-653 Flight Code with MCP.
S Thompson, GP Brat, A Venet
NASA Formal Methods, 171-181, 2010
122010
Self-healing reconfigurable manifolds
S Thompson, A Mycroft
122006
Abstract interpretation of asynchronous circuits
S Thompson, A Mycroft
SAS, Verona, Italy, 2004
82004
Seawater softening of suture zones inhibits fracture propagation in Antarctic ice shelves
B Kulessa, AD Booth, M O’Leary, D McGrath, EC King, AJ Luckman, ...
Nature communications 10 (1), 1-12, 2019
62019
Anatomy of terminal moraine segments and implied lake stability on Ngozumpa Glacier, Nepal, from electrical resistivity tomography (ERT)
SS Thompson, B Kulessa, DI Benn, JR Mertes
Scientific reports 7 (1), 1-12, 2017
62017
Bulk meltwater flow and liquid water content of snowpacks mapped using the electrical self-potential (SP) method
SS Thompson, B Kulessa, RLH Essery, MP Lüthi
The Cryosphere 10 (1), 433-444, 2016
62016
The evolution of supraglacial lakes, Ngozumpa Glacier, Khumbu Himal, Nepal
S Thompson, D Benn, A Luckman, B Kulessa
EGU General Assembly Conference Abstracts, 11396, 2010
62010
Automatic in-flight repair of FPGA cosmic ray damage
S Thompson, A Mycroft, G Brat, A Venet
NATIONAL AERONAUTICS AND SPACE ADMINISTRATION MOFFETT FIELD CA AMES RESEARCH …, 2005
62005
Abstract interpretation of combinational asynchronous circuits
S Thompson, A Mycroft
Science of Computer Programming 64 (1), 166-183, 2007
52007
Bit-level partial evaluation of synchronous circuits
S Thompson, A Mycroft
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
52006
Abstract interpretation of combinational asynchronous circuits
S Thompson, A Mycroft
International Static Analysis Symposium, 181-196, 2004
52004
Sliding window logic simulation
S Thompson, A Mycroft
15th UK Asynchronous Forum, 2004
52004
The system can't perform the operation now. Try again later.
Articles 1–20