Alexandra Silva

Generalizing determinization from automata to coalgebras

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · Logical Methods in Computer Science · 2013 · 112 citations · Full text

Computing, Computer Science, Algorithms +15

A Coalgebraic Decision Procedure for NetKAT

Nate Foster, Dexter Kozen, Mae Milano et al. · 2014 · 95 citations

Computing, Computer Engineering, Computer Science +17

Trace semantics via determinization

Bart Jacobs, Alexandra Silva, Ana Sokolova · Journal of Computer and System Sciences · 2014 · 59 citations · Full text

Computing, Computer Science, Formal Methods +4

Generalizing the powerset construction, coalgebraically

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 58 citations · Full text

Computing, Computer Science, Algorithms +15

Algebra-coalgebra duality in brzozowski's minimization algorithm

Filippo Bonchi, Marcello Bonsangue, Helle Hvid Hansen et al. · ACM Transactions on Computational Logic · 2014 · 55 citations · Full text

Computing, Computer Science, Mathematics +16