Anja Petkovic Komel

Orcid: 0000-0001-7203-6641

Affiliations:

Vienna University of Technology, Austria

According to our database¹, Anja Petkovic Komel authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Scaling Game-Theoretic Security Reasoning.

[BibT_eX]

[DOI]

CoRR, 2024

2023

CheckMate: Automated Game-Theoretic Security Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

An extensible equality checking algorithm for dependent type theories.

[BibT_eX]

[DOI]

Andrej Bauer

Anja Petkovic Komel

Log. Methods Comput. Sci., 2022

2020

Equality Checking for General Type Theories in Andromeda 2.

[BibT_eX]

[DOI]

Andrej Bauer

Philipp G. Haselwarter

Anja Petkovic

Proceedings of the Mathematical Software - ICMS 2020, 2020

Anja Petkovic Komel

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...