Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



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