Alexandra Martins da Silva
AuthID: R-000-NF7
101
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

NO MEU:
DBLP

102
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
103
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
104
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


NO MEU:
DBLP

105
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


NO MEU:
DBLP

106
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


NO MEU:
DBLP

107
TÃTULO: The Power of Convex Algebras
AUTORES: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
AUTORES: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXADO EM:
DBLP

NO MEU:
DBLP

108
TÃTULO: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2017, FONTE: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, VOLUME: 85
INDEXADO EM:
DBLP

NO MEU:
DBLP

109
TÃTULO: CALF: Categorical Automata Learning Framework
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, VOLUME: 82
INDEXADO EM:
DBLP

NO MEU:
DBLP

110
TÃTULO: Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, VOLUME: 84
INDEXADO EM:
DBLP

NO MEU:
DBLP
