Rebecca Ghidini

Orcid: 0009-0009-8117-2659

According to our database¹, Rebecca Ghidini authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Reachability Analysis for Parametric Rule-Based Models.

[BibT_eX]

[DOI]

Jérôme Feret

Rebecca Ghidini

Proceedings of the Computational Methods in Systems Biology, 2025

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.

[BibT_eX]

[DOI]

Lukas Stevens

Rebecca Ghidini

Proceedings of the Automated Deduction - CADE 30, 2025

2024

C-2PO: A Weakly Relational Pointer Domain.

[BibT_eX]

[DOI]

Dataset, August, 2024

C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For".

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

Rebecca Ghidini

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...