4.-8. März 2019. Gesellschaft für Informatik, Bonn, 2019.
Privacy-preserving ontology publishing for $$EL $$ instance stores. Logics in Artificial Intelligence, 323--338, Springer International Publishing, Cham, 2019.
Chromosome-level $łess$i$\greater$Thlaspi arvense$łess$/i$\greater$ genome provides new tools for translational research and for a newly domesticated cash cover crop of the cooler climates. Cold Spring Harbor Laboratory, August 2021. URL
PostCENN. Proceedings VLDB Endowment, (14)12:2715--2718, Association for Computing Machinery (ACM), July 2021.
Timed abstract dialectical frameworks: A simple translation-based approach. Computational Models of Argument: Proceedings of COMMA 2020, (326):103, IOS Press, 2020.
EAGER: Embedding-assisted entity Resolution for knowledge graphs. arXiv, 2021.
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic. arXiv, 2021.
From modular decomposition trees to rooted median graphs. arXiv, 2021.
Distributed sparse block grids on GPUs. Lecture Notes in Computer Science, 272--290, Springer International Publishing, Cham, 2021.
Equivalence in argumentation frameworks with a claim-centric view--classical results with novel ingredients. Proceedings of the AAAI Conference on Artificial Intelligence, (36)5:5479--5486, 2022.