Alexandra Martins da Silva
AuthID: R-000-NF7
1
TITLE: A Demonic Outcome Logic for Randomized Nondeterminism
AUTHORS: Noam Zilberstein; Dexter Kozen; Alexandra Silva; Joseph Tassarotti;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
AUTHORS: Noam Zilberstein; Dexter Kozen; Alexandra Silva; Joseph Tassarotti;
PUBLISHED: 2025, SOURCE: Proc. ACM Program. Lang., VOLUME: 9, ISSUE: POPL
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
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
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
DBLP IN MY: DBLP
DBLP3
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
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
DBLP IN MY: DBLP
DBLP4
TITLE: On Formal Methods Thinking in Computer Science Education
AUTHORS: Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C R Hehner; Carroll Morgan; Peter Müller; Leila Ribeiro; Alexandra Silva; Graeme Smith; Erik P de Vink;
PUBLISHED: 2025, SOURCE: Formal Aspects Comput., VOLUME: 37, ISSUE: 1
AUTHORS: Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C R Hehner; Carroll Morgan; Peter Müller; Leila Ribeiro; Alexandra Silva; Graeme Smith; Erik P de Vink;
PUBLISHED: 2025, SOURCE: Formal Aspects Comput., VOLUME: 37, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
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
DBLP6
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
DBLP7
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
DBLP8
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
DBLP9
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
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
DBLP IN MY: DBLP
DBLP10
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
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
DBLP IN MY: DBLP
DBLP