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 5 papers between 2020 and 2024.

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

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...