Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



51
TÍTULO: Preface  Full Text
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: Theoretical Computer Science, VOLUME: 412, NÚMERO: 38
INDEXADO EM: CrossRef: 1
52
TÍTULO: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011  Full Text
AUTORES: Alexandra Silva ; Simon Bliudze; Roberto Bruni; Marco Carbone;
PUBLICAÇÃO: 2011, FONTE: ICE, VOLUME: 59
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
53
TÍTULO: Quantitative Kleene coalgebras
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLICAÇÃO: 2011, FONTE: Inf. Comput., VOLUME: 209, NÚMERO: 5
INDEXADO EM: DBLP CrossRef: 19
54
TÍTULO: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
AUTORES: Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2011, FONTE: MFPS, VOLUME: 276
INDEXADO EM: DBLP CrossRef: 12
55
TÍTULO: A coinductive calculus of binary trees
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: Inf. Comput., VOLUME: 208, NÚMERO: 5
INDEXADO EM: DBLP CrossRef: 6
56
TÍTULO: A Compositional Semantics for Stochastic Reo Connectors
AUTORES: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLICAÇÃO: 2010, FONTE: FOCLASA, VOLUME: 30
INDEXADO EM: DBLP CrossRef: 10
57
TÍTULO: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTORES: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: SBMF
INDEXADO EM: DBLP CrossRef: 5
58
TÍTULO: Generalizing the powerset construction, coalgebraically
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: FSTTCS
INDEXADO EM: DBLP
59
TÍTULO: Non-Deterministic Kleene Coalgebras
AUTORES: Alexandra Silva ; Marcello M Bonsangue; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: Log. Methods Comput. Sci., VOLUME: 6, NÚMERO: 3
INDEXADO EM: DBLP
60
TÍTULO: Preface
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, NÚMERO: 2
INDEXADO EM: CrossRef
Página 6 de 7. Total de resultados: 70.

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