Alexandra Martins da Silva
AuthID: R-000-NF7
81
TÃTULO: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
82
TÃTULO: Learning to Coordinate
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP83
TÃTULO: SDN-Actors: Modeling and Verification of SDN Programs
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP84
TÃTULO: Almost Sure Productivity
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP85
TÃTULO: Convex Language Semantics for Nondeterministic Probabilistic Automata PDF
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1805.11550
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1805.11550
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP86
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
DBLP87
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
DBLP88
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
DBLP89
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
DBLP90
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
DBLP