Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

31
TÍTULO: A Coalgebraic Approach to Reducing Finitary Automata
AUTORES: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.14916
INDEXADO EM: DBLP
NO MEU: DBLP
32
TÍTULO: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTORES: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.13504
INDEXADO EM: DBLP
NO MEU: DBLP
33
TÍTULO: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2305.01755
INDEXADO EM: DBLP
NO MEU: DBLP
34
TÍTULO: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTORES: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: OOPSLA1
INDEXADO EM: DBLP
NO MEU: DBLP
35
TÍTULO: Generators and Bases for Monadic Closures
AUTORES: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLICAÇÃO: 2023, FONTE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
INDEXADO EM: DBLP
NO MEU: DBLP
36
TÍTULO: Automata Learning with an Incomplete Teacher
AUTORES: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
INDEXADO EM: DBLP
NO MEU: DBLP
37
TÍTULO: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTORES: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, VOLUME: 261
INDEXADO EM: DBLP
NO MEU: DBLP
38
TÍTULO: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTORES: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLICAÇÃO: 2023, FONTE: LICS
INDEXADO EM: DBLP
NO MEU: DBLP
39
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
INDEXADO EM: DBLP
NO MEU: DBLP
40
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 4 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