Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

71
TÍTULO: EATCS Distinguished Dissertation Award 2020 - Call for Nominations
AUTORES: Susanne Albers; Nikhil Bansal; Elvira Mayordomo; Dale Miller; Jaroslav Nesetril; Damian Niwinski; David Peleg; Vladimiro Sassone; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Bull. EATCS, VOLUME: 132
INDEXADO EM: DBLP
NO MEU: DBLP
72
TÍTULO: Foundations of Probabilistic Programming
AUTORES: Gilles Barthe; Joost Pieter Katoen; Alexandra Silva;
PUBLICAÇÃO: 2020
INDEXADO EM: DBLP
NO MEU: DBLP
73
TÍTULO: Semantics of Probabilistic Programming: A Gentle Introduction
AUTORES: Fredrik Dahlqvist; Alexandra Silva; Dexter Kozen;
PUBLICAÇÃO: 2020, FONTE: Foundations of Probabilistic Programming
INDEXADO EM: DBLP
NO MEU: DBLP
74
TÍTULO: 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
AUTORES: Juliette Kennedy; Ruy J G B de Queiroz; Alexandra Silva; Mehrnoosh Sadrzadeh;
PUBLICAÇÃO: 2019, FONTE: Logic Journal of the IGPL, VOLUME: 27, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
75
TÍTULO: On series-parallel pomset languages: Rationality, context-freeness and automata
AUTORES: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 103
INDEXADO EM: DBLP
NO MEU: DBLP
76
TÍTULO: Tree Automata as Algebras: Minimisation and Determinisation
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
INDEXADO EM: DBLP
NO MEU: DBLP
77
TÍTULO: Symbolic Register Automata
AUTORES: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, VOLUME: 11561
INDEXADO EM: DBLP
NO MEU: DBLP
78
TÍTULO: Kleene Algebra with Observations
AUTORES: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXADO EM: DBLP
NO MEU: DBLP
79
TÍTULO: An Algebraic Framework to Reason About Concurrency (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., VOLUME: 150
INDEXADO EM: DBLP
NO MEU: DBLP
80
TÍTULO: A Kleene Theorem for Nominal Automata
AUTORES: Paul Brunet; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece., VOLUME: 132
INDEXADO EM: DBLP
NO MEU: DBLP
Página 8 de 12. Total de resultados: 119.

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

Links Úteis

Ajuda

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