Alexandra Martins da Silva
AuthID: R-000-NF7
71
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
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
DBLP NO MEU: DBLP
DBLP72
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
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
DBLP NO MEU: DBLP
DBLP73
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
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
DBLP NO MEU: DBLP
DBLP74
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
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
DBLP NO MEU: DBLP
DBLP75
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
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
DBLP NO MEU: DBLP
DBLP76
TÃTULO: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., VOLUME: 138
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., VOLUME: 138
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP77
TÃTULO: Completeness and Incompleteness of Synchronous Kleene Algebra
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP78
TÃTULO: Scalable verification of probabilistic networks
AUTORES: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
AUTORES: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP79
TÃTULO: Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
AUTORES: Alexandra Silva; Sam Staton; Peter Sutton; Carla Umbach;
PUBLICAÇÃO: 2019, FONTE: TbiLLC, VOLUME: 11456
AUTORES: Alexandra Silva; Sam Staton; Peter Sutton; Carla Umbach;
PUBLICAÇÃO: 2019, FONTE: TbiLLC, VOLUME: 11456
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP80
TÃTULO: Scalable Verification of Probabilistic Networks PDF
AUTORES: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08096
AUTORES: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08096
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP