Johannes Schoisswohl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories. | Michael Rawson, Andrei Voronkov, Johannes Schoisswohl, Anja Petkovic Komel |
| 2025 | CAV | The Vampire Diary. | Filip Brtek, Ahmed Bhayat, Robin Coutelier, Mrton Hajd, Matthias Hetzenberger, Petra Hozzov, Laura Kovcs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov |
| 2024 | LPAR | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. | Johannes Schoisswohl, Laura Kovcs, Konstantin Korovin |
| 2023 | CADE | Superposition with Delayed Unification. | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson |
| 2023 | LPAR | Refining Unification with Abstraction. | Ahmed Bhayat, Konstantin Korovin, Laura Kovcs, Johannes Schoisswohl |
| 2023 | TACAS | ALASCA: Reasoning in Quantified Linear Arithmetic. | Konstantin Korovin, Laura Kovcs, Giles Reger, Johannes Schoisswohl, Andrei Voronkov |
| 2021 | TACAS | Making Theory Reasoning Simpler. | Giles Reger, Johannes Schoisswohl, Andrei Voronkov |