Verifying Relational Properties using Trace Logic. - Gilles Barthe; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei (FMCAD, 2019)

Trace Logic for Inductive Loop Reasoning. - Pamina Georgiou; Bernhard Gleiss; Laura Kovács (FMCAD, 2020)

The Rapid Software Verification Framework. - Pamina Georgiou; Bernhard Gleiss; Ahmed Bhayat; Michael Rawson 001; Laura Kovács; Giles Reger (FMCAD, 2022)

Lemmaless Induction in Trace Logic. - Ahmed Bhayat; Pamina Georgiou; Clemens Eisenhofer; Laura Kovács; Giles Reger (CICM, 2022)

Saturating Sorting without Sorts. - Pamina Georgiou; Márton Hajdú; Laura Kovács (LPAR, 2024)