Tiago Ferreira

Identifiers

No identifiers captured yet.

Papers (3)

1. SMT-Based Active Learning of Weighted Automata cs.FL · 2026 · author #1
2. Weighted NetKAT: A Programming Language For Quantitative Network Verification cs.PL · 2026 · author #2
3. Symbolic Register Automata cs.FL · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandra Silva 3 shared papers
• Kevin Batz 2 shared papers
• Emmanuel Su\'arez Acevedo 1 shared papers
• Loris D'Antoni 1 shared papers
• Matteo Sammartino 1 shared papers
• Nate Foster 1 shared papers
• Oliver B{\o}ving 1 shared papers