Alexandra Martins da Silva
AuthID: R-000-NF7
71
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
DBLP72
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
DBLP73
TITLE: Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
AUTHORS: Alexandra Silva; Sam Staton; Peter Sutton; Carla Umbach;
PUBLISHED: 2019, SOURCE: TbiLLC, VOLUME: 11456
AUTHORS: Alexandra Silva; Sam Staton; Peter Sutton; Carla Umbach;
PUBLISHED: 2019, SOURCE: TbiLLC, VOLUME: 11456
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP74
TITLE: Scalable Verification of Probabilistic Networks PDF
AUTHORS: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08096
AUTHORS: Steffen Smolka; Praveen Kumar; David M Kahn; Nate Foster; Justin Hsu; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08096
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP75
TITLE: Tree Automata as Algebras: Minimisation and Determinisation PDF
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08802
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.08802
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP76
TITLE: A (co)algebraic theory of succinct automata PDF
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.05519
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.05519
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP77
TITLE: Completeness and Incompleteness of Synchronous Kleene Algebra PDF
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.08554
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.08554
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP78
TITLE: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time PDF
AUTHORS: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.05920
AUTHORS: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.05920
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP79
TITLE: Learning Weighted Automata over Principal Ideal Domains PDF
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.04404
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.04404
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP80
TITLE: A (co)algebraic theory of succinct automata
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 105
AUTHORS: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2019, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 105
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP