Equality Checking for General Type Theories in Andromeda 2. - Andrej Bauer; Philipp G. Haselwarter; Anja Petkovic (ICMS, 2020)

An extensible equality checking algorithm for dependent type theories. - Andrej Bauer; Anja Petkovic Komel (Log. Methods Comput. Sci., 2022)

CheckMate: Automated Game-Theoretic Security Reasoning. - Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson 001 (CCS, 2023)

Scaling CheckMate for Game-Theoretic Security. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (LPAR, 2024)

Scaling Game-Theoretic Security Reasoning. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (CoRR, 2024)

Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories. - Michael Rawson 001; Andrei Voronkov; Johannes Schoisswohl; Anja Petkovic Komel (CADE, 2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo. - Anja Petkovic Komel; Michael Rawson 001; Martin Suda 001 (CoRR, 2025)