8 citations · 10 across the 7 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
astro-ph.SR2025
Flares and superflares on the southern active binary CC Eri
M. Leitzinger, P. Odert, R. Greimel +15
Flares and CMEs are known to be the dominating high-energy phenomena on cool stars. Superflares were thoroughly investigated using broadband photometry predominantly from Kepler, K…
astro-ph.IM2025★ 2 cited
PLATOSpec: a precise spectrograph in support of space missions
P. Kabáth, M. Skarka, A. Hatzes +42
The upcoming space missions that will characterize exoplanets, such as PLATO and Ariel, will collect huge amounts of data that will need to be complemented with ground-based observ…
cs.LO2025
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime +1
Verification of real-time systems with multiple components controlled by multiple parties is a challenging task due to its computational complexity. We present an on-the-fly algori…