Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Laura Kovács

Laura Ildikó Kovács

2010 – today

see FAQ

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

2013
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atva/BiereKKZ13
- ask others
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr: SmacC: A Retargetable Symbolic Execution Engine. ATVA 2013: 482-486
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/KovacsV13
- ask others
Laura Kovács, Andrei Voronkov: First-Order Theorem Proving and Vampire. CAV 2013: 1-35
[c27]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtns/KnoopKZ13
- ask others
Jens Knoop, Laura Kovács, Jakob Zwirchmayr: WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds. RTNS 2013: 161-170
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wcet/BiereKKZ13
- ask others
Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr: The Auspicious Couple: Symbolic Execution and WCET Analysis. WCET 2013: 53-63
2012
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/japll/KovacsK12
- ask others
Laura Kovács, Temur Kutsia: Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsc/BjornerK12
- ask others
Nikolaj Bjørner, Laura Kovács: Foreword. J. Symb. Comput. 47(12): 1413-1415 (2012)
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/HoderHKV12
- ask others
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov: Vinter: A Vampire-Based Tool for Interpolation. APLAS 2012: 148-156
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/KnoopKZ12
- ask others
Jens Knoop, Laura Kovács, Jakob Zwirchmayr: r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR 2012: 435-444
[c23]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/HoderKV12
- ask others
Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272
[c22]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rtns/BonenfantCMKKZ12
- ask others
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
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/synasc/KovacsPK12
- ask others
Laura Kovács, Béla Paláncz, Levente Kovács: Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. SYNASC 2012: 53-61
[i1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dagstuhl-reports/BjornerCKM12
- ask others
Nikolaj 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)
2011
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/KovacsMV11
- ask others
Laura Kovács, Georg Moser, Andrei Voronkov: On Transfinite Knuth-Bendix Orders. CADE 2011: 384-399
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/KnoopKZ11
- ask others
Jens Knoop, Laura Kovács, Jakob Zwirchmayr: Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference 2011: 227-242
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/micai/HoderKV11
- ask others
Krystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15
[c17]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/synasc/Kovacs11
- ask others
Laura Kovács: Symbol Elimination in Program Analysis. SYNASC 2011: 12
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/HoderKV11
- ask others
Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-2085
- ask others
Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. EPTCS 61, 2011
2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsc/GieseIK10
- ask others
Martin Giese, Andrew Ireland, Laura Kovács: Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/HoderKV10
- ask others
Krystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/BlancHHK10
- ask others
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/HenzingerHKR10
- ask others
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vmcai/HenzingerHKV10
- ask others
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179

2000 – 2009

see FAQ

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

2009
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/KovacsV09
- ask others
Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009: 199-213
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/Kovacs09
- ask others
Laura Kovács: A Complete Invariant Generation Approach for P-solvable Loops. Ershov Memorial Conference 2009: 242-256
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KovacsV09
- ask others
Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485
[c8]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/synasc/KovacsV09
- ask others
Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. SYNASC 2009: 10
2008
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Kovacs08
- ask others
Laura Kovács: Aligator: A Mathematica Package for Invariant Generation (System Description). IJCAR 2008: 275-282
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csr/Kovacs08
- ask others
Laura Kovács: Invariant Generation for P-Solvable Loops with Assignments. CSR 2008: 349-359
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/HenzingerHK08
- ask others
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
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/Kovacs08
- ask others
Laura Kovács: Reasoning Algebraically About P-Solvable Loops. TACAS 2008: 249-264
2006
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/japll/BuchbergerCJKKNPPRR06
- ask others
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/KovacsPJ06
- ask others
Laura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
2005
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/synasc/KovacsJ05
- ask others
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
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/JebeleanKP04
- ask others
Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?