Name Card

Full name Familienname, Vorname
Rawson, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
2Brugger-2023-CheckMate Automated Game-Theoretic Security Reasoning-vor.pdf.jpgBrugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael CheckMate: Automated Game-Theoretic Security ReasoningInproceedings Konferenzbeitrag 21-Nov-2023
3Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
4Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
5Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
6Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
7Rawson, Michael Linear Refutation and Clause SplittingPreprint Preprint5-Dec-2022
8Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
9Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
10Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
11Brugger-2022-Automating Security Analysis of Off-Chain Protocols-am.pdf.jpgBrugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael Automating Security Analysis of Off-Chain ProtocolsPresentation Vortrag 11-Aug-2022