Alexandra Martins da Silva
AuthID: R-000-NF7
1
TITLE: Multisets and Distributions
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, VOLUME: 14560
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, VOLUME: 14560
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
2
TITLE: A Completeness Theorem for Probabilistic Regular Expressions
AUTHORS: Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
AUTHORS: Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
3
TITLE: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
AUTHORS: Aniello Murano; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CSL, VOLUME: 288
AUTHORS: Aniello Murano; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CSL, VOLUME: 288
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
4
TITLE: Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AUTHORS: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.05097
AUTHORS: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.05097
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
5
TITLE: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.11301
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.11301
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
6
TITLE: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.03111
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.03111
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
7
TITLE: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
8
TITLE: Long-Term Mentoring for Computer Science Researchers
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2023, SOURCE: Commun. ACM, VOLUME: 66, ISSUE: 5
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2023, SOURCE: Commun. ACM, VOLUME: 66, ISSUE: 5
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
9
TITLE: A Coalgebraic Approach to Reducing Finitary Automata
AUTHORS: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.14916
AUTHORS: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.14916
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)
10
TITLE: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.13504
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.13504
INDEXED IN:
DBLP
![](/img/dblp_icon.png)
IN MY:
DBLP
![](/img/dblp_icon.png)