Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

41
TÍTULO: Conflict-Aware Active Automata Learning
AUTORES: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.14781
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Joint Distributions in Probabilistic Semantics
AUTORES: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.06913
INDEXADO EM: DBLP
NO MEU: DBLP
43
TÍTULO: Automata Learning with an Incomplete Teacher (Artifact)
AUTORES: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: Dagstuhl Artifacts Ser., VOLUME: 9, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
44
TÍTULO: Conflict-Aware Active Automata Learning
AUTORES: Tiago Ferreira; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., VOLUME: 390
INDEXADO EM: DBLP
NO MEU: DBLP
45
TÍTULO: Formalizing Moessner's theorem and generalizations in Nuprl
AUTORES: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXADO EM: DBLP
NO MEU: DBLP
46
TÍTULO: Prognosis: Closed-Box Analysis of Network Protocol Implementations
AUTORES: Tiago Ferreira; Harrison Brewton; Loris D'Antoni; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.02577
INDEXADO EM: DBLP
NO MEU: DBLP
47
TÍTULO: Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.10485
INDEXADO EM: DBLP
NO MEU: DBLP
48
TÍTULO: Processes Parametrised by an Algebraic Theory
AUTORES: Todd Schmid; Wojciech Rozowski; Alexandra Silva; Jurriaan Rot;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2202.06901
INDEXADO EM: DBLP
NO MEU: DBLP
49
TÍTULO: Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
AUTORES: Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXADO EM: DBLP
NO MEU: DBLP
50
TÍTULO: Guarded Kleene Algebra with Tests: Automata Learning
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2204.14153
INDEXADO EM: DBLP
NO MEU: DBLP
Página 5 de 13. Total de resultados: 124.

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

Links Úteis

Ajuda

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