Publicacoes - INESC TEC

Publicações

Publicações por Alexandra Silva

2012

Left-Handed Completeness

Autores
Kozen, D; Silva, A;

Publicação
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

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

Publicação
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.

FecharLer Abstract

2011

A Specification Language for Reo Connectors

Autores
Silva, A;

Publicação
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

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

Publicação
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

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

Publicação
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

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

Publicação
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Abstract