Publications and CV

My full CV is available to download as a PDF (June 2026 version).

Selected publications

• 2026. Katja Berčič. Data and Data Quality in Mathematics. In Data Quality Matters, IntechOpen. doi:10.5772/intechopen.1013831.
• 2024. Andrej Bauer, Katja Berčič, Gauvain Devillez, Jure Taslak. Incorporating a Database of Graphs into a Proof Assistant. Intelligent Computer Mathematics (CICM 2024), LNCS 14960, 146–162. doi:10.1007/978-3-031-66997-2_9.
• 2022. Katja Berčič, Filip Koprivec. Making the Census of Cubic Vertex-Transitive Graphs Searchable and FAIR. Intelligent Computer Mathematics (CICM 2022), LNCS 13467, 323–328. doi:10.1007/978-3-031-16681-5_22.
• 2020. Katja Berčič, Michael Kohlhase, Florian Rabe. (Deep) FAIR Mathematics. it – Information Technology 62(1):7–17. doi:10.1515/itit-2019-0028.
• 2020. Katja Berčič, Michael Kohlhase, Florian Rabe. Towards a Heterogeneous Query Language for Mathematical Knowledge. Intelligent Computer Mathematics (CICM 2020), LNCS 12236, 39–54. doi:10.1007/978-3-030-53518-6_3.
• 2020. Katja Berčič, Janoš Vidali. DiscreteZOO: A Fingerprint Database of Discrete Objects. Mathematics in Computer Science 14(3):559–575. doi:10.1007/s11786-020-00453-5.
• 2019. Katja Berčič, Michael Kohlhase, Florian Rabe. Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. Intelligent Computer Mathematics (CICM 2019), LNCS 11617, 28–43. doi:10.1007/978-3-030-23250-4_3.

Earlier work in graph theory:

• 2015. Primož Potočnik, Katja Berčič. Two-arc-transitive two-valent digraphs of certain orders. Ars Mathematica Contemporanea 11(1):127–146. doi:10.26493/1855-3974.747.2d3.
• 2012. Katja Berčič, Mohsen Ghasemi. Tetravalent arc-transitive graphs of order twice a product of two primes. Discrete Mathematics 312(24):3643–3648. doi:10.1016/j.disc.2012.08.018.

A complete list is on ORCID, dblp, and Google Scholar.