Leif Sabellek

22 papers A* 5A 1B 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A conf
ICDT
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 J jnl
CoRR
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 B conf
CSL
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2023 J jnl
CoRR
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2023 J jnl
CoRR
Mario Grobler, Leif Sabellek, Sebastian Siebertz
2022 J jnl
Artif. Intell.
Carsten Lutz, Leif Sabellek
2022 A* conf
KR
Carsten Lutz, Leif Sabellek, Lukas Schulze
2022 J jnl
CoRR
Carsten Lutz, Leif Sabellek, Lukas Schulze
2021 — conf
Description Logics
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021 A* conf
KR
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2021 J jnl
CoRR
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
2020 — conf
Description Logics
Carsten Lutz, Leif Sabellek
2020 J jnl
Künstliche Intell.
Leif Sabellek
2020 J jnl
CoRR
Carsten Lutz, Johannes Marti, Leif Sabellek
2019 J jnl
CoRR
Carsten Lutz, Leif Sabellek
2019 — conf
COSIT
Reinhard Moratz, Leif Sabellek, Thomas Schneider
2019 — —
Leif Sabellek
2018 A* conf
KR
Carsten Lutz, Johannes Marti, Leif Sabellek
2018 — conf
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2018 A* conf
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2017 — conf
Description Logics
Carsten Lutz, Leif Sabellek
2017 A* conf
IJCAI
Carsten Lutz, Leif Sabellek
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