Clinical fMRI: Evidence for a 7 T benefit over 3 T. - Roland Beisteiner; Simon Robinson 002; Moritz C. Wurnig; Markus Hilbert; K. Merksa; Jakob Rath; Ilse Höllinger; Nicolaus Klinger; Christine Marosi; Siegfried Trattnig; Alexander Geißler (NeuroImage, 2011)

Integrating Answer Set Programming with Object-Oriented Languages. - Jakob Rath; Christoph Redl (PADL, 2017)

Inconsistency Proofs for ASP: The ASP - DRUPE Format. - Mario Alviano; Carmine Dodaro; Johannes Klaus Fichte; Markus Hecher; Tobias Philipp; Jakob Rath (Theory Pract. Log. Program., 2019)

Subsumption Demodulation in First-Order Theorem Proving. - Bernhard Gleiss; Laura Kovács; Jakob Rath (IJCAR (1), 2020)

Automated Generation of Exam Sheets for Automated Deduction. - Petra Hozzová; Laura Kovács; Jakob Rath (CICM, 2021)

First-Order Subsumption via SAT Solving. - Jakob Rath; Armin Biere; Laura Kovács (FMCAD, 2022)

SAT-Based Subsumption Resolution. - Robin Coutelier; Laura Kovács; Michael Rawson 001; Jakob Rath (CADE, 2023)

PolySAT: Word-level Bit-vector Reasoning in Z3. - Jakob Rath; Clemens Eisenhofer; Daniela Kaufmann; Nikolaj S. Bjørner; Laura Kovács (VSTTE, 2024)

SAT Solving for Variants of First-Order Subsumption. - Robin Coutelier; Jakob Rath; Michael Rawson 001; Armin Biere; Laura Kovács (CoRR, 2024)

The Vampire Diary. - Filip Bártek; Ahmed Bhayat; Robin Coutelier; Márton Hajdú; Matthias Hetzenberger; Petra Hozzová; Laura Kovács; Jakob Rath; Michael Rawson 001; Giles Reger; Martin Suda 001; Johannes Schoisswohl; et al. (CAV (3), 2025)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)