Alexandra Martins da Silva
AuthID: R-000-NF7
11
TITLE: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: ESOP, VOLUME: 10801 LNCS
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: ESOP, VOLUME: 10801 LNCS
12
TITLE: The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
AUTHORS: Alexandra Silva;
PUBLISHED: 2018, SOURCE: MFPS, VOLUME: 336
AUTHORS: Alexandra Silva;
PUBLISHED: 2018, SOURCE: MFPS, VOLUME: 336
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: CALF: Categorical Automata Learning Framework
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CSL, VOLUME: 82
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CSL, VOLUME: 82
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: 
ORCID
ORCID14
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: CONCUR, VOLUME: 85
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: CONCUR, VOLUME: 85
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID15
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
AUTHORS: Alexandra Silva;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
AUTHORS: Alexandra Silva;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP