Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



61
TITLE: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
AUTHORS: Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 276
INDEXED IN: DBLP CrossRef: 7
IN MY: DBLP
62
TITLE: Sound and complete axiomatizations of coalgebraic language equivalence PDF
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
INDEXED IN: DBLP arXiv
IN MY: DBLP
63
TITLE: A coinductive calculus of binary trees  Full Text
AUTHORS: Alexandra Silva ; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: Inf. Comput., VOLUME: 208, ISSUE: 5
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
64
TITLE: A Compositional Semantics for Stochastic Reo Connectors  Full Text
AUTHORS: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLISHED: 2010, SOURCE: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010., VOLUME: 30
INDEXED IN: DBLP CrossRef: 8
IN MY: DBLP
65
TITLE: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
INDEXED IN: DBLP CrossRef: 5
IN MY: DBLP
66
TITLE: Generalizing the powerset construction, coalgebraically
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
INDEXED IN: DBLP
IN MY: DBLP
67
TITLE: Non-Deterministic Kleene Coalgebras PDF
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
INDEXED IN: DBLP arXiv
IN MY: DBLP
68
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, ISSUE: 2
INDEXED IN: CrossRef
69
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 264, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
70
Page 7 of 8. Total results: 78.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service