Alexandra Martins da Silva
AuthID: R-000-NF7
51
TITLE: CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
AUTHORS: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
AUTHORS: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP52
TITLE: Partially Observable Concurrent Kleene Algebra
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP53
TITLE: Preservation of Equations by Monoidal Monads
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., VOLUME: 170
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., VOLUME: 170
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP54
TITLE: A Logic to Reason about Dependence and Independence
AUTHORS: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09231
AUTHORS: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09231
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP55
TITLE: Bases for algebras over a monad
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP56
TITLE: Hennessy-Milner Results for Probabilistic PDL
AUTHORS: Tao Gu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2020, SOURCE: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, VOLUME: 352
AUTHORS: Tao Gu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2020, SOURCE: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, VOLUME: 352
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP57
TITLE: EATCS Distinguished Dissertation Award 2020 - Call for Nominations
AUTHORS: Susanne Albers; Nikhil Bansal; Elvira Mayordomo; Dale Miller; Jaroslav Nesetril; Damian Niwinski; David Peleg; Vladimiro Sassone; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Bull. EATCS, VOLUME: 132
AUTHORS: Susanne Albers; Nikhil Bansal; Elvira Mayordomo; Dale Miller; Jaroslav Nesetril; Damian Niwinski; David Peleg; Vladimiro Sassone; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Bull. EATCS, VOLUME: 132
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP58
TITLE: 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
AUTHORS: Juliette Kennedy; Ruy J G B de Queiroz; Alexandra Silva; Mehrnoosh Sadrzadeh;
PUBLISHED: 2019, SOURCE: Logic Journal of the IGPL, VOLUME: 27, ISSUE: 1
AUTHORS: Juliette Kennedy; Ruy J G B de Queiroz; Alexandra Silva; Mehrnoosh Sadrzadeh;
PUBLISHED: 2019, SOURCE: Logic Journal of the IGPL, VOLUME: 27, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP59
TITLE: On series-parallel pomset languages: Rationality, context-freeness and automata
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 103
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 103
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP60
TITLE: Tree Automata as Algebras: Minimisation and Determinisation
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., VOLUME: 139
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP