Alexandra Martins da Silva
AuthID: R-000-NF7
61
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
DBLP62
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
DBLP63
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
DBLP64
TITLE: Symbolic Register Automata
AUTHORS: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, VOLUME: 11561
AUTHORS: Loris D'Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, VOLUME: 11561
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP65
TITLE: Kleene Algebra with Observations
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
AUTHORS: Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2019, SOURCE: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP66
TITLE: An Algebraic Framework to Reason About Concurrency (Invited Talk)
AUTHORS: Alexandra Silva;
PUBLISHED: 2019, SOURCE: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., VOLUME: 150
AUTHORS: Alexandra Silva;
PUBLISHED: 2019, SOURCE: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., VOLUME: 150
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP67
TITLE: A Kleene Theorem for Nominal Automata
AUTHORS: Paul Brunet; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece., VOLUME: 132
AUTHORS: Paul Brunet; Alexandra Silva;
PUBLISHED: 2019, SOURCE: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece., VOLUME: 132
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP68
TITLE: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
AUTHORS: Alexandra Silva;
PUBLISHED: 2019, SOURCE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., VOLUME: 138
AUTHORS: Alexandra Silva;
PUBLISHED: 2019, SOURCE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., VOLUME: 138
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP69
TITLE: Completeness and Incompleteness of Synchronous Kleene Algebra
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP70
TITLE: Scalable verification of probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
AUTHORS: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP