Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



61
TÍTULO: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
AUTORES: Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2011, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 276
INDEXADO EM: DBLP CrossRef: 7
NO MEU: DBLP
62
TÍTULO: Sound and complete axiomatizations of coalgebraic language equivalence PDF
AUTORES: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1104.2803
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
63
TÍTULO: A coinductive calculus of binary trees  Full Text
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: Inf. Comput., VOLUME: 208, NÚMERO: 5
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
64
TÍTULO: A Compositional Semantics for Stochastic Reo Connectors  Full Text
AUTORES: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLICAÇÃO: 2010, FONTE: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010., VOLUME: 30
INDEXADO EM: DBLP CrossRef: 8
NO MEU: DBLP
65
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: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
INDEXADO EM: DBLP CrossRef: 5
NO MEU: DBLP
66
TÍTULO: Generalizing the powerset construction, coalgebraically
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLICAÇÃO: 2010, FONTE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
INDEXADO EM: DBLP
NO MEU: DBLP
67
TÍTULO: Non-Deterministic Kleene Coalgebras PDF
AUTORES: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2010, FONTE: Logical Methods in Computer Science, VOLUME: 6, NÚMERO: 3
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
68
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
69
TÍTULO: Preface
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 264, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
70
Página 7 de 8. Total de resultados: 78.

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

Links Úteis

Ajuda

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