| 2025 | CCS | Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE. | Tahina Ramananandro, Gabriel Ebner, Guido Martnez, Nikhil Swamy |
| 2025 | ICSE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. | Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy |
| 2025 | ITP | Finiteness of Symbolic Derivatives in Lean. | Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner |
| 2024 | CPP | Lean Formalization of Extended Regular Expression Matching with Lookarounds. | Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner |
| 2023 | ITP | An Extensible User Interface for Lean 4. | Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner |
| 2021 | CADE | A Unifying Splitting Framework. | Gabriel Ebner, Jasmin Blanchette, Sophie Tourret |
| 2019 | TABLEAUX | Herbrand Constructivization for Automated Intuitionistic Theorem Proving. | Gabriel Ebner |
| 2018 | CADE | Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. | Gabriel Ebner, Matthias Schlaipfer |
| 2018 | DLT | Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars. | Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl |
| 2016 | CADE | System Description: GAPT 2.0. | Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota |