Jakob Rath

17 papers A* 1A 1B 1C 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 J jnl
SAT solving for variants of first-order subsumption.
Formal Methods Syst. Des.
Robin Coutelier, Jakob Rath, Michael Rawson, Armin Biere, Laura Kovács
2025 — conf
The Vampire Diary.
CAV (3)
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2025 J jnl
The Vampire Diary.
CoRR
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2024 — conf
PolySAT: Word-level Bit-vector Reasoning in Z3.
VSTTE
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
2024 J jnl
PolySAT: Word-level Bit-vector Reasoning in Z3.
CoRR
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
2024 J jnl
SAT Solving for Variants of First-Order Subsumption.
CoRR
Robin Coutelier, Jakob Rath, Michael Rawson, Armin Biere, Laura Kovács
2024 J jnl
SAT-Based Subsumption Resolution.
CoRR
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
2023 A conf
SAT-Based Subsumption Resolution.
CADE
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
2022 B conf
First-Order Subsumption via SAT Solving.
FMCAD
Jakob Rath, Armin Biere, Laura Kovács
2021 C conf
Automated Generation of Exam Sheets for Automated Deduction.
CICM
Petra Hozzová, Laura Kovács, Jakob Rath
2020 — conf
Subsumption Demodulation in First-Order Theorem Proving.
IJCAR (1)
Bernhard Gleiss, Laura Kovács, Jakob Rath
2020 J jnl
Subsumption Demodulation in First-Order Theorem Proving.
CoRR
Bernhard Gleiss, Laura Kovács, Jakob Rath
2019 J jnl
Inconsistency Proofs for ASP: The ASP - DRUPE Format.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019 J jnl
Inconsistency Proofs for ASP: The ASP-DRUPE Format.
CoRR
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2017 C conf
Integrating Answer Set Programming with Object-Oriented Languages.
PADL
Jakob Rath, Christoph Redl
2011 J jnl
Clinical fMRI: Evidence for a 7 T benefit over 3 T.
NeuroImage
Roland Beisteiner, Simon Robinson, Moritz C. Wurnig, Markus Hilbert, K. Merksa, Jakob Rath, Ilse Höllinger, Nicolaus Klinger, Christine Marosi, Siegfried Trattnig, Alexander Geißler