BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Germany
1 × Hungary
1 × Poland
1 × Russia
1 × Spain
1 × USA
3 × United Kingdom
Collaborated with:
A.Voronkov K.Hoder T.A.Henzinger G.Moser B.Gleiss M.S.0001 E.Kotelnikov S.Robillard T.Hottelier P.Cerný A.Radhakrishna J.Zwirchmayr
Talks about:
interpol (4) invari (4) vampir (3) proof (3) order (3) theorem (2) program (2) generat (2) symbol (2) reason (2)

Person: Laura Kovács

DBLP DBLP: Kov=aacute=cs:Laura

Contributed to:

ESOP 20152015
CAV 20132013
POPL 20122012
CADE 20112011
TACAS 20112011
IJCAR 20102010
VMCAI 20102010
CADE 20092009
FASE 20092009
IJCAR 20082008
TACAS 20082008
CADE 20172017
CSL 20172017
IJCAR 20182018
POPL 20172017

Wrote 15 papers:

ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
CAV-2013-KovacsV #first-order #proving #theorem proving
First-Order Theorem Proving and Vampire (LK, AV), pp. 1–35.
POPL-2012-HoderKV #game studies #proving
Playing in the grey area of proofs (KH, LK, AV), pp. 259–272.
CADE-2011-KovacsMV #on the #order
On Transfinite Knuth-Bendix Orders (LK, GM, AV), pp. 384–399.
TACAS-2011-HoderKV #generative #invariant
Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.
VMCAI-2010-HenzingerHKV #invariant #matrix #type inference
Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.
Interpolation and Symbol Elimination (LK, AV), pp. 199–213.
FASE-2009-KovacsV #array #invariant #proving #source code #theorem proving #using
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.
IJCAR-2008-Kovacs #generative #invariant #named
Aligator: A Mathematica Package for Invariant Generation (LK), pp. 275–282.
TACAS-2008-Kovacs #algebra #reasoning
Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.
CADE-2017-GleissK0 #proving
Splitting Proofs for Interpolation (BG, LK, MS0), pp. 291–309.
CSL-2017-Kovacs #first-order #proving
First-Order Interpolation and Grey Areas of Proofs (Invited Talk) (LK), p. 1.
IJCAR-2018-KotelnikovKV #encoding #imperative #source code
A FOOLish Encoding of the Next State Relations of Imperative Programs (EK, LK, AV), pp. 405–421.
POPL-2017-KovacsRV #quantifier #reasoning
Coming to terms with quantified reasoning (LK, SR, AV), pp. 260–270.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.