Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



11
TITLE: A Coalgebraic Decision Procedure for NetKAT
AUTHORS: Nate Foster; Dexter Kozen; Mae Milano; Alexandra Silva ; Laure Thompson;
PUBLISHED: 2015, SOURCE: POPL
INDEXED IN: DBLP CrossRef: 62
12
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: RTA
INDEXED IN: DBLP
13
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
14
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
15
TITLE: Completeness and Incompleteness in Nominal Kleene Algebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: RAMiCS
INDEXED IN: DBLP CrossRef: 4
16
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
17
TITLE: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
AUTHORS: Bonchi, F; Milius, S; Silva, A ; Zanasi, F;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
INDEXED IN: Scopus WOS DBLP CrossRef: 6
18
TITLE: Nominal Kleene Coalgebra
AUTHORS: Dexter Kozen; Konstantinos Mamouras; Daniela Petrisan; Alexandra Silva ;
PUBLISHED: 2015, SOURCE: ICALP (2)
INDEXED IN: DBLP CrossRef: 14
19
TITLE: Preface for the special issue on Interaction and Concurrency Experience 2012
AUTHORS: Marco Carbone; Ivan Lanese; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2015, SOURCE: Sci. Comput. Program., VOLUME: 100
INDEXED IN: DBLP CrossRef
20
TITLE: Trace semantics via determinization
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: 32
Page 2 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service