Alexandra Martins da Silva
AuthID: R-000-NF7
11
TÃTULO: A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
AUTORES: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.14701
AUTORES: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.14701
INDEXADO EM: DBLP
NO MEU: DBLP
12
TÃTULO: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.11301
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.11301
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÃTULO: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTORES: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.03111
AUTORES: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2303.03111
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÃTULO: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
AUTORES: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2023, FONTE: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÃTULO: Long-Term Mentoring for Computer Science Researchers
AUTORES: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLICAÇÃO: 2023, FONTE: Commun. ACM, VOLUME: 66, NÚMERO: 5
AUTORES: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLICAÇÃO: 2023, FONTE: Commun. ACM, VOLUME: 66, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
16
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
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
17
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
AUTORES: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.13504
INDEXADO EM: DBLP
NO MEU: DBLP
18
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
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
19
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
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
20
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
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