Katja Bercic

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