1
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
2
TITLE: A Categorical Approach to DIBI Models
AUTHORS: Tao Gu; Jialu Bao; Justin Hsu; Alexandra Silva; Fabio Zanasi;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.05842
INDEXED IN: DBLP
IN MY: DBLP
3
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: CoRR, VOLUME: abs/2404.04760
INDEXED IN: DBLP
IN MY: DBLP
4
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: CoRR, VOLUME: abs/2404.05097
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Multisets and Distributions
AUTHORS: Dexter Kozen; Alexandra Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.10812
INDEXED IN: DBLP
IN MY: DBLP
6
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
7
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
8
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
9
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
10
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
INDEXED IN: DBLP
IN MY: DBLP
Página 1 de 11. Total de resultados: 102.