Alexandra Martins da Silva
AuthID: R-000-NF7
11
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
AUTHORS: Todd Schmid; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.11301
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
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
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.03111
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
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
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
DBLP IN MY: DBLP
DBLP14
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
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
DBLP IN MY: DBLP
DBLP15
TITLE: A Coalgebraic Approach to Reducing Finitary Automata
AUTHORS: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.14916
AUTHORS: Keri D'Angelo; Alexandra Silva; Gerco van Heerdt; Leon Witzman;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.14916
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Deterministic stream-sampling for probabilistic programming: semantics and verification
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.13504
AUTHORS: Fredrik Dahlqvist; Alexandra Silva; William Smith;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.13504
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.01755
AUTHORS: Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2305.01755
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP18
TITLE: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: OOPSLA1
AUTHORS: Noam Zilberstein; Derek Dreyer; Alexandra Silva;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: OOPSLA1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP19
TITLE: Generators and Bases for Monadic Closures
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2023, SOURCE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
AUTHORS: Stefan Zetzsche; Alexandra Silva; Matteo Sammartino;
PUBLISHED: 2023, SOURCE: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, VOLUME: 270
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
TITLE: Automata Learning with an Incomplete Teacher
AUTHORS: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
AUTHORS: Mark Moeller; Thomas Wiener; Alaia Solko Breslin; Caleb Koch; Nate Foster; Alexandra Silva;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, VOLUME: 263
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP