Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



11
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP CrossRef
IN MY: DBLP
12
TITLE: Report on the POPL mentoring workshop (PLMW 2016)
AUTHORS: Alexandra Silva ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: A Coalgebraic Decision Procedure for NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Matthew Milano; Alexandra Silva ; Laure Thompson;
PUBLISHED: 2015, SOURCE: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015
INDEXED IN: DBLP CrossRef: 36
IN MY: DBLP
14
TITLE: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland, VOLUME: 36
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01128
INDEXED IN: DBLP arXiv
IN MY: DBLP
16
TITLE: A short introduction to the coalgebraic method
AUTHORS: Alexandra Silva ;
PUBLISHED: 2015, SOURCE: SIGLOG News, VOLUME: 2, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: Applications of Automata and Concurrency Theory in Networks (Invited Paper)
AUTHORS: Alexandra Silva ;
PUBLISHED: 2015, SOURCE: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, VOLUME: 42
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Completeness and Incompleteness in Nominal Kleene Algebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, VOLUME: 9348
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
19
TITLE: IMCReo: interactive Markov chains for Stochastic Reo PDF
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2015, SOURCE: J. Internet Serv. Inf. Secur., VOLUME: 5, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
20
TITLE: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure  Full Text
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
Page 2 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