Bernhard Gleiss

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 16

Top Topics

Logical Inference

Proof Procedure

Theorem Proving

Top Venues

Publications

Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
The Rapid Software Verification Framework. FMCAD (2022)
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Interactive Visualization of Saturation Attempts in Vampire. CoRR (2020)
Bernhard Gleiss, Laura Kovács, Jakob Rath
Subsumption Demodulation in First-Order Theorem Proving. IJCAR (1) (2020)
Bernhard Gleiss, Martin Suda
Layered Clause Selection for Theory Reasoning - (Short Paper). IJCAR (1) (2020)
Bernhard Gleiss, Martin Suda
Layered Clause Selection for Saturation-Based Theorem Proving. PAAR+SC²@IJCAR (2020)
Bernhard Gleiss, Martin Suda
Layered Clause Selection for Theory Reasoning. CoRR (2020)
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
Trace Logic for Inductive Loop Reasoning. CoRR (2020)
Bernhard Gleiss, Laura Kovács, Jakob Rath
Subsumption Demodulation in First-Order Theorem Proving. CoRR (2020)
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
Trace Logic for Inductive Loop Reasoning. FMCAD (2020)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. CoRR (2019)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. FMCAD (2019)
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Interactive Visualization of Saturation Attempts in Vampire. IFM (2019)
Martin Suda, Bernhard Gleiss
Local Soundness for QBF Calculi. SAT (2018)
Bernhard Gleiss, Laura Kovács, Simon Robillard
Loop Analysis by Quantification over Iterations. LPAR (2018)
Bernhard Gleiss, Laura Kovács, Martin Suda
Splitting Proofs for Interpolation. CADE (2017)
Bernhard Gleiss, Laura Kovács, Martin Suda
Splitting Proofs for Interpolation. CoRR (2017)