| An extensible equality checking algorithm for dependent type theories AP Komel, A Bauer Logical Methods in Computer Science 18, 2022 | 8 | 2022 |
| Equality checking for general type theories in andromeda 2 A Bauer, PG Haselwarter, A Petković Mathematical Software–ICMS 2020: 7th International Conference, Braunschweig …, 2020 | 6 | 2020 |
| META-ANALYSIS OF TYPE THEORIES WITH AN APPLICATION TO THE DESIGN OF FORMAL PROOFS AP Komel | 1* | |
| On equality checking for general type theories: Implementation in Andromeda 2 A Bauer, PG Haselwarter, A Petković EUTYPES-TYPES 2020-Abstracts, 0 | 1* | |
| 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 |
| Computing fixed points of monotone piecewise linear functions: master thesis A Petković [A. Petković], 2017 | | 2017 |
| Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu: delo diplomskega seminarja A Petković [A. Petković], 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ć | | |
