Alexandra Silva
TitleCited byYear
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Arxiv preprint arXiv:1007.3769, 2010
76*2010
A coalgebraic decision procedure for NetKAT
N Foster, D Kozen, M Milano, A Silva, L Thompson
ACM SIGPLAN Notices 50 (1), 343-355, 2015
742015
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
arXiv preprint arXiv:1302.1046, 2013
682013
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, MM Bonsangue, JJMM Rutten
IARCS Annual Conference on Foundations of Software Technology and …, 2010
642010
Automata for context-dependent connectors
M Bonsangue, D Clarke, A Silva
International Conference on Coordination Languages and Models, 184-203, 2009
59*2009
Sound and complete axiomatizations of coalgebraic language equivalence
MM Bonsangue, S Milius, A Silva
ACM Transactions on Computational Logic (TOCL) 14 (1), 7, 2013
542013
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012
512012
A coalgebraic perspective on minimization and determinization
J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva
International Conference on Foundations of Software Science and …, 2012
512012
Algebra-coalgebra duality in brzozowski's minimization algorithm
F Bonchi, MM Bonsangue, HH Hansen, P Panangaden, JJMM Rutten, ...
ACM Transactions on Computational Logic (TOCL) 15 (1), 3, 2014
502014
Quantitative kleene coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Information and Computation 209 (5), 822-849, 2011
49*2011
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
482012
An algebra for Kripke polynomial coalgebras
M Bonsangue, J Rutten, A Silva
2009 24th Annual IEEE Symposium on Logic In Computer Science, 49-58, 2009
462009
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
European Symposium on Programming, 282-309, 2016
432016
Practical coinduction
D Kozen, A Silva
Mathematical Structures in Computer Science 27 (7), 1132-1152, 2017
42*2017
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
402015
A Kleene theorem for polynomial coalgebras
M Bonsangue, J Rutten, A Silva
Foundations of Software Science and Computational Structures, 122-136, 2009
36*2009
Coalgebraic logic and synthesis of Mealy machines
MM Bonsangue, J Rutten, A Silva
International Conference on Foundations of Software Science and …, 2008
332008
Learning nominal automata
J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski
arXiv preprint arXiv:1607.06268, 2016
322016
Brzozowski’s algorithm (co) algebraically
F Bonchi, MM Bonsangue, JJMM Rutten, A Silva
Logic and Program Semantics, 12-23, 2012
31*2012
A Coinductive Treatment for Infinitary Rewriting and Equational Reasoning
J Endrullis, HH Hansen, D Hendriks, A Polonsky, A Silva
Dagstuhl: Schloss Dagstuhl, 2015
292015
The system can't perform the operation now. Try again later.
Articles 1–20