Alexandra Martins da Silva


AuthID: R-000-NF7

Publications Requiring Validation

21
TITLE: On Iteration in Discrete Probabilistic Programming
AUTHORS: Mateo Torres Ruiz; Robin Piedeleu; 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
22
TITLE: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
AUTHORS: Rupak Majumdar; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CONCUR, VOLUME: 311
INDEXED IN: DBLP
IN MY: DBLP
23
TITLE: Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
AUTHORS: Aws Albarghouthi; Rustan R M Leino; Alexandra Silva; Caterina Urban;
PUBLISHED: 2024, SOURCE: Formal Methods Syst. Des., VOLUME: 63, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
24
TITLE: Correct and Complete Symbolic Execution for Free
AUTHORS: Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2024, SOURCE: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, VOLUME: 15234
INDEXED IN: DBLP
IN MY: DBLP
25
TITLE: Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching
AUTHORS: James Li; Noam Zilberstein; Alexandra Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.00197
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
AUTHORS: Noam Zilberstein; Alexandra Silva; Joseph Tassarotti;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.11662
INDEXED IN: DBLP
IN MY: DBLP
27
TITLE: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.11301
INDEXED IN: DBLP
IN MY: DBLP
28
TITLE: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.03111
INDEXED IN: DBLP
IN MY: DBLP
29
TITLE: A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXED IN: DBLP
IN MY: DBLP
30
TITLE: Long-Term Mentoring for Computer Science Researchers
AUTHORS: Emily Ruppel; Sihang Liu; Elba Garza; Sukyoung Ryu; Alexandra Silva; Talia Ringer;
PUBLISHED: 2023, SOURCE: Commun. ACM, VOLUME: 66, ISSUE: 5
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 13. Total results: 124.

footer slogan

Useful Links

Get Help

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