Alexandra Martins da Silva
AuthID: R-000-NF7
101
TÃTULO: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP102
TÃTULO: CALF: Categorical Automata Learning Framework
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: Well-founded coalgebras, revisited
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: Practical coinduction
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: Enhanced coalgebraic bisimulation
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP107
TÃTULO: Layer by layer - Combining Monads PDF
AUTORES: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1712.01113
AUTORES: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1712.01113
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP108
TÃTULO: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: MFPS, VOLUME: 308
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: MFPS, VOLUME: 308
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP109
TÃTULO: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP