Laura Kovacs
Technische Universität Wien
H-index: 27
Europe-Austria
Top articles of Laura Kovacs
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Spanning Matrices via Satisfiability Solving | arXiv preprint arXiv:2402.10610 | Clemens Eisenhofer Michael Rawson Laura Kovács | 2024/2/16 |
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version) | Johannes Schoisswohl Laura Kovács Konstantin Korovin | 2024/4/30 | |
Synthesis of Recursive Programs in Saturation | Petra Hozzová Daneshvar Amrollahi Márton Hajdu Laura Kovács Andrei Voronkov | 2024/2/16 | |
Scaling Game-Theoretic Security Reasoning | arXiv preprint arXiv:2403.10310 | Sophie Rain Lea Salome Brugger Anja Petkovic Komel Laura Kovacs Michael Rawson | 2024/3/15 |
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs | Proceedings of the ACM on Programming Languages | Julian Müllner Marcel Moosbrugger Laura Kovács | 2024/1/5 |
Saturating Sorting without Sorts | arXiv preprint arXiv:2403.03712 | Pamina Georgiou Márton Hajdu Laura Kovács | 2024/3/6 |
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and … | Susanne Graf Michael Schwartzbach | 2000/3/15 | |
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver | arXiv preprint arXiv:2402.17927 | Thomas Hader Daniela Kaufmann Ahmed Irfan Stéphane Graham-Lengrand Laura Kovács | 2024/2/27 |
Refining Unification with Abstraction | Ahmed Bhayat Konstantin Korovin Laura Kovacs Johannes Schoisswohl | 2023/6/3 | |
Algebra-Based Loop Analysis | Laura Kovács | 2023/7/24 | |
Automated Sensitivity Analysis for Probabilistic Loops | Marcel Moosbrugger Julian Müllner Laura Kovács | 2023/11/6 | |
Symbolic Computation in Automated Program Reasoning | Laura Kovács | 2023/3/3 | |
Lonely Points in Simplices | Discrete & Computational Geometry | Manuel Kauers Maximilian Jaroschek Laura Kovács | 2023 |
(Un) Solvable Loop Analysis | arXiv preprint arXiv:2306.01597 | Daneshvar Amrollahi Ezio Bartocci George Kenison Laura Kovács Marcel Moosbrugger | 2023/6/2 |
From Polynomial Invariants to Linear Loops | George Kenison Laura Kovács Anton Varonka | 2023/7/24 | |
Linear Loop Synthesis for Quadratic Invariants | arXiv preprint arXiv:2310.05120 | S Hitarth George Kenison Laura Kovács Anton Varonka | 2023/10/8 |
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version) | EasyChair Preprint | Konstantin Korovin Laura Kovacs J Schoisswohl G Reger Andrei Voronkov | 2023/1/20 |
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model | arXiv preprint arXiv:2305.12173 | Simon Jeanteur Laura Kovács Matteo Maffei Michael Rawson | 2023/5/20 |
Towards a game-theoretic security analysis of off-chain protocols | Sophie Rain Georgia Avarikioti Laura Kovács Matteo Maffei | 2023/7/10 | |
Reshaping Unplugged Computer Science Workshops for Primary School Education | Martina Landman Sophie Rain Laura Kovács Gerald Futschek | 2023/10/1 |