Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Laura Kovács

Laura Ildikó Kovács

> Home > Persons

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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MullnerMK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MullnerMK24
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)
2023
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dcg/JaroschekKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcg/JaroschekKK23
Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. Discret. Comput. Geom. 69(1): 4-25 (2023)
2022
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HumenbergerABK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HumenbergerABK22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MoosbruggerBKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MoosbruggerBKK22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MoosbruggerSBK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MoosbruggerSBK22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/StankovicBK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/StankovicBK22
Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903: 113-133 (2022)
2019
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/amai/SchreckIK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SchreckIK19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mics/DavenportKZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/DavenportKZ19
James H. Davenport, Laura Kovács, Daniela Zaharie:
Foreword. Math. Comput. Sci. 13(4): 459-460 (2019)
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/KnoopKZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/KnoopKZ17
Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. J. Symb. Comput. 80: 101-124 (2017)
2015
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BouhoulaBKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BouhoulaBKK15
Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia:
Special issue on symbolic computation in software science. J. Symb. Comput. 69: 1-2 (2015)
2014
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Kovacs14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Kovacs14
Laura Kovács:
Symbol Elimination for Automated Generation of Program Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
2013
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KovacsPST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KovacsPST13
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi:
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82(8): 241-242 (2013)
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/KovacsK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/KovacsK12
Laura Kovács, Temur Kutsia:
Special issue on Automated Specification and Verification of Web Systems. J. Appl. Log. 10(1): 1 (2012)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BjornerK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BjornerK12
Nikolaj S. Bjørner, Laura Kovács:
Foreword. J. Symb. Comput. 47(12): 1413-1415 (2012)
2010
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GieseIK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GieseIK10
Martin Giese, Andrew Ireland, Laura Kovács:
Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BuchbergerCJKKNPPRR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BuchbergerCJKKNPPRR06
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger:
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4(4): 470-504 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c104]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/HitarthKKV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/HitarthKKV24
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka:
Linear Loop Synthesis for Quadratic Invariants. STACS 2024: 41:1-41:18
2023
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/KovacsV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/KovacsV23
Laura Kovács, Anton Varonka:
What Else is Undecidable About Loops? RAMiCS 2023: 176-193
[c102]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/arecca/EisenhoferK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arecca/EisenhoferK023
Clemens Eisenhofer, Laura Kovács, Michael Rawson:
Embedding the Connection Calculus in Satisfiability Modulo Theories. AReCCa@TABLEAUX 2023: 54-63
[c101]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/CoutelierKRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CoutelierKRR23
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
SAT-Based Subsumption Resolution. CADE 2023: 190-206
[c100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/HozzovaKNV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HozzovaKNV23
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov:
Program Synthesis in Saturation. CADE 2023: 307-324
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BruggerKKR023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BruggerKKR023
Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson:
CheckMate: Automated Game-Theoretic Security Reasoning. CCS 2023: 1407-1421
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/RainAKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/RainAKM23
Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei:
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF 2023: 107-122
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Kovacs23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Kovacs23
Laura Kovács:
Symbolic Computation in Automated Program Reasoning. FM 2023: 3-9
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MoosbruggerMK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MoosbruggerMK23
Marcel Moosbrugger, Julian Müllner, Laura Kovács:
Automated Sensitivity Analysis for Probabilistic Loops. iFM 2023: 21-39
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Kovacs23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Kovacs23
Laura Kovács:
Algebra-Based Loop Analysis. ISSAC 2023: 41-42
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/KenisonKV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/KenisonKV23
George Kenison, Laura Kovács, Anton Varonka:
From Polynomial Invariants to Linear Loops. ISSAC 2023: 398-406
[c93]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/issep/LandmanRKF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issep/LandmanRKF23
Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek:
Reshaping Unplugged Computer Science Workshops for Primary School Education. ISSEP 2023: 139-151
[c92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BhayatKKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BhayatKKS23
Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl:
Refining Unification with Abstraction. LPAR 2023: 36-47
[c91]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HaderRK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HaderRK23
Thomas Hader, Daniela Kaufmann, Laura Kovács:
SMT Solving over Finite Field Arithmetic. LPAR 2023: 238-256
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/Kovacs23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Kovacs23
Laura Kovács:
Algebraic Reasoning for (Un)Solvable Loops (Invited Talk). MFCS 2023: 4:1-4:2
[c89]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tableaux/EisenhoferARK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/EisenhoferARK23
Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács:
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX 2023: 24-36
[c88]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KorovinKRSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KorovinKRSV23
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov:
ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) 2023: 647-665
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BjornerEK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BjornerEK23
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Satisfiability Modulo Custom Theories in Z3. VMCAI 2023: 91-105
2022
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HajduHKRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HajduHKRV22
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. Principles of Systems Design 2022: 306-322
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/RathBK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/RathBK22
Jakob Rath, Armin Biere, Laura Kovács:
First-Order Subsumption via SAT Solving. FMCAD 2022: 160-169
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GeorgiouGBRKR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GeorgiouGBRKR22
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger:
The Rapid Software Verification Framework. FMCAD 2022: 255-260
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BhayatGEKR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BhayatGEKR22
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger:
Lemmaless Induction in Trace Logic. CICM 2022: 191-208
[c82]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/paar/HajduKRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paar/HajduKRV22
Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov:
The Vampire Approach to Induction (short paper). PAAR@IJCAR 2022
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/KarimiMSKBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/KarimiMSKBB22
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura:
Distribution Estimation for Probabilistic Loops. QEST 2022: 26-42
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AmrollahiBKKMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AmrollahiBKKMS22
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Solving Invariant Generation for Unsolvable Loops. SAS 2022: 19-43
[c79]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/BjornerEK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BjornerEK22
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
User-Propagators for Custom Theories in SMT Solving. SMT 2022: 71-79
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HaderK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HaderK22
Thomas Hader, Laura Kovács:
An SMT Approach for Solving Polynomials over Finite Fields. SMT 2022: 90-98
2021
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/HozzovaKV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HozzovaKV21
Petra Hozzová, Laura Kovács, Andrei Voronkov:
Integer Induction in Saturation. CADE 2021: 361-377
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/EladRIKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EladRIKS21
Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv:
Summing up Smart Transitions. CAV (1) 2021: 317-340
[c75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/MoosbruggerBKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MoosbruggerBKK21
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021: 491-518
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MoosbruggerBKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MoosbruggerBKK21
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. FM 2021: 667-675
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/HajduHKV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HajduHKV21
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov:
Induction with Recursive Definitions in Superposition. FMCAD 2021: 1-10
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HajduHKSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HajduHKSV21
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Inductive Benchmarks for Automated Reasoning. CICM 2021: 124-129
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HozzovaKR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HozzovaKR21
Petra Hozzová, Laura Kovács, Jakob Rath:
Automated Generation of Exam Sheets for Automated Deduction. CICM 2021: 185-196
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HumenbergerK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HumenbergerK21
Andreas Humenberger, Laura Kovács:
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). VMCAI 2021: 17-28
[c69]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-07669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-07669
Johannes Schoisswohl, Laura Kovács:
Automating Induction by Reflection. LFMTP 2021: 39-54
2020
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GleissKR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GleissKR20
Bernhard Gleiss, Laura Kovács, Jakob Rath:
Subsumption Demodulation in First-Order Theorem Proving. IJCAR (1) 2020: 297-315
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GeorgiouGK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GeorgiouGK20
Pamina Georgiou, Bernhard Gleiss, Laura Kovács:
Trace Logic for Inductive Loop Reasoning. FMCAD 2020: 255-263
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BartocciKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BartocciKS20
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020: 221-241
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HumenbergerBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HumenbergerBK20
Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Loop Synthesis. IFM 2020: 440-459
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HajduHKSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HajduHKSV20
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Induction with Generalization in Superposition Reasoning. CICM 2020: 123-137
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KovacsLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KovacsLS20
Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CICM 2020: 190-205
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BartocciKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BartocciKS20
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) 2020: 492-498
2019
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BartocciKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BartocciKS19
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BartheEGGKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BartheEGGKM19
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei:
Verifying Relational Properties using Trace Logic. FMCAD 2019: 170-178
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GleissKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GleissKS19
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. IFM 2019: 504-513
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/KovasznaiGK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/KovasznaiGK19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/DamestaniK019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/DamestaniK019
David Damestani, Laura Kovács, Martin Suda:
Superposition Reasoning about Quantified Bitvector Formulas. SYNASC 2019: 95-99
2018
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KotelnikovKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KotelnikovKV18
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov:
A FOOLish Encoding of the Next State Relations of Imperative Programs. IJCAR 2018: 405-421
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/GleissKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GleissKR18
Bernhard Gleiss, Laura Kovács, Simon Robillard:
Loop Analysis by Quantification over Iterations. LPAR 2018: 381-399
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HumenbergerJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HumenbergerJK18
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Aligator.jl - A Julia Package for Loop Invariant Generation. CICM 2018: 111-117
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HumenbergerJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HumenbergerJK18
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Invariant Generation for Multi-Path Loops with Polynomial Assignments. VMCAI 2018: 226-246
2017
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GleissK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GleissK017
Bernhard Gleiss, Laura Kovács, Martin Suda:
Splitting Proofs for Interpolation. CADE 2017: 291-309
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Kovacs17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Kovacs17
Laura Kovács:
First-Order Interpolation and Grey Areas of Proofs (Invited Talk). CSL 2017: 3:1-3:1
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ClaessenKKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ClaessenKKL17
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference 2017: 115-130
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/HumenbergerJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/HumenbergerJK17
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. ISSAC 2017: 221-228
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/KovacsV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KovacsV17
Laura Kovács, Andrei Voronkov:
First-Order Interpolation and Interpolating Proof Systems. LPAR 2017: 49-64
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KovacsRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KovacsRV17
Laura Kovács, Simon Robillard, Andrei Voronkov:
Coming to terms with quantified reasoning. POPL 2017: 260-270
2016
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ChenKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ChenKR16
Yuting Chen, Laura Kovács, Simon Robillard:
Theory-Specific Reasoning about Loops with Arrays using Vampire. Vampire@IJCAR 2016: 16-32
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/KotelnikovKRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/KotelnikovKRV16
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov:
The vampire and the FOOL. CPP 2016: 37-48
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/gcai/KotelnikovK0V16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcai/KotelnikovK0V16
Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov:
A Clausal Normal Form Translation for FOOL. GCAI 2016: 53-71
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Kovacs16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Kovacs16
Laura Kovács:
Symbolic Computation and Automated Reasoning for Program Analysis. IFM 2016: 20-27
2015
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/KovacsR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KovacsR15
Laura Kovács, Simon Robillard:
Reasoning About Loops Using Vampire. Vampire Workshop 2015: 52-62
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CernyHKRZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CernyHKRZ15
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr:
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AhrendtKR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AhrendtKR15
Wolfgang Ahrendt, Laura Kovács, Simon Robillard:
Reasoning About Loops Using Vampire in KeY. LPAR 2015: 434-443
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KotelnikovKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KotelnikovKV15
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov:
A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CICM 2015: 71-86
2014
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GuptaKKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GuptaKKV14
Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov:
Extensional Crisis and Proving Identity. ATVA 2014: 185-200
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BiereDKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BiereDKV14
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov:
SAT solving experiments in Vampire. Vampire Workshop 2014: 29-32
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/DraganK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/DraganK14
Ioan Dragan, Laura Kovács:
Lingva: Generating and Proving Program Properties Using Symbol Elimination. Ershov Memorial Conference 2014: 67-75
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ShoaeiKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ShoaeiKL14
Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson:
Supervisory Control of Discrete-Event Systems via IC3. Haifa Verification Conference 2014: 252-266
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/BiereDKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/BiereDKV14
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov:
Experimenting with SAT Solvers in Vampire. MICAI (1) 2014: 431-442
2013
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BiereKKZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BiereKKZ13
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
SmacC: A Retargetable Symbolic Execution Engine. ATVA 2013: 482-486
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KovacsV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KovacsV13
Laura Kovács, Andrei Voronkov:
First-Order Theorem Proving and Vampire. CAV 2013: 1-35
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BlancGKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BlancGKK13
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl:
Tree Interpolation in Vampire. LPAR 2013: 173-181
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/KovacsMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/KovacsMV13
Laura Kovács, Andrei Mantsivoda, Andrei Voronkov:
The Inverse Method for Many-Valued Logics. MICAI (1) 2013: 12-23
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/KovacsRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/KovacsRS13
Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina:
A Parametric Interpolation Framework for First-Order Theories. MICAI (1) 2013: 24-40
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/KnoopKZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/KnoopKZ13
Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. RTNS 2013: 161-170
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/DraganKKV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/DraganKKV13
Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov:
Bound Propagation for Arithmetic Reasoning in Vampire. SYNASC 2013: 169-176
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wcet/BiereKKZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/BiereKKZ13
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
The Auspicious Couple: Symbolic Execution and WCET Analysis. WCET 2013: 53-63
2012
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HoderHKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HoderHKV12
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov:
Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KnoopKZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KnoopKZ12
Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR 2012: 435-444
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HoderKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HoderKV12
Krystof Hoder, Laura Kovács, Andrei Voronkov:
Playing in the grey area of proofs. POPL 2012: 259-272
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/BonenfantCMKKZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/BonenfantCMKKZ12
Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
FFX: a portable WCET annotation language. RTNS 2012: 91-100
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/KovacsPK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/KovacsPK12
Laura Kovács, Béla Paláncz, Levente Kovács:
Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. SYNASC 2012: 53-61
2011
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KovacsMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KovacsMV11
Laura Kovács, Georg Moser, Andrei Voronkov:
On Transfinite Knuth-Bendix Orders. CADE 2011: 384-399
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KnoopKZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KnoopKZ11
Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference 2011: 227-242
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/HoderKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/HoderKV11
Krystof Hoder, Laura Kovács, Andrei Voronkov:
Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/Kovacs11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/Kovacs11
Laura Kovács:
Symbol Elimination in Program Analysis. SYNASC 2011: 12
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HoderKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HoderKV11
Krystof Hoder, Laura Kovács, Andrei Voronkov:
Invariant Generation in Vampire. TACAS 2011: 60-64
2010
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HoderKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HoderKV10
Krystof Hoder, Laura Kovács, Andrei Voronkov:
Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BlancHHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BlancHHK10
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HenzingerHKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HenzingerHKR10
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko:
Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HenzingerHKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HenzingerHKV10
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov:
Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KovacsV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KovacsV09
Laura Kovács, Andrei Voronkov:
Interpolation and Symbol Elimination. CADE 2009: 199-213
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Kovacs09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Kovacs09
Laura Kovács:
A Complete Invariant Generation Approach for P-solvable Loops. Ershov Memorial Conference 2009: 242-256
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KovacsV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KovacsV09
Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/KovacsV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/KovacsV09
Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. SYNASC 2009: 10
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Kovacs08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Kovacs08
Laura Kovács:
Aligator: A Mathematica Package for Invariant Generation (System Description). IJCAR 2008: 275-282
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/Kovacs08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/Kovacs08
Laura Kovács:
Invariant Generation for P-Solvable Loops with Assignments. CSR 2008: 349-359
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HenzingerHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HenzingerHK08
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Kovacs08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Kovacs08
Laura Kovács:
Reasoning Algebraically About P-Solvable Loops. TACAS 2008: 249-264
2006
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KovacsPJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KovacsPJ06
Laura Kovács, Nikolaj Popov, Tudor Jebelean:
Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
2005
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/KovacsJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/KovacsJ05
Laura Ildikó Kovács, Tudor Jebelean:
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC 2005: 245-249
2004
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isola/JebeleanKP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JebeleanKP04
Tudor Jebelean, Laura Kovács, Nikolaj Popov:
Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-1
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-2
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-3
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-3
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]
2022
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2022
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]
2020
[e10]
- view
- export record
  dblp key:
  - conf/concur/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2020
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]
- view
- export record
  dblp key:
  - conf/lpar/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2020
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]
2019
[e8]
- view
- export record
  dblp key:
  - conf/vampire/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vampire/2019
Laura Kovács, Andrei Voronkov:
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops. EPiC Series in Computing 71, EasyChair 2019 [contents]
2017
[e7]
- view
- export record
  dblp key:
  - conf/cade/2016vampire
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2016vampire
Laura Kovács, Andrei Voronkov:
Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. EPiC Series in Computing 44, EasyChair 2017 [contents]
2016
[e6]
- view
- export record
  dblp key:
  - conf/cade/2014-15vampire
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2014-15vampire
Laura Kovács, Andrei Voronkov:
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015. EPiC Series in Computing 38, EasyChair 2016 [contents]
2015
[e5]
- view
- export record
  dblp key:
  - conf/synasc/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/2015
Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0461-4 [contents]
2013
[e4]
- view
- export record
  dblp key:
  - conf/sycss/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/2013
Laura Kovács, Temur Kutsia:
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria. EPiC Series in Computing 15, EasyChair 2013 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/wwv/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wwv/2010
Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013 [contents]
2012
[e2]
- view
- export record
  dblp key:
  - conf/cade/2010wing
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2010wing
Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner:
Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 1, EasyChair 2012 [contents]
2011
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2085
Laura Kovács, Rosario Pugliese, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17832
Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath:
SAT-Based Subsumption Resolution. CoRR abs/2401.17832 (2024)
[i43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10610
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10610
Clemens Eisenhofer, Michael Rawson, Laura Kovács:
Spanning Matrices via Satisfiability Solving. CoRR abs/2402.10610 (2024)
[i42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-17927
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-17927
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)
[i41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-18954
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-18954
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. CoRR abs/2402.18954 (2024)
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-18962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-18962
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov:
Program Synthesis in Saturation. CoRR abs/2402.18962 (2024)
[i39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-19199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-19199
Márton Hajdú, Laura Kovács, Michael Rawson:
Rewriting and Inductive Reasoning. CoRR abs/2402.19199 (2024)
[i38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-03712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-03712
Pamina Georgiou, Márton Hajdú, Laura Kovács:
Saturating Sorting without Sorts. CoRR abs/2403.03712 (2024)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-10310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-10310
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson:
Scaling Game-Theoretic Security Reasoning. CoRR abs/2403.10310 (2024)
2023
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06323
George Kenison, Laura Kovács, Anton Varonka:
From Polynomial Invariants to Linear Loops. CoRR abs/2302.06323 (2023)
[i35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-00028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-00028
Thomas Hader, Daniela Kaufmann, Laura Kovács:
SMT Solving over Finite Field Arithmetic. CoRR abs/2305.00028 (2023)
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-12173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-12173
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-15259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-15259
Marcel Moosbrugger, Julian Müllner, Laura Kovács:
Automated Sensitivity Analysis for Probabilistic Loops. CoRR abs/2305.15259 (2023)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-01597
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-01597
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
(Un)Solvable Loop Analysis. CoRR abs/2306.01597 (2023)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10902
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10902
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-05120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-05120
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka:
Linear Loop Synthesis for Quadratic Invariants. CoRR abs/2310.05120 (2023)
2022
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-07185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-07185
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops. CoRR abs/2204.07185 (2022)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06943
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-11495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-11495
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. CoRR abs/2206.11495 (2022)
2021
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-03599
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-03599
Andreas Humenberger, Laura Kovács:
Algebra-based Synthesis of Loops and their Invariants (Invited Paper). CoRR abs/2103.03599 (2021)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-03607
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-03607
Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CoRR abs/2103.03607 (2021)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-03908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-03908
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
MORA - Automatic Generation of Moment-Based Invariants. CoRR abs/2103.03908 (2021)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-07663
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-07663
Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv:
Summing Up Smart Transitions. CoRR abs/2105.07663 (2021)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-05066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-05066
Johannes Schoisswohl, Laura Kovács:
Automating Induction by Reflection. CoRR abs/2106.05066 (2021)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-13072
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-13072
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. CoRR abs/2107.13072 (2021)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-07429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07429
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
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-04100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-04100
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. CoRR abs/2001.04100 (2020)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-10213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-10213
Bernhard Gleiss, Laura Kovács, Jakob Rath:
Subsumption Demodulation in First-Order Theorem Proving. CoRR abs/2001.10213 (2020)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-11787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-11787
Andreas Humenberger, Laura Kovács:
Algebra-based Loop Synthesis. CoRR abs/2004.11787 (2020)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-09450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-09450
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR abs/2007.09450 (2020)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-01387
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-01387
Pamina Georgiou, Bernhard Gleiss, Laura Kovács:
Trace Logic for Inductive Loop Reasoning. CoRR abs/2008.01387 (2020)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-03444
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-03444
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR abs/2010.03444 (2020)
2019
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02835
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR abs/1905.02835 (2019)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08747
Maximilian Jaroschek, Manuel Kauers, Laura Kovács:
Lonely Points in Simplices. CoRR abs/1905.08747 (2019)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-09899
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-09899
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
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-03967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-03967
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Invariant Generation for Multi-Path Loops with Polynomial Assignments. CoRR abs/1801.03967 (2018)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-05394
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-05394
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Aligator.jl - A Julia Package for Loop Invariant Generation. CoRR abs/1808.05394 (2018)
2017
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Kovacs17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kovacs17
Laura Kovács:
Symbolic Computation and Automated Reasoning for Program Analysis. CoRR abs/1704.03202 (2017)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HumenbergerJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HumenbergerJK17
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. CoRR abs/1705.02863 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-02503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-02503
Bernhard Gleiss, Laura Kovács, Martin Suda:
Splitting Proofs for Interpolation. CoRR abs/1711.02503 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-06501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-06501
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. CoRR abs/1711.06501 (2017)
2016
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KovacsRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KovacsRV16
Laura Kovács, Simon Robillard, Andrei Voronkov:
Coming to Terms with Quantified Reasoning. CoRR abs/1611.02908 (2016)
2015
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KotelnikovKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KotelnikovKV15
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov:
A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CoRR abs/1505.01682 (2015)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KotelnikovKRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KotelnikovKRV15
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov:
The Vampire and the FOOL. CoRR abs/1510.04821 (2015)
2012
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BjornerCKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BjornerCKM12
Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar:
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports 2(11): 45-65 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.