NOC-NOC: Towards Performance-optimal Distributed Transactions. - Si Liu 003; Luca Multazzu; Hengfeng Wei; David A. Basin (Proc. ACM Manag. Data, 2024)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (TACAS (3), 2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions (Artifacts). - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (Zenodo, 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions. - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Proc. VLDB Endow., 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions (Artifacts). - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Zenodo, 2025)