Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



21
TÍTULO: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
AUTORES: Moon, YJ; Silva, A ; Krause, C; Arbab, F;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 80, NÚMERO: PART A
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
22
TÍTULO: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm
AUTORES: Bonchi, F; Bonsangue, MM; Hansen, HH; Panangaden, P; Rutten, JJMM; Silva, A ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef: 28
23
TÍTULO: Automata Learning: A Categorical Perspective
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind
INDEXADO EM: DBLP CrossRef: 12
24
TÍTULO: 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
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2014, FONTE: CMCS, VOLUME: 8446 LNCS
INDEXADO EM: Scopus DBLP CrossRef
25
TÍTULO: Initial Algebras of Terms with Binding and Algebraic Structure
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Categories and Types in Logic, Language, and Physics
INDEXADO EM: DBLP CrossRef: 1
26
TÍTULO: Preface
AUTORES: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXADO EM: CrossRef
27
TÍTULO: Quantitative analysis of Reo-based service coordination
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: SAC
INDEXADO EM: DBLP CrossRef
28
TÍTULO: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: IFIP TCS
INDEXADO EM: DBLP
29
TÍTULO: A Coalgebraic View of ε-Transitions
AUTORES: Alexandra Silva ; Bram Westerbaan;
PUBLICAÇÃO: 2013, FONTE: CALCO
INDEXADO EM: DBLP CrossRef: 4
30
TÍTULO: A Coinductive Treatment of Infinitary Rewriting
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.6224
INDEXADO EM: DBLP
Página 3 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