Trace logic for inductive loop reasoning P Georgiou, B Gleiss, L Kovács # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 255-263, 2020 | 23 | 2020 |

Verifying relational properties using trace logic G Barthe, R Eilers, P Georgiou, B Gleiss, L Kovács, M Maffei 2019 Formal Methods in Computer Aided Design (FMCAD), 170-178, 2019 | 21 | 2019 |

Verifying relational properties using trace logic. In 2019 Formal Methods in Computer Aided Design (FMCAD) G Barthe, R Eilers, P Georgiou, B Gleiss, L Kovács, M Maffei IEEE, 2019 | 5 | 2019 |

The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 4 | 2022 |

Lemmaless induction in trace logic A Bhayat, P Georgiou, C Eisenhofer, L Kovács, G Reger International Conference on Intelligent Computer Mathematics, 191-208, 2022 | 2 | 2022 |

Sorting Without Sorts P Georgiou, M Hajdu, L Kovacs EasyChair, 2023 | 1 | 2023 |

Saturating Sorting without Sorts P Georgiou, M Hajdu, L Kovács arXiv preprint arXiv:2403.03712, 2024 | | 2024 |

Towards Automating Induction for Software Verification-Guiding Inductive Reasoning in Superposition-based Theorem Proving P Georgiou Technische Universität Wien, 2024 | | 2024 |

Trace Reasoning for Formal Verification using the First-Order Superposition Calculus P Georgiou, B Gleiss, L Kovacs, M Maffei | | 2019 |

Trace Reasoning for formal verification: guiding vampire in induction P Georgiou Wien, 2019 | | 2019 |