Alexandra Martins da Silva
AuthID: R-000-NF7
81
TITLE: SDN-Actors: Modeling and Verification of SDN Programs
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, VOLUME: 10951
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, VOLUME: 10951
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP82
TITLE: Almost Sure Productivity
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP83
TITLE: Convex Language Semantics for Nondeterministic Probabilistic Automata PDF
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1805.11550
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1805.11550
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP84
TITLE: Equivalence checking for weak bi-Kleene algebra PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.02102
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.02102
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP85
TITLE: A coalgebraic treatment of conditional transition systems with upgrades
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP86
TITLE: Layer by Layer - Combining Monads
AUTHORS: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
AUTHORS: Fredrik Dahlqvist; Louis Parlant; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP87
TITLE: Convex Language Semantics for Nondeterministic Probabilistic Automata
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, VOLUME: 11187
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP88
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
DBLP89
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
DBLP90
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
DBLP