Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Awaiting Confirmation

71
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
INDEXED IN: DBLP arXiv
IN MY: DBLP
72
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
INDEXED IN: DBLP arXiv
IN MY: DBLP
73
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
INDEXED IN: DBLP
IN MY: DBLP
74
TITLE: Concurrent Kleene Algebra: Free Model and Completeness PDF
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: DBLP arXiv
IN MY: DBLP
75
TITLE: Learning to Coordinate
AUTHORS: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXED IN: DBLP
IN MY: DBLP
76
TITLE: SDN-Actors: Modeling and Verification of SDN Programs
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
77
TITLE: Almost Sure Productivity
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
INDEXED IN: DBLP
IN MY: DBLP
78
TITLE: Convex Language Semantics for Nondeterministic Probabilistic Automata PDF
AUTHORS: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1805.11550
INDEXED IN: DBLP arXiv
IN MY: DBLP
79
TITLE: Equivalence checking for weak bi-Kleene algebra PDF
AUTHORS: Tobias Kappé; Paul Brunet; Bas Luttik; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.02102
INDEXED IN: DBLP arXiv
IN MY: DBLP
80
TITLE: A coalgebraic treatment of conditional transition systems with upgrades
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
Page 8 of 10. Total results: 100.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service