Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

41
TÍTULO: Tree-Based Adaptive Model Learning
AUTORES: Tiago Ferreira; Gerco van Heerdt; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.00122
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Actor-based model checking for Software-Defined Networks PDF
AUTORES: Elvira Albert; Miguel Gómez Zamalloa; Miguel Isabel; Albert Rubio; Matteo Sammartino; Alexandra Silva;
PUBLICAÇÃO: 2021, FONTE: J. Log. Algebraic Methods Program., VOLUME: 118
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
43
TÍTULO: Conditional transition systems with upgrades PDF
AUTORES: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Sci. Comput. Program., VOLUME: 186
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
44
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
INDEXADO EM: DBLP
NO MEU: DBLP
45
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
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
46
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
INDEXADO EM: DBLP
NO MEU: DBLP
47
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
INDEXADO EM: DBLP
NO MEU: DBLP
48
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
INDEXADO EM: DBLP
NO MEU: DBLP
49
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
INDEXADO EM: DBLP
NO MEU: DBLP
50
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 5 de 11. Total de resultados: 108.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service