Alexandra Martins da Silva
AuthID: R-000-NF7
11
TITLE: Weighted GKAT: Completeness and Complexity
AUTHORS: Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.20385
AUTHORS: Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.20385
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
TITLE: StacKAT: Infinite State Network Verification
AUTHORS: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: PLDI
AUTHORS: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: PLDI
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
AUTHORS: Alexandra Silva; Renata Wassermann; Ruy J G B de Queiroz;
PUBLISHED: 2025, SOURCE: J. Log. Comput., VOLUME: 35, ISSUE: 6
AUTHORS: Alexandra Silva; Renata Wassermann; Ruy J G B de Queiroz;
PUBLISHED: 2025, SOURCE: J. Log. Comput., VOLUME: 35, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP14
TITLE: StacKAT artifact
AUTHORS: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLISHED: 2025
AUTHORS: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: RFSeek and Ye Shall Find
AUTHORS: Noga H Rotman; Tiago Ferreira; Hila Peleg; Mark Silberstein; Alexandra Silva;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.10216
AUTHORS: Noga H Rotman; Tiago Ferreira; Hila Peleg; Mark Silberstein; Alexandra Silva;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.10216
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
AUTHORS: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.04649
AUTHORS: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.04649
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
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
DBLP IN MY: DBLP
DBLP18
TITLE: Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AUTHORS: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
AUTHORS: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP19
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
DBLP IN MY: DBLP
DBLP20
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
DBLP IN MY: DBLP
DBLP