Emmanuel Su\'arez Acevedo
Identifiers
No identifiers captured yet.
Papers (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