| Equality checking for general type theories in andromeda 2 A Bauer, PG Haselwarter, A Petković International Congress on Mathematical Software, 253-259, 2020 | 7 | 2020 |
| An extensible equality checking algorithm for dependent type theories A Bauer, AP Komel Logical Methods in Computer Science 18, 2022 | 6 | 2022 |
| CheckMate: Automated Game-Theoretic Security Reasoning LS Brugger, L Kovács, A Petkovic Komel, S Rain, M Rawson Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 3 | 2023 |
| Meta-analysis of type theories with an application to the design of formal proofs AP Komel Ph. D. Dissertation. University of Ljubljana, 2021 | 2 | 2021 |
| Scaling CheckMate for Game-Theoretic Security S Rain, LS Brugger, AP Komel, L Kovács, M Rawson Proceedings of 25th Conference on Logic for Pro 100, 222-231, 2024 | | 2024 |
| Scaling Game-Theoretic Security Reasoning S Rain, LS Brugger, AP Komel, L Kovács, M Rawson arXiv e-prints, arXiv: 2403.10310, 2024 | | 2024 |
| Automating Security Analysis of Off-Chain Protocols LS Brugger, L Kovács, A Petkovic Komel, S Rain, M Rawson | | 2022 |
| An extensible equality checking algorithm for dependent type theories A Bauer, AP Komel arXiv preprint arXiv:2103.07397, 2021 | | 2021 |
| Meta-analysis of Type Theories with an Application to the Design of Formal Proofs: Doctoral Thesis AP Komel A. Petković Komel, 2021 | | 2021 |
| On equality checking for general type theories: Implementation in Andromeda 2 A Bauer, PG Haselwarter, A Petković 26th International Conference on Types for Proofs and Programs, EUTYPES …, 2020 | | 2020 |
| Computing fixed points of monotone piecewise linear functions: master thesis A Petković Univerza v Ljubljani, Fakulteta za matematiko in fiziko, 2017 | | 2017 |
| Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu: delo diplomskega seminarja A Petković Univerza v Ljubljani, Fakulteta za matematiko in fiziko, 2015 | | 2015 |
| The Andromeda proof assistant A Bauer, G Gilbert, PG Haselwarter, A Petković, M Pretnar, CA Stone | | |
| Equality checking for dependent type theories A Bauer, A Petković | | |
