Alexandra Martins da Silva
AuthID: R-000-NF7
71
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
DBLP72
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
DBLP73
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
DBLP74
TÃTULO: Tree Automata as Algebras: Minimisation and Determinisation PDF
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08802
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.08802
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP75
TÃTULO: A (co)algebraic theory of succinct automata PDF
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.05519
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.05519
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP76
TÃTULO: Completeness and Incompleteness of Synchronous Kleene Algebra PDF
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.08554
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.08554
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP77
TÃTULO: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time PDF
AUTORES: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.05920
AUTORES: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.05920
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP78
TÃTULO: Learning Weighted Automata over Principal Ideal Domains PDF
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.04404
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.04404
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP79
TÃTULO: A (co)algebraic theory of succinct automata
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebraic Methods Program., VOLUME: 105
AUTORES: Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: J. Log. Algebraic Methods Program., VOLUME: 105
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP80
TÃTULO: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
