Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



21
TITLE: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
AUTHORS: Moon, YJ; Silva, A ; Krause, C; Arbab, F;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 80, ISSUE: PART A
INDEXED IN: Scopus WOS DBLP CrossRef: 9
22
TITLE: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm
AUTHORS: Bonchi, F; Bonsangue, MM; Hansen, HH; Panangaden, P; Rutten, JJMM; Silva, A ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef: 28
23
TITLE: Automata Learning: A Categorical Perspective
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Horizons of the Mind
INDEXED IN: DBLP CrossRef: 12
24
TITLE: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. A Coalgebraic Take on Systems with Algebraic Label Structure
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2014, SOURCE: CMCS, VOLUME: 8446 LNCS
INDEXED IN: Scopus DBLP CrossRef
25
TITLE: Initial Algebras of Terms with Binding and Algebraic Structure
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Categories and Types in Logic, Language, and Physics
INDEXED IN: DBLP CrossRef: 1
26
TITLE: Preface
AUTHORS: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLISHED: 2014, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXED IN: CrossRef
27
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SAC
INDEXED IN: DBLP CrossRef
28
TITLE: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: IFIP TCS
INDEXED IN: DBLP
29
TITLE: A Coalgebraic View of ε-Transitions
AUTHORS: Alexandra Silva ; Bram Westerbaan;
PUBLISHED: 2013, SOURCE: CALCO
INDEXED IN: DBLP CrossRef: 4
30
TITLE: A Coinductive Treatment of Infinitary Rewriting
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.6224
INDEXED IN: DBLP
Page 3 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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