Alexandra Martins da Silva
AuthID: R-000-NF7
11
TÃTULO: Weighted GKAT: Completeness and Complexity
AUTORES: Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.20385
AUTORES: Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.20385
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: StacKAT: Infinite State Network Verification
AUTORES: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: PLDI
AUTORES: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: PLDI
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
AUTORES: Alexandra Silva; Renata Wassermann; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2025, FONTE: J. Log. Comput., VOLUME: 35, NÚMERO: 6
AUTORES: Alexandra Silva; Renata Wassermann; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2025, FONTE: J. Log. Comput., VOLUME: 35, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: StacKAT artifact
AUTORES: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLICAÇÃO: 2025
AUTORES: Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva; Jana Wagemaker;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: RFSeek and Ye Shall Find
AUTORES: Noga H Rotman; Tiago Ferreira; Hila Peleg; Mark Silberstein; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.10216
AUTORES: Noga H Rotman; Tiago Ferreira; Hila Peleg; Mark Silberstein; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.10216
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
AUTORES: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.04649
AUTORES: Mateo Torres Ruiz; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.04649
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: Multisets and Distributions
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, VOLUME: 14560
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, VOLUME: 14560
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP18
TÃTULO: Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AUTORES: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
AUTORES: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: A Completeness Theorem for Probabilistic Regular Expressions
AUTORES: Wojciech Rozowski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
AUTORES: Wojciech Rozowski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP20
TÃTULO: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
AUTORES: Aniello Murano; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CSL, VOLUME: 288
AUTORES: Aniello Murano; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CSL, VOLUME: 288
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP