Publications and CV

My CV (PDF) has the full record. A complete publication list is also on dblp and Google Scholar.

Selected publications

• K. Berčič. Data and Data Quality in Mathematics. In Data Quality Matters, IntechOpen, 2026. DOI
• A. Bauer, K. Berčič, G. Devillez, J. Taslak. Incorporating a Database of Graphs into a Proof Assistant. CICM 2024. DOI
• K. Berčič, F. Koprivec. Making the Census of Cubic Vertex-Transitive Graphs Searchable and FAIR. CICM 2022. DOI
• K. Berčič, M. Kohlhase, F. Rabe. (Deep) FAIR Mathematics. it – Information Technology 62(1), 2020. DOI
• K. Berčič, M. Kohlhase, F. Rabe. Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM 2020. DOI
• K. Berčič, J. Vidali. DiscreteZOO: A Fingerprint Database of Discrete Objects. Mathematics in Computer Science 14(3), 2020. DOI
• K. Berčič, M. Kohlhase, F. Rabe. Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM 2019. DOI
• K. Berčič, P. Potočnik. Two-arc-transitive two-valent digraphs of certain orders. Ars Mathematica Contemporanea 11(1), 2015. DOI
• K. Berčič, M. Ghasemi. Tetravalent arc-transitive graphs of order twice a product of two primes. Discrete Mathematics 312(24), 2012. DOI