Michael Rawson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Lean on Vampire Proofs (Short Paper). | Jonas Bodingbauer, Mrton Hajd, Laura Kovcs, Axel Polaczek, Michael Rawson |
| 2025 | AAAI | Expressive Power of Temporal Message Passing. | Przemyslaw Andrzej Walega, Michael Rawson |
| 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 |
| 2025 | IFM | Game Modeling of Blockchain Protocols. | Sophie Rain, Anja Petkovic Komel, Michael Rawson, Laura Kovcs |
| 2025 | TABLEAUX | Finding Connections via Satisfiability Solving. | Clemens Eisenhofer, Michael Rawson, Laura Kovcs |
| 2025 | TABLEAUX | Constraint Learning for Non-confluent Proof Search. | Michael Rawson, Clemens Eisenhofer, Laura Kovcs |
| 2024 | IJCAR | Reducibility Constraints in Superposition. | Mrton Hajd, Laura Kovcs, Michael Rawson, Andrei Voronkov |
| 2024 | LPAR | Rewriting and Inductive Reasoning. | Mrton Hajd, Laura Kovcs, Michael Rawson |
| 2024 | LPAR | Scaling CheckMate for Game-Theoretic Security. | Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovcs, Michael Rawson |
| 2024 | SP | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. | Simon Jeanteur, Laura Kovcs, Matteo Maffei, Michael Rawson |
| 2023 | CADE | Superposition with Delayed Unification. | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson |
| 2023 | CADE | SAT-Based Subsumption Resolution. | Robin Coutelier, Laura Kovcs, Michael Rawson, Jakob Rath |
| 2023 | CCS | CheckMate: Automated Game-Theoretic Security Reasoning. | Lea Salome Brugger, Laura Kovcs, Anja Petkovic Komel, Sophie Rain, Michael Rawson |
| 2023 | TABLEAUX | Non-Classical Logics in Satisfiability Modulo Theories. | Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovcs |
| 2023 | TABLEAUX | Lemmas: Generation, Selection, Application. | Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel |
| 2022 | FMCAD | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2021 | FMCAD | A Multithreaded Vampire with Shared Persistent Grounding. | Michael Rawson, Giles Reger |
| 2021 | SMC | Top-K Ranking Deep Contextual Bandits for Information Selection Systems. | Jade Freeman, Michael Rawson |
| 2021 | TABLEAUX | lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. | Michael Rawson, Giles Reger |
| 2021 | TABLEAUX | Eliminating Models During Model Elimination. | Michael Rawson, Giles Reger |
| 2020 | CADE | Directed Graph Networks for Logical Reasoning (Extended Abstract). | Michael Rawson, Giles Reger |
| 2019 | CADE | Old or Heavy? Decaying Gracefully with Age/Weight Shapes. | Michael Rawson, Giles Reger |
| 2018 | CADE | Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. | Michael Rawson, Giles Reger |