Name Card

Full name Familienname, Vorname
Kovacs, Laura
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 192 (Search time: 0.009 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou, Pamina ; Hajdu, Márton ; Kovács, Laura Saturating Sorting without SortsPreprint Preprint 6-Mar-2024
2Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
123Eisenhofer-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
124Brugger-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
125Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura Automated Sensitivity Analysis for Probabilistic LoopsInproceedings Konferenzbeitrag 6-Nov-2023
1262023-Reshaping Unplugged Computer Science Workshops forPrimary School Edu...-vor.pdf.jpgLandman, Martina ; Rain, Sophie ; Kovács, Laura ; Gerald Futschek Reshaping Unplugged Computer Science Workshops for Primary School EducationInproceedings Konferenzbeitrag 1-Oct-2023
127Eisenhofer-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
8Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
9Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpgHozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
10Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
11Bhayat, Ahmed ; Korovin, Konstantin ; Kovács, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
12Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
13Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag 3-Mar-2023
14Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
15Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo Towards a Game-Theoretic Security Analysis of Off-Chain ProtocolsInproceedings Konferenzbeitrag 2023
16Kovacs, Laura Algebraic Reasoning for (Un)Solvable Loops (Invited Talk)Inproceedings Konferenzbeitrag2023
17Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
18Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
19Korovin-2023-ALASCA Reasoning in Quantified Linear Arithmetic-vor.pdf.jpgKorovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023
20Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 42 (Search time: 0.055 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hetzenberger Matthias - 2023 - Constraint Superposition for Higher-order Logic.pdf.jpgHetzenberger, Matthias Constraint superposition for higher-order logicThesis Hochschulschrift 2023
2Muellner Julian - 2023 - Exact Inference for Probabilistic Loops.pdf.jpgMüllner, Julian Exact inference for probabilistic loopsThesis Hochschulschrift 2023
3Stankovic Miroslav - 2023 - Moment-Based Loop Analysis.pdf.jpgStankovic, Miroslav Moment-based loop analysisThesis Hochschulschrift 2023
4Blanchette, Jasmin Christian ; Kovacs, Laura ; Pattinson, Dirk Automated Reasoning: 11th International Joint Conference (IJCAR 2022)Proceedings Konferenzband8-Aug-2022
5Meinke, Karl ; Kovacs, Laura Tests and ProofsProceedings Konferenzband1-Jun-2022
6Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir Actions over Core-Closed Knowledge BasesInproceedings Konferenzbeitrag 2022
7Lackner Andreas - 2022 - Non-Linear reasoning in the superposition calculus.pdf.jpgLackner, Andreas Non-Linear reasoning in the superposition calculusThesis Hochschulschrift 2022
8Hader Thomas - 2022 - Non-linear SMT-reasoning over finite fields.pdf.jpgHader, Thomas Non-linear SMT-reasoning over finite fieldsThesis Hochschulschrift 2022
9Eisenhofer Clemens - 2022 - User propagators for satisfiability modulo custom...pdf.jpgEisenhofer, Clemens User propagators for satisfiability modulo custom theoriesThesis Hochschulschrift 2022
10Brugger Lea Salome - 2022 - Automating proofs of game-theoretic security...pdf.jpgBrugger, Lea Salome Automating proofs of game-theoretic security properties of off-chain protocolsThesis Hochschulschrift 2022
11Humenberger Andreas - 2021 - Algebra-based loop reasoning - invariant generation...pdf.jpgHumenberger, Andreas Algebra-based loop reasoning - invariant generation and synthesis for numeric loopsThesis Hochschulschrift 2021
12Albert, Elvira ; Kovacs, Laura Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)Konferenzband Proceedings 2020
13Konnov, Igor ; Kovacs, Laura Proceedings of the 31st International Conference on Concurrency Theory (CONCUR)Konferenzband Proceedings2020
14Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 2020
15Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 2020
16Gleiss Bernhard - 2020 - Automated software verification using...pdf.jpgGleiss, Bernhard Automated software verification using superposition-based theorem provingThesis Hochschulschrift 2020
17Schoisswohl Johannes - 2020 - Automated induction by reflection.pdf.jpgSchoisswohl, Johannes Automated induction by reflectionThesis Hochschulschrift 2020
18Moosbrugger Marcel - 2020 - Automating termination analysis of probabilistic...pdf.jpgMoosbrugger, Marcel Automating termination analysis of probabilistic programsThesis Hochschulschrift 2020
19Rain Sophie - 2020 - First-order reasoning with aggregates.pdf.jpgRain, Sophie First-order reasoning with aggregatesThesis Hochschulschrift 2020
20Lachnitt Hanna Elif - 2020 - Formalizing graph trail properties.pdf.jpgLachnitt, Hanna Elif Formalizing graph trail propertiesThesis Hochschulschrift 2020