80 citations · 180 across the 10 of their papers we have counts for
3 papers · 1 filter
Orbital Foregrounds for Ultra-Short Duration Transients
Hank Corbett, Nicholas M. Law, Alan Vasquez Soto +7
Reflections from objects in Earth orbit can produce sub-second, star-like optical flashes similar to astrophysical transients. Reflections have historically caused false alarms for…
EvryFlare III: Temperature Evolution and Habitability Impacts of Dozens of Superflares Observed Simultaneously by Evryscope and TESS
Ward S. Howard, Hank Corbett, Nicholas M. Law +8
Superflares may provide the dominant source of biologically relevant UV radiation to rocky habitable zone M-dwarf planets (M-Earths), altering planetary atmospheres and conditions…
Automatic Translation of tock-CSP into Timed Automata
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
The process algebra tock-CSP provides textual notations for modelling discrete-time behaviours, with the support of various tools for verification. Similarly, automatic verificatio…