Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

91
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
92
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
INDEXADO EM: DBLP
NO MEU: DBLP
93
94
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
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | DBLP
95
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
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | DBLP
96
TÍTULO: The Power of Convex Algebras PDF
AUTORES: Filippo Bonchi; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02344
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
97
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
98
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
99
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
INDEXADO EM: DBLP
NO MEU: DBLP
100
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 10 de 11. Total de resultados: 108.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service