Alexandra Martins da Silva
AuthID: R-000-NF7
81
TITLE: Symbolic Register Automata PDF
AUTHORS: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.06968
AUTHORS: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.06968
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP82
TITLE: Kleene Algebra with Observations PDF
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.10401
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.10401
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP83
TITLE: On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.03058
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.03058
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP84
TITLE: Borel Kernels and their Approximation, Categorically
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; Vincent Danos; Ilias Garnier;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 341
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; Vincent Danos; Ilias Garnier;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 341
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP85
TITLE: The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
AUTHORS: Alexandra Silva;
PUBLISHED: 2018, SOURCE: MFPS, VOLUME: 336
AUTHORS: Alexandra Silva;
PUBLISHED: 2018, SOURCE: MFPS, VOLUME: 336
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP86
TITLE: The Power of Convex Algebras PDF
AUTHORS: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02344
AUTHORS: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02344
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP87
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
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
DBLP arXiv IN MY: DBLP
DBLP88
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
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
DBLP arXiv IN MY: DBLP
DBLP89
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
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
DBLP IN MY: DBLP
DBLP90
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
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
DBLP IN MY: DBLP
DBLP