Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Requiring Validation

101
TITLE: CALF: Categorical Automata Learning Framework PDF
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.05676
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP
102
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1704.07199
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP
103
TITLE: The Power of Convex Algebras PDF
AUTHORS: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02344
INDEXED IN: DBLP arXiv
IN MY: DBLP
104
TITLE: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic PDF
AUTHORS: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.00677
INDEXED IN: DBLP arXiv
IN MY: DBLP
105
TITLE: Deciding Probabilistic Program Equivalence in NetKAT PDF
AUTHORS: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02772
INDEXED IN: DBLP arXiv
IN MY: DBLP
106
TITLE: The Power of Convex Algebras
AUTHORS: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLISHED: 2017, SOURCE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXED IN: DBLP
IN MY: DBLP
107
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2017, SOURCE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXED IN: DBLP
IN MY: DBLP
108
TITLE: CALF: Categorical Automata Learning Framework
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2017, SOURCE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
INDEXED IN: DBLP
IN MY: DBLP
109
TITLE: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
AUTHORS: Alexandra Silva;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
INDEXED IN: DBLP
IN MY: DBLP
110
TITLE: Well-founded coalgebras, revisited
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
IN MY: DBLP
Page 11 of 12. Total results: 115.

footer slogan

Useful Links

Get Help

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