Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



11
TÍTULO: A Coalgebraic Decision Procedure for NetKAT
AUTORES: Nate Foster; Dexter Kozen; Mae Milano; Alexandra Silva ; Laure Thompson;
PUBLICAÇÃO: 2015, FONTE: POPL
INDEXADO EM: DBLP CrossRef: 62
12
TÍTULO: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: RTA
INDEXADO EM: DBLP
13
TÍTULO: A short introduction to the coalgebraic method
AUTORES: Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: SIGLOG News, VOLUME: 2, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: Applications of Automata and Concurrency Theory in Networks (Invited Paper)
AUTORES: Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, VOLUME: 42
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: Completeness and Incompleteness in Nominal Kleene Algebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: RAMiCS
INDEXADO EM: DBLP CrossRef: 4
16
TÍTULO: IMCReo: interactive Markov chains for Stochastic Reo PDF
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2015, FONTE: J. Internet Serv. Inf. Secur., VOLUME: 5, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
17
TÍTULO: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
AUTORES: Bonchi, F; Milius, S; Silva, A ; Zanasi, F;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
18
TÍTULO: Nominal Kleene Coalgebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: ICALP (2)
INDEXADO EM: DBLP CrossRef: 14
19
TÍTULO: Preface for the special issue on Interaction and Concurrency Experience 2012
AUTORES: Marco Carbone; Ivan Lanese; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2015, FONTE: Sci. Comput. Program., VOLUME: 100
INDEXADO EM: DBLP CrossRef
20
TÍTULO: Trace semantics via determinization
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: 32
Página 2 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