Pamina Georgiou

Orcid: 0000-0003-4856-4596

According to our database1, Pamina Georgiou authored at least 5 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Saturating Sorting without Sorts.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2022
Lemmaless Induction in Trace Logic.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

The Rapid Software Verification Framework.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020
Trace Logic for Inductive Loop Reasoning.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019
Verifying Relational Properties using Trace Logic.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019


  Loading...