works on
active galactic nuclei 2accretion bursts 1ambient medium density 1astronomy instrumentation 1CII line 1coronal flares 1cosmological simulations 1debris disk 1direct imaging 1dust transport 1dynamical modeling 1exoplanet biosignatures 1

From the 8 of 191 papers with an AI index.

most citedNon-minimally coupled gravity constraints from DESI DR2 data

13 citations

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

1 paper · 1 filter

cs.LO2026

Octopus: Practical Equivalence Checking of P4 Packet Parsers

Jort van Leenen, Tobias Kappé

P4 is a domain-specific language for programming protocol-independent packet processors, where packet parsers describe how incoming bit-streams are structured into headers and fiel…