default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaura Kovács
Laura Ildikó Kovács
Person information
- affiliation: TU Wien, Vienna, Austria
- affiliation: Chalmers University, Gothenburg, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e18]Nikolai Kosmatov, Laura Kovács
:
Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings. Lecture Notes in Computer Science 15234, Springer 2025, ISBN 978-3-031-76553-7 [contents]- 2024
- [j16]Julian Müllner, Marcel Moosbrugger, Laura Kovács:
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. Proc. ACM Program. Lang. 8(POPL): 882-910 (2024) - [c114]Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov:
Induction in Saturation. IJCAR (1) 2024: 21-29 - [c113]Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov:
Reducibility Constraints in Superposition. IJCAR (1) 2024: 115-132 - [c112]Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner:
Synthesis of Recursive Programs in Saturation. IJCAR (1) 2024: 154-171 - [c111]Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács:
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). IJCAR (1) 2024: 386-395 - [c110]Pamina Georgiou, Márton Hajdú, Laura Kovács:
Saturating Sorting without Sorts. LPAR 2024: 88-105 - [c109]Johannes Schoisswohl, Laura Kovács, Konstantin Korovin:
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. LPAR 2024: 147-164 - [c108]Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson:
Scaling CheckMate for Game-Theoretic Security. LPAR 2024: 222-231 - [c107]Márton Hajdú, Laura Kovács, Michael Rawson:
Rewriting and Inductive Reasoning. LPAR 2024: 278-294 - [c106]Robin Coutelier, Mathias Fleury, Laura Kovács:
Lazy Reimplication in Chronological Backtracking. SAT 2024: 9:1-9:19 - [c105]Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. SP 2024: 3165-3183 - [c104]S. Hitarth, George Kenison, Laura Kovács, Anton Varonka:
Linear Loop Synthesis for Quadratic Invariants. STACS 2024: 41:1-41:18 - [e17]Andrea Kohlhase, Laura Kovács:
Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings. Lecture Notes in Computer Science 14960, Springer 2024, ISBN 978-3-031-66996-5 [contents] - [e16]Laura Kovács, Ana Sokolova:
Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings. Lecture Notes in Computer Science 15050, Springer 2024, ISBN 978-3-031-72620-0 [contents] - [e15]Bernd Finkbeiner, Laura Kovács:
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 Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14570, Springer 2024, ISBN 978-3-031-57245-6 [contents] - [e14]Bernd Finkbeiner, Laura Kovács:
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 Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14571, Springer 2024, ISBN 978-3-031-57248-7 [contents] - [e13]Bernd Finkbeiner, Laura Kovács:
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 Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14572, Springer 2024, ISBN 978-3-031-57255-5 [contents] - [i46]Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
SAT-Based Subsumption Resolution. CoRR abs/2401.17832 (2024) - [i45]Clemens Eisenhofer, Michael Rawson, Laura Kovács:
Spanning Matrices via Satisfiability Solving. CoRR abs/2402.10610 (2024) - [i44]Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács:
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver. CoRR abs/2402.17927 (2024) - [i43]Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. CoRR abs/2402.18954 (2024) - [i42]Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov:
Program Synthesis in Saturation. CoRR abs/2402.18962 (2024) - [i41]Márton Hajdú, Laura Kovács, Michael Rawson:
Rewriting and Inductive Reasoning. CoRR abs/2402.19199 (2024) - [i40]Pamina Georgiou, Márton Hajdú, Laura Kovács:
Saturating Sorting without Sorts. CoRR abs/2403.03712 (2024) - [i39]Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson:
Scaling Game-Theoretic Security Reasoning. CoRR abs/2403.10310 (2024) - [i38]Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács:
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR abs/2406.04696 (2024) - [i37]Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. IACR Cryptol. ePrint Arch. 2024: 534 (2024) - 2023
- [j15]Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. Discret. Comput. Geom. 69(1): 4-25 (2023) - [c103]Laura Kovács, Anton Varonka:
What Else is Undecidable About Loops? RAMiCS 2023: 176-193 - [c102]Clemens Eisenhofer, Laura Kovács, Michael Rawson:
Embedding the Connection Calculus in Satisfiability Modulo Theories. AReCCa@TABLEAUX 2023: 54-63 - [c101]Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
SAT-Based Subsumption Resolution. CADE 2023: 190-206 - [c100]Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov:
Program Synthesis in Saturation. CADE 2023: 307-324 - [c99]Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson:
CheckMate: Automated Game-Theoretic Security Reasoning. CCS 2023: 1407-1421 - [c98]Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei:
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF 2023: 107-122 - [c97]Laura Kovács:
Symbolic Computation in Automated Program Reasoning. FM 2023: 3-9 - [c96]Marcel Moosbrugger, Julian Müllner, Laura Kovács:
Automated Sensitivity Analysis for Probabilistic Loops. iFM 2023: 21-39 - [c95]Laura Kovács:
Algebra-Based Loop Analysis. ISSAC 2023: 41-42 - [c94]George Kenison, Laura Kovács, Anton Varonka:
From Polynomial Invariants to Linear Loops. ISSAC 2023: 398-406 - [c93]Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek:
Reshaping Unplugged Computer Science Workshops for Primary School Education. ISSEP 2023: 139-151 - [c92]Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl:
Refining Unification with Abstraction. LPAR 2023: 36-47 - [c91]Thomas Hader, Daniela Kaufmann, Laura Kovács:
SMT Solving over Finite Field Arithmetic. LPAR 2023: 238-256 - [c90]Laura Kovács:
Algebraic Reasoning for (Un)Solvable Loops (Invited Talk). MFCS 2023: 4:1-4:2 - [c89]Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács:
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX 2023: 24-36 - [c88]Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov:
ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) 2023: 647-665 - [c87]Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Satisfiability Modulo Custom Theories in Z3. VMCAI 2023: 91-105 - [i36]George Kenison, Laura Kovács, Anton Varonka:
From Polynomial Invariants to Linear Loops. CoRR abs/2302.06323 (2023) - [i35]Thomas Hader, Daniela Kaufmann, Laura Kovács:
SMT Solving over Finite Field Arithmetic. CoRR abs/2305.00028 (2023) - [i34]Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson:
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. CoRR abs/2305.12173 (2023) - [i33]Marcel Moosbrugger, Julian Müllner, Laura Kovács:
Automated Sensitivity Analysis for Probabilistic Loops. CoRR abs/2305.15259 (2023) - [i32]Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
(Un)Solvable Loop Analysis. CoRR abs/2306.01597 (2023) - [i31]Julian Müllner, Marcel Moosbrugger, Laura Kovács:
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. CoRR abs/2307.10902 (2023) - [i30]S. Hitarth, George Kenison, Laura Kovács, Anton Varonka:
Linear Loop Synthesis for Quadratic Invariants. CoRR abs/2310.05120 (2023) - 2022
- [j14]Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. Formal Aspects Comput. 34(1): 1-31 (2022) - [j13]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The probabilistic termination tool amber. Formal Methods Syst. Des. 61(1): 90-109 (2022) - [j12]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6(OOPSLA2): 1497-1525 (2022) - [j11]Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903: 113-133 (2022) - [c86]Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. Principles of Systems Design 2022: 306-322 - [c85]Jakob Rath, Armin Biere, Laura Kovács:
First-Order Subsumption via SAT Solving. FMCAD 2022: 160-169 - [c84]Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger:
The Rapid Software Verification Framework. FMCAD 2022: 255-260 - [c83]Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger:
Lemmaless Induction in Trace Logic. CICM 2022: 191-208 - [c82]Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov:
The Vampire Approach to Induction (short paper). PAAR@IJCAR 2022 - [c81]Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura:
Distribution Estimation for Probabilistic Loops. QEST 2022: 26-42 - [c80]Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Solving Invariant Generation for Unsolvable Loops. SAS 2022: 19-43 - [c79]Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
User-Propagators for Custom Theories in SMT Solving. SMT 2022: 71-79 - [c78]Thomas Hader, Laura Kovács:
An SMT Approach for Solving Polynomials over Finite Fields. SMT 2022: 90-98 - [e12]Jasmin Blanchette, Laura Kovács, Dirk Pattinson:
Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Lecture Notes in Computer Science 13385, Springer 2022, ISBN 978-3-031-10768-9 [contents] - [e11]Laura Kovács, Karl Meinke:
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Lecture Notes in Computer Science 13361, Springer 2022, ISBN 978-3-031-09826-0 [contents] - [d4]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops - Artifact (Polar). Zenodo, 2022
- [d3]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops - Artifact (Polar). Zenodo, 2022 - [d2]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops - Artifact (Polar). Zenodo, 2022 - [d1]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops - Artifact (Polar). Zenodo, 2022 - [i29]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops. CoRR abs/2204.07185 (2022) - [i28]Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Solving Invariant Generation for Unsolvable Loops. CoRR abs/2206.06943 (2022) - [i27]Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. CoRR abs/2206.11495 (2022) - 2021
- [c77]Petra Hozzová, Laura Kovács, Andrei Voronkov:
Integer Induction in Saturation. CADE 2021: 361-377 - [c76]Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv:
Summing up Smart Transitions. CAV (1) 2021: 317-340 - [c75]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021: 491-518 - [c74]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. FM 2021: 667-675 - [c73]Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov:
Induction with Recursive Definitions in Superposition. FMCAD 2021: 1-10 - [c72]Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Inductive Benchmarks for Automated Reasoning. CICM 2021: 124-129 - [c71]Petra Hozzová, Laura Kovács, Jakob Rath:
Automated Generation of Exam Sheets for Automated Deduction. CICM 2021: 185-196 - [c70]Andreas Humenberger, Laura Kovács:
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). VMCAI 2021: 17-28 - [c69]Johannes Schoisswohl, Laura Kovács:
Automating Induction by Reflection. LFMTP 2021: 39-54 - [i26]Andreas Humenberger, Laura Kovács:
Algebra-based Synthesis of Loops and their Invariants (Invited Paper). CoRR abs/2103.03599 (2021) - [i25]Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CoRR abs/2103.03607 (2021) - [i24]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
MORA - Automatic Generation of Moment-Based Invariants. CoRR abs/2103.03908 (2021) - [i23]Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv:
Summing Up Smart Transitions. CoRR abs/2105.07663 (2021) - [i22]Johannes Schoisswohl, Laura Kovács:
Automating Induction by Reflection. CoRR abs/2106.05066 (2021) - [i21]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. CoRR abs/2107.13072 (2021) - [i20]Sophie Rain, Zeta Avarikioti, Laura Kovács, Matteo Maffei:
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CoRR abs/2109.07429 (2021) - 2020
- [c68]Bernhard Gleiss, Laura Kovács, Jakob Rath:
Subsumption Demodulation in First-Order Theorem Proving. IJCAR (1) 2020: 297-315 - [c67]Pamina Georgiou, Bernhard Gleiss, Laura Kovács:
Trace Logic for Inductive Loop Reasoning. FMCAD 2020: 255-263 - [c66]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020: 221-241 - [c65]Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Loop Synthesis. IFM 2020: 440-459 - [c64]Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Induction with Generalization in Superposition Reasoning. CICM 2020: 123-137 - [c63]Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CICM 2020: 190-205 - [c62]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) 2020: 492-498 - [e10]Igor Konnov, Laura Kovács:
31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). LIPIcs 171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-160-3 [contents] - [e9]Elvira Albert, Laura Kovács:
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. EPiC Series in Computing 73, EasyChair 2020 [contents] - [i19]Bernhard Gleiss, Laura Kovács, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. CoRR abs/2001.04100 (2020) - [i18]Bernhard Gleiss, Laura Kovács, Jakob Rath:
Subsumption Demodulation in First-Order Theorem Proving. CoRR abs/2001.10213 (2020) - [i17]Andreas Humenberger, Laura Kovács:
Algebra-based Loop Synthesis. CoRR abs/2004.11787 (2020) - [i16]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR abs/2007.09450 (2020) - [i15]Pamina Georgiou, Bernhard Gleiss, Laura Kovács:
Trace Logic for Inductive Loop Reasoning. CoRR abs/2008.01387 (2020) - [i14]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR abs/2010.03444 (2020)
2010 – 2019
- 2019
- [j10]Pascal Schreck, Tetsuo Ida, Laura Kovács:
Foreword - Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 85(2-4): 71-72 (2019) - [j9]James H. Davenport, Laura Kovács, Daniela Zaharie:
Foreword. Math. Comput. Sci. 13(4): 459-460 (2019) - [c61]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276 - [c60]Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei:
Verifying Relational Properties using Trace Logic. FMCAD 2019: 170-178 - [c59]Bernhard Gleiss, Laura Kovács, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. IFM 2019: 504-513 - [c58]Gergely Kovásznai, Krisztián Gajdár, Laura Kovács:
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. SYNASC 2019: 85-91 - [c57]David Damestani, Laura Kovács, Martin Suda:
Superposition Reasoning about Quantified Bitvector Formulas. SYNASC 2019: 95-99 - [e8]Laura Kovács, Andrei Voronkov:
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops. EPiC Series in Computing 71, EasyChair 2019 [contents] - [i13]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR abs/1905.02835 (2019) - [i12]Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. CoRR abs/1905.08747 (2019) - [i11]Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei:
Verifying Relational Properties using Trace Logic. CoRR abs/1906.09899 (2019) - 2018
- [c56]Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov:
A FOOLish Encoding of the Next State Relations of Imperative Programs. IJCAR 2018: 405-421 - [c55]