Alexandra Martins da Silva
AuthID: R-000-NF7
81
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
DBLP82
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
DBLP83
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
DBLP84
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
DBLP85
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
DBLP86
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
DBLP87
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
DBLP88
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
89
TÃTULO: Learning to Coordinate
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP90
TÃTULO: SDN-Actors: Modeling and Verification of SDN Programs
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, VOLUME: 10951
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, VOLUME: 10951
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP