Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



11
TÍTULO: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTORES: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 85, NÚMERO: 5
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
12
TÍTULO: Report on the POPL mentoring workshop (PLMW 2016)
AUTORES: Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: SIGLOG News, VOLUME: 3, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: A Coalgebraic Decision Procedure for NetKAT
AUTORES: Nate Foster; Dexter Kozen; Matthew Milano; Alexandra Silva ; Laure Thompson;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015
INDEXADO EM: DBLP CrossRef: 36
NO MEU: DBLP
14
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: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) PDF
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.01128
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
16
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
17
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
18
TÍTULO: Completeness and Incompleteness in Nominal Kleene Algebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLICAÇÃO: 2015, FONTE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
19
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
20
TÍTULO: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure  Full Text
AUTORES: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
Página 2 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