Emmanuel Su\'arez Acevedo

Identifiers

No identifiers captured yet.

Papers (1)

1. Weighted NetKAT: A Programming Language For Quantitative Network Verification cs.PL · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandra Silva 1 shared papers
• Kevin Batz 1 shared papers
• Nate Foster 1 shared papers
• Oliver B{\o}ving 1 shared papers
• Tiago Ferreira 1 shared papers