Gerald Berger

13 papers A* 4A 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
The Space-Efficient Core of Vadalog.
ACM Trans. Database Syst.
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2020 J jnl
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2019 A conf
Additive First-Order Queries.
ICDT
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
2019 A* conf
The Space-Efficient Core of Vadalog.
PODS
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018 J jnl
A many-sorted variant of Japaridze's polymodal provability logic.
Log. J. IGPL
Gerald Berger, Lev D. Beklemishev, Hans Tompits
2018 A* conf
Containment for Rule-Based Ontology-Mediated Queries.
PODS
Pablo Barceló, Gerald Berger, Andreas Pieris
2018 — conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
AMW
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 A* conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
IJCAI
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 J jnl
The Space-Efficient Core of Vadalog.
CoRR
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2017 J jnl
Containment for Rule-Based Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 — conf
Guarded Ontology-Mediated Queries Distributing Over Components.
AMW
Pablo Barceló, Gerald Berger, Andreas Pieris
2016 A* conf
Ontology-Mediated Queries Distributing over Components.
IJCAI
Gerald Berger, Andreas Pieris
2013 — conf
On Axiomatic Rejection for the Description Logic
KDPD
Gerald Berger, Hans Tompits
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski