Tetravalent arc-transitive graphs of order twice a product of two primes. - Katja Bercic; Mohsen Ghasemi 001 (Discret. Math., 2012)

3XL News: A Cross-lingual News Aggregator and Reader. - Evgenia Belyaeva; Jan Bercic; Katja Bercic; Flavio Fuart; Aljaz Kosmerlj; Andrej Muhic; Aljosa Rehar; Jan Rupnik; Mitja Trampus (ESWC (Satellite Events), 2015)

Two-arc-transitive two-valent digraphs of certain orders. - Primoz Potocnik; Katja Bercic (Ars Math. Contemp., 2016)

DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. - Katja Bercic; Janos Vidali (ICMS, 2018)

Towards a Census of Relational Data in Mathematics. - Katja Bercic (LWDA, 2019)

Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. - Katja Bercic; Michael Kohlhase; Florian Rabe 001 (CICM, 2019)

Towards a Heterogeneous Query Language for Mathematical Knowledge. - Katja Bercic; Michael Kohlhase; Florian Rabe 001 (CICM, 2020)

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. - Katja Bercic; Jacques Carette; William M. Farmer; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Yasmine Sharoda (CoRR, 2020)

(Deep) FAIR mathematics. - Katja Bercic; Michael Kohlhase; Florian Rabe 001 (it Inf. Technol., 2020)

DiscreteZOO: A Fingerprint Database of Discrete Objects. - Katja Bercic; Janos Vidali (Math. Comput. Sci., 2020)

Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR. - Katja Bercic; Filip Koprivec (CICM, 2022)

Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). - Andrej Bauer; Katja Bercic; Florian Rabe 001; Nicolas M. Thiéry; Jure Taslak (Dagstuhl Reports, 2023)

Incorporating a Database of Graphs into a Proof Assistant. - Andrej Bauer; Katja Bercic; Gauvain Devillez; Jure Taslak (CICM, 2024)