Alexandra Martins da Silva
AuthID: R-000-NF7
71
TÃTULO: Toward a Uniform Theory of Effectful State Machines
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: ACM Trans. Comput. Log., VOLUME: 21, NÚMERO: 3
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: ACM Trans. Comput. Log., VOLUME: 21, NÚMERO: 3
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP72
TÃTULO: Partially Observable Concurrent Kleene Algebra
AUTORES: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.07593
AUTORES: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.07593
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Learning Automata with Side-Effects
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
AUTORES: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
AUTORES: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
AUTORES: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; 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
DBLP NO MEU: DBLP
DBLP75
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
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
DBLP NO MEU: DBLP
DBLP76
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
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
DBLP NO MEU: DBLP
DBLP77
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
AUTORES: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.09231
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP78
TÃTULO: Bases for algebras over a monad
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.10223
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.10223
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP79
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
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
DBLP NO MEU: DBLP
DBLP80
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
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
DBLP NO MEU: DBLP
DBLP