Alexandra Martins da Silva
AuthID: R-000-NF7
31
TÃTULO: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTORES: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLICAÇÃO: 2023, FONTE: LICS
AUTORES: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLICAÇÃO: 2023, FONTE: LICS
INDEXADO EM:
DBLP

NO MEU:
DBLP

32
TÃTULO: Symbolic Semantics for Probabilistic Programs
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
INDEXADO EM:
DBLP

NO MEU:
DBLP

33
TÃTULO: Symbolic Semantics for Probabilistic Programs (extended version)
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.09951
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.09951
INDEXADO EM:
DBLP

NO MEU:
DBLP

34
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
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

35
TÃTULO: Joint Distributions in Probabilistic Semantics
AUTORES: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.06913
AUTORES: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.06913
INDEXADO EM:
DBLP

NO MEU:
DBLP

36
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
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

37
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
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

38
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
AUTORES: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXADO EM:
DBLP

NO MEU:
DBLP

39
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
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

40
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
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
