activity
20152025
most citedThe First Naked-Eye Superflare Detected from Proxima Centauri

114 citations · 1.1k across the 38 of their papers we have counts for

collaborators
Showing 2020Show all

8 papers · 1 filter

astro-ph.EP2020★ 10 cited

Revisiting the HD 21749 Planetary System with Stellar Activity Modeling

Tianjun Gan, Sharon Xuesong Wang, Johanna K. Teske +26

HD 21749 is a bright ( mag) K dwarf at 16 pc known to host an inner terrestrial planet HD 21749c as well as an outer sub-Neptune HD 21749b, both delivered by TESS. Follow-up…

astro-ph.HE2020★ 35 cited

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…

astro-ph.EP2020★ 42 cited

The Magellan-TESS Survey I: Survey Description and Mid-Survey Results

Johanna Teske, Sharon Xuesong Wang, Angie Wolfgang +66

revealed that roughly one-third of Sun-like stars host planets orbiting within 100 days and between the size of Earth and Neptune. How do these planets form, what are they…

astro-ph.SR2020★ 80 cited

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…

astro-ph.SR2020★ 12 cited

EVR-CB-004: An Inflated Hot Subdwarf O star + Unseen WD Companion in a Compact Binary Discovered with the Evryscope

Jeffrey K. Ratzloff, Thomas Kupfer, Brad N. Barlow +10

We present the discovery of EVR-CB-004, a close binary with a remnant stellar core and an unseen white dwarf companion. The analysis in this work reveals the primary is potentially…

cs.LO2020

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…