Alexandra Martins da Silva
AuthID: R-000-NF7
51
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
DBLP52
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
DBLP53
TITLE: Toward a Uniform Theory of Effectful State Machines
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLISHED: 2020, SOURCE: ACM Trans. Comput. Log., VOLUME: 21, ISSUE: 3
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLISHED: 2020, SOURCE: ACM Trans. Comput. Log., VOLUME: 21, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP54
TITLE: Partially Observable Concurrent Kleene Algebra
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.07593
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.07593
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP55
TITLE: Learning Automata with Side-Effects
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
AUTHORS: Gerco van Heerdt; Matteo Sammartino; Alexandra Silva;
PUBLISHED: 2020, SOURCE: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, VOLUME: 12094
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP56
TITLE: CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
AUTHORS: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
AUTHORS: Luca Aceto; Jos C M Baeten; Patricia Bouyer Decitre; Holger Hermanns; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP57
TITLE: Partially Observable Concurrent Kleene Algebra
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
AUTHORS: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2020, SOURCE: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., VOLUME: 171
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP58
TITLE: Preservation of Equations by Monoidal Monads
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., VOLUME: 170
AUTHORS: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLISHED: 2020, SOURCE: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., VOLUME: 170
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP59
TITLE: A Logic to Reason about Dependence and Independence
AUTHORS: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09231
AUTHORS: Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09231
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP60
TITLE: Bases for algebras over a monad
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.10223
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP