Faster Pushdown Reachability Analysis with Applications in Network Verification. - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio; Ingo van Duijn (ATVA, 2021)

Online List Access with Precedence Constraints. - Maciej Pacut; Juan Vanerio; Vamsi Addanki; Arash Pourdamghani; Gábor Rétvári; Stefan Schmid 001 (CoRR, 2021)

Self-Adjusting Packet Classification. - Maciej Pacut; Juan Vanerio; Vamsi Addanki; Arash Pourdamghani; Gábor Rétvári; Stefan Schmid 001 (CoRR, 2021)

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification". - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio; Ingo van Duijn (Zenodo, 2021)

MPLS-Kit: An MPLS Data Plane Toolkit. - Juan Vanerio; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba (CloudNet, 2022)

R-MPLS: recursive protection for highly dependable MPLS networks. - Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio (CoNEXT, 2022)

Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks". - Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio (Zenodo, 2022)

Poster: P4DME: DNS Threat Mitigation with P4 In-Network Machine Learning Offload. - Juan Vanerio; Csaba Györgyi; Stefan Schmid 001 (EuroP4@CoNEXT, 2023)

Self-Adjusting Partially Ordered Lists. - Vamsi Addanki; Maciej Pacut; Arash Pourdamghani; Gábor Rétvári; Stefan Schmid 001; Juan Vanerio (INFOCOM, 2023)

Tero: Offloading CDN Traffic to Massively Distributed Devices. - Juan Vanerio; Lily Hügerich; Stefan Schmid 001 (ICDCN, 2024)

Baiji: Domain Planning for CDNs under the 95th Percentile Billing Model. - Juan Vanerio; Huiran Liu; Qi Zhang; Stefan Schmid 001 (IFIP Networking, 2024)

FREKit: A Flexible Simulator for Probabilistic Congestion and Rerouting in Multi-Protocol Networks. - Juan Vanerio; Pedro Casas; Stefan Schmid 001 (TMA, 2025)

Towards Intelligent Resource Allocation in Highly-Distributed Content Delivery Networks Using Graph Neural Networks. - Juan Vanerio; Pedro Casas; Stefan Schmid 001 (TMA, 2025)