Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

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
INDEXADO EM: DBLP
NO MEU: DBLP
12
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: CoRR, VOLUME: abs/2506.13383
INDEXADO EM: DBLP
NO MEU: DBLP
13
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
INDEXADO EM: DBLP
NO MEU: DBLP
14
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
INDEXADO EM: DBLP
NO MEU: DBLP
15
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
INDEXADO EM: DBLP
NO MEU: DBLP
16
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
INDEXADO EM: DBLP
NO MEU: DBLP
17
TÍTULO: A Categorical Approach to DIBI Models
AUTORES: Tao Gu; Jialu Bao; Justin Hsu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: KATch: A Fast Symbolic Verifier for NetKAT
AUTORES: Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: PLDI
INDEXADO EM: DBLP
NO MEU: DBLP
19
TÍTULO: Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AUTORES: Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: A Cyclic Proof System for Guarded Kleene Algebra with Tests
AUTORES: Jan Rooduijn; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II, VOLUME: 14740
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 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