Alexandra Martins da Silva
AuthID: R-000-NF7
101
TÃTULO: Equivalence checking for weak bi-Kleene algebra PDF
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.02102
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.02102
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP102
TÃTULO: A coalgebraic treatment of conditional transition systems with upgrades
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 1
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: Layer by Layer - Combining Monads
AUTORES: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
AUTORES: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: Convex Language Semantics for Nondeterministic Probabilistic Automata
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
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
DBLP106
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
DBLP107
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
DBLP108
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
DBLP109
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
DBLP110
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
