Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

71
TÍTULO: Partially Observable Concurrent Kleene Algebra
AUTORES: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
INDEXADO EM: DBLP
NO MEU: DBLP
72
TÍTULO: Preservation of Equations by Monoidal Monads
AUTORES: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLICAÇÃO: 2020, FONTE: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., VOLUME: 170
INDEXADO EM: DBLP
NO MEU: DBLP
73
TÍTULO: A Logic to Reason about Dependence and Independence
AUTORES: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.09231
INDEXADO EM: DBLP
NO MEU: DBLP
74
TÍTULO: Bases for algebras over a monad
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.10223
INDEXADO EM: DBLP
NO MEU: DBLP
75
TÍTULO: Hennessy-Milner Results for Probabilistic PDL
AUTORES: Tao Gu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, VOLUME: 352
INDEXADO EM: DBLP
NO MEU: DBLP
76
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
77
TÍTULO: Foundations of Probabilistic Programming
AUTORES: Gilles Barthe; Joost Pieter Katoen; Alexandra Silva;
PUBLICAÇÃO: 2020
INDEXADO EM: DBLP
NO MEU: DBLP
78
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
79
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
80
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
Página 8 de 13. Total de resultados: 124.

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