most citedSN 2013df, a double-peaked IIb supernova from a compact progenitor and an extended H envelope

85 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

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…