C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For". - Rebecca Ghidini; Julian Erhard; Michael Schwarz 007; Helmut Seidl (NSAD@SAS, 2024)

C-2PO: A Weakly Relational Pointer Domain. - Rebecca Ghidini; Michael Schwarz 007; Julian Erhard; Helmut Seidl (Zenodo, 2024)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. - Lukas Stevens; Rebecca Ghidini (CADE, 2025)

Reachability Analysis for Parametric Rule-Based Models. - Jérôme Feret; Rebecca Ghidini (CMSB, 2025)