Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



21
TÍTULO: Nominal Kleene Coalgebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, VOLUME: 9135
INDEXADO EM: DBLP CrossRef: 12
NO MEU: DBLP
22
TÍTULO: Preface for the special issue on Interaction and Concurrency Experience 2012  Full Text
AUTORES: Marco Carbone; Ivan Lanese; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2015, FONTE: Sci. Comput. Program., VOLUME: 100
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
23
TÍTULO: Trace semantics via determinization  Full Text
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: DBLP
24
TÍTULO: A coalgebraic view on decorated traces
AUTORES: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 26, NÚMERO: 07
INDEXADO EM: CrossRef: 1
25
TÍTULO: A compositional model to reason about end-to-end QoS in Stochastic Reo connectors  Full Text
AUTORES: Young Joo Moon; Alexandra Silva ; Christian Krause; Farhad Arbab;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 80, NÚMERO: PART A
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP
26
TÍTULO: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm  Full Text
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef: 22
NO MEU: DBLP
27
TÍTULO: Automata Learning: A Categorical Perspective
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, VOLUME: 8464
INDEXADO EM: DBLP CrossRef: 6
NO MEU: DBLP
28
TÍTULO: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure PDF
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1402.4062
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
29
TÍTULO: How to kill epsilons with a dagger: A coalgebraic take on systems with algebraic label structure
AUTORES: Bonchi, F; Milius, S; Silva, A ; Zanasi, F;
PUBLICAÇÃO: 2014, FONTE: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, as a Satellite Event of the Joint Conference on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8446 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
30
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 - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, VOLUME: 8222
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
Página 3 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