We stand with Ukraine  

Anja Petkovic Komel

Orcid: 0000-0001-7203-6641

Affiliations:
  • Vienna University of Technology, Austria


According to our database1, Anja Petkovic Komel authored at least 11 papers between 2020 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
act: Technical report.
[BibTeX]
[DOI]
Zoe Paraskevopoulou
,
Anja Petkovic Komel
,
Sophie Rain
,
Lefteris Lazaropoulos
,
Alexis Terry
CoRR, April, 2026

2025
Game Modeling of Blockchain Protocols - artifact.
[BibTeX]
[DOI]
Sophie Rain
,
Anja Petkovic Komel
,
Michael Rawson
,
Laura Kovács
Dataset, August, 2025

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo.
[BibTeX]
[DOI]
Anja Petkovic Komel
,
Michael Rawson
,
Martin Suda
CoRR, March, 2025

Divide and Conquer: A Compositional Approach to Game-Theoretic Security.
[BibTeX]
[DOI]
Ivana Bocevska
,
Anja Petkovic Komel
,
Laura Kovács
,
Sophie Rain
,
Michael Rawson
Proc. ACM Program. Lang., 2025

Game Modeling of Blockchain Protocols.
[BibTeX]
[DOI]
Sophie Rain
,
Anja Petkovic Komel
,
Michael Rawson
,
Laura Kovács
Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories.
[BibTeX]
[DOI]
Michael Rawson
,
Andrei Voronkov
,
Johannes Schoisswohl
,
Anja Petkovic Komel
Proceedings of the Automated Deduction - CADE 30, 2025

2024
Scaling Game-Theoretic Security Reasoning.
[BibTeX]
[DOI]
Sophie Rain
,
Lea Salome Brugger
,
Anja Petkovic Komel
,
Laura Kovács
,
Michael Rawson
CoRR, 2024

Scaling CheckMate for Game-Theoretic Security.
[BibTeX]
[DOI]
Sophie Rain
,
Lea Salome Brugger
,
Anja Petkovic Komel
,
Laura Kovács
,
Michael Rawson
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
CheckMate: Automated Game-Theoretic Security Reasoning.
[BibTeX]
[DOI]
Lea Salome Brugger
,
Laura Kovács
,
Anja Petkovic Komel
,
Sophie Rain
,
Michael Rawson
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
An extensible equality checking algorithm for dependent type theories.
[BibTeX]
[DOI]
Andrej Bauer
,
Anja Petkovic Komel
Log. Methods Comput. Sci., 2022

2020
Equality Checking for General Type Theories in Andromeda 2.
[BibTeX]
[DOI]
Andrej Bauer
,
Philipp G. Haselwarter
,
Anja Petkovic
Proceedings of the Mathematical Software - ICMS 2020, 2020


  Loading...