Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

11
TÍTULO: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: ESOP, VOLUME: 10801 LNCS
INDEXADO EM: Scopus DBLP arXiv CrossRef: 15
NO MEU: ORCID
12
13
TÍTULO: CALF: Categorical Automata Learning Framework
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CSL, VOLUME: 82
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
14
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: CONCUR, VOLUME: 85
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
15
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
INDEXADO EM: DBLP
NO MEU: DBLP
16
17
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 2. Total de resultados: 17.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service