Alexandra Martins da Silva
AuthID: R-000-NF7
51
TÃTULO: Learning Weighted Automata over Principal Ideal Domains
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP52
TÃTULO: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness PDF
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Tobias Kappé; Paul Brunet; Alexandra Silva; Jana Wagemaker; Fabio Zanasi;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP53
TÃTULO: Models of Concurrent Kleene Algebra
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP54
TÃTULO: A Categorical Framework for Learning Generalised Tree Automata
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.05786
AUTORES: Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.05786
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP55
TÃTULO: Preservation of Equations by Monoidal Monads
AUTORES: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.06348
AUTORES: Louis Parlant; Jurriaan Rot; Alexandra Silva; Bas Westerbaan;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.06348
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP56
TÃTULO: Minimisation in Logical Form
AUTORES: Nick Bezhanishvili; Marcello M Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.11551
AUTORES: Nick Bezhanishvili; Marcello M Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.11551
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP57
TÃTULO: Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
AUTORES: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
AUTORES: Steffen Smolka; Nate Foster; Justin Hsu; Tobias Kappé; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP58
TÃTULO: Left-handed completeness
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Theor. Comput. Sci., VOLUME: 807
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Theor. Comput. Sci., VOLUME: 807
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP59
TÃTULO: Toward a Uniform Theory of Effectful State Machines
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: ACM Trans. Comput. Log., VOLUME: 21, NÚMERO: 3
AUTORES: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: ACM Trans. Comput. Log., VOLUME: 21, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP60
TÃTULO: Partially Observable Concurrent Kleene Algebra
AUTORES: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.07593
AUTORES: Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.07593
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP