Alexandra Martins da Silva
AuthID: R-000-NF7
101
TÃTULO: Symbolic Register Automata PDF
AUTORES: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.06968
AUTORES: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.06968
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP102
TÃTULO: Kleene Algebra with Observations PDF
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.10401
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.10401
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP103
TÃTULO: On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata PDF
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1812.03058
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1812.03058
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP104
TÃTULO: Borel Kernels and their Approximation, Categorically
AUTORES: Fredrik Dahlqvist; Alexandra Silva; Vincent Danos; Ilias Garnier;
PUBLICAÇÃO: 2018, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 341
AUTORES: Fredrik Dahlqvist; Alexandra Silva; Vincent Danos; Ilias Garnier;
PUBLICAÇÃO: 2018, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 341
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: MFPS, VOLUME: 336
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: MFPS, VOLUME: 336
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: CALF: Categorical Automata Learning Framework PDF
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.05676
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.05676
107
TÃTULO: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages PDF
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.07199
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1704.07199
108
TÃTULO: The Power of Convex Algebras PDF
AUTORES: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02344
AUTORES: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02344
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP109
TÃTULO: Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic PDF
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.00677
AUTORES: Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.00677
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP110
TÃTULO: Deciding Probabilistic Program Equivalence in NetKAT PDF
AUTORES: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02772
AUTORES: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02772
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP