Alexandra Martins da Silva
AuthID: R-000-NF7
41
TITLE: Actor-based model checking for Software-Defined Networks PDF
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 118
AUTHORS: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 118
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP42
TITLE: Conditional transition systems with upgrades PDF
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Sci. Comput. Program., VOLUME: 186
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP43
TITLE: Learning Weighted Automata over Principal Ideal Domains
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
AUTHORS: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP44
TITLE: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness PDF
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
AUTHORS: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLISHED: 2020, SOURCE: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12077
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP45
TITLE: Models of Concurrent Kleene Algebra
AUTHORS: Alexandra Silva;
PUBLISHED: 2020, SOURCE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
AUTHORS: Alexandra Silva;
PUBLISHED: 2020, SOURCE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP46
TITLE: A Categorical Framework for Learning Generalised Tree Automata
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.05786
AUTHORS: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.05786
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP47
TITLE: Preservation of Equations by Monoidal Monads
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.06348
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.06348
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP48
TITLE: Minimisation in Logical Form
AUTHORS: Nick Bezhanishvili; Marcello M Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.11551
AUTHORS: Nick Bezhanishvili; Marcello M Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.11551
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP49
TITLE: Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
AUTHORS: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
AUTHORS: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP50
TITLE: Left-handed completeness
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Theor. Comput. Sci., VOLUME: 807
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Theor. Comput. Sci., VOLUME: 807
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP