VLDB 2026 Research / reviewers in the wild / expert
Katja Bercic
dblp:120/1392
· DBLP profile ↗
4ranked-venue papers
3as first author
2since 2021 · last 2024
0000-0002-6678-8975ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 3 first-author · 2 since 2021Software engineering, systems software and programming languages · 4 · 3 first-author · 2 since 2021Theory of computation · 4 · 3 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Incorporating a Database of Graphs into a Proof Assistant
Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak |
CICM | 2 |
| 2022 | Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR
Katja Bercic, Filip Koprivec |
CICM | 1 |
| 2020 | Towards a Heterogeneous Query Language for Mathematical Knowledge
Katja Bercic, Michael Kohlhase, Florian Rabe 0001 |
CICM | 1 |
| 2019 | Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
Katja Bercic, Michael Kohlhase, Florian Rabe 0001 |
CICM | 1 |