Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



51
TITLE: Preface  Full Text
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
INDEXED IN: CrossRef: 1
52
TITLE: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011  Full Text
AUTHORS: Alexandra Silva ; Simon Bliudze; Roberto Bruni; Marco Carbone;
PUBLISHED: 2011, SOURCE: ICE, VOLUME: 59
INDEXED IN: DBLP CrossRef
IN MY: DBLP
53
TITLE: Quantitative Kleene coalgebras
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
INDEXED IN: DBLP CrossRef: 19
54
TITLE: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
AUTHORS: Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: MFPS, VOLUME: 276
INDEXED IN: DBLP CrossRef: 12
55
TITLE: A coinductive calculus of binary trees
AUTHORS: Alexandra Silva ; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: Inf. Comput., VOLUME: 208, ISSUE: 5
INDEXED IN: DBLP CrossRef: 6
56
TITLE: A Compositional Semantics for Stochastic Reo Connectors
AUTHORS: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLISHED: 2010, SOURCE: FOCLASA, VOLUME: 30
INDEXED IN: DBLP CrossRef: 10
57
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: SBMF
INDEXED IN: DBLP CrossRef: 5
58
TITLE: Generalizing the powerset construction, coalgebraically
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: FSTTCS
INDEXED IN: DBLP
59
TITLE: Non-Deterministic Kleene Coalgebras
AUTHORS: Alexandra Silva ; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: Log. Methods Comput. Sci., VOLUME: 6, ISSUE: 3
INDEXED IN: DBLP
60
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
Page 6 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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