Publications

Publications by Alexandra Silva

2012

Left-Handed Completeness

Authors
Kozen, D; Silva, A;

Publication
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Abstract

2012

Brzozowski's algorithm (Co)algebraically

Authors
Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
We give a new presentation of Brzozowski's algorithm to minimize finite automata, using elementary facts from universal algebra and coalgebra, and building on earlier work by Arbib and Manes on the duality between reachability and observability. This leads to a simple proof of its correctness and opens the door to further generalizations. © 2012 Springer-Verlag Berlin Heidelberg.

CloseRead Abstract

2011

A Specification Language for Reo Connectors

Authors
Silva, A;

Publication
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Abstract

2012

A Coalgebraic Perspective on Minimization and Determinization

Authors
Adámek, J; Bonchi, F; Hülsbusch, M; König, B; Milius, S; Silva, A;

Publication
Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Abstract

2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Authors
Bonsangue, MM; Caltais, G; Goriac, EI; Lucanu, D; Rutten, JJMM; Silva, A;

Publication
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Abstract

2009

Deriving Syntax and Axioms for Quantitative Regular Behaviours

Authors
Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A;

Publication
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Abstract