Pamina Georgiou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2019–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LPAR | Saturating Sorting without Sorts. | Pamina Georgiou, Mrton Hajd, Laura Kovcs |
| 2022 | FMCAD | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2020 | FMCAD | Trace Logic for Inductive Loop Reasoning. | Pamina Georgiou, Bernhard Gleiss, Laura Kovcs |
| 2019 | FMCAD | Verifying Relational Properties using Trace Logic. | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovcs, Matteo Maffei |