85 citations
- Cornell UniversityUS1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Institute of Space SciencesES1 paper
- Jane Street (United States)1 paper
- Las Cumbres Observatory Global Telescope NetworkUS1 paper
- Max Planck Institute for AstrophysicsDE1 paper
- Max Planck SocietyDE1 paper
- National Institute for AstrophysicsIT1 paper
- Osservatorio Astronomico di PadovaIT1 paper
- Technical University of DenmarkDK1 paper
- University College LondonGB1 paper
- University of California, Santa BarbaraUS1 paper
2 papers
cs.PL2026
A Fast Quantitative Analyzer for NetKAT
Thomas Lu, Qiancheng Fu, Kevin Batz +5
When designing a network, engineers must navigate trade-offs (e.g., one topology offers more aggregate bandwidth, another lower latency or better resilience) that demand reasoning…
astro-ph.SR2014★ 85 cited
SN 2013df, a double-peaked IIb supernova from a compact progenitor and an extended H envelope
A. Morales-Garoffolo, N. Elias-Rosa, S. Benetti +11
Optical observations of the type IIb SN 2013df from a few days to about 250 days after explosion are presented. These observations are complemented with UV photometry taken by \tex…