Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Requiring Validation

1
TITLE: A Complete Diagrammatic Calculus for Automata Simulation
AUTHORS: Thibaut Antoine; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2025, SOURCE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: A Complete Inference System for Probabilistic Infinite Trace Equivalence
AUTHORS: Corina Cîrstea; Lawrence S Moss; Victoria Noquez; Todd Schmid; Alexandra Silva; Ana Sokolova;
PUBLISHED: 2025, SOURCE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXED IN: DBLP
IN MY: DBLP
3
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
INDEXED IN: DBLP
IN MY: DBLP
4
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
INDEXED IN: DBLP
IN MY: DBLP
5
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
INDEXED IN: DBLP
IN MY: DBLP
6
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
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: A Categorical Approach to DIBI Models
AUTHORS: Tao Gu; Jialu Bao; Justin Hsu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2024, SOURCE: 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia, VOLUME: 299
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: KATch: A Fast Symbolic Verifier for NetKAT
AUTHORS: Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: PLDI
INDEXED IN: DBLP
IN MY: DBLP
9
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: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: A Cyclic Proof System for Guarded Kleene Algebra with Tests
AUTHORS: Jan Rooduijn; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II, VOLUME: 14740
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 12. Total results: 115.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service