Katja Bercic

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 12

Top Topics

Software Systems

Relational Data

Top Venues

Math. Comput. Sci.

it Inf. Technol.

Publications

Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak
Incorporating a Database of Graphs into a Proof Assistant. CICM (2024)
Andrej Bauer, Katja Bercic, Florian Rabe, Nicolas M. Thiéry, Jure Taslak
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). Dagstuhl Reports 13 (10) (2023)
Katja Bercic, Filip Koprivec
Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR. CICM (2022)
Katja Bercic, Michael Kohlhase, Florian Rabe
(Deep) FAIR mathematics. it Inf. Technol. 62 (1) (2020)
Katja Bercic, Michael Kohlhase, Florian Rabe
Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM (2020)
Katja Bercic, Janos Vidali
DiscreteZOO: A Fingerprint Database of Discrete Objects. Math. Comput. Sci. 14 (3) (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Katja Bercic, Michael Kohlhase, Florian Rabe
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM (2019)
Katja Bercic
Towards a Census of Relational Data in Mathematics. LWDA (2019)
Katja Bercic, Janos Vidali
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. ICMS (2018)
Katja Bercic, Janos Vidali
DiscreteZOO: a Fingerprint Database of Discrete Objects. CoRR (2018)
Primoz Potocnik, Katja Bercic
Two-arc-transitive two-valent digraphs of certain orders. Ars Math. Contemp. 11 (1) (2016)
Evgenia Belyaeva, Jan Bercic, Katja Bercic, Flavio Fuart, Aljaz Kosmerlj, Andrej Muhic, Aljosa Rehar, Jan Rupnik, Mitja Trampus
3XL News: A Cross-lingual News Aggregator and Reader. ESWC (Satellite Events) (2015)
Katja Bercic, Mohsen Ghasemi
Tetravalent arc-transitive graphs of order twice a product of two primes. Discret. Math. 312 (24) (2012)