Laura Ildikó Kovács
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
8 | EE | Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485 |
2008 | ||
7 | EE | Laura Kovács: Invariant Generation for P-Solvable Loops with Assignments. CSR 2008: 349-359 |
6 | EE | Laura Kovács: Aligator: A Mathematica Package for Invariant Generation (System Description). IJCAR 2008: 275-282 |
5 | EE | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342 |
4 | EE | Laura Kovács: Reasoning Algebraically About P-Solvable Loops. TACAS 2008: 249-264 |
2006 | ||
3 | EE | 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) |
2005 | ||
2 | EE | Laura Ildikó Kovács, Tudor Jebelean: An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC 2005: 245-249 |
2004 | ||
1 | Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99 |
1 | Bruno Buchberger | [3] |
2 | Adrian Craciun | [3] |
3 | Thomas A. Henzinger | [5] |
4 | Thibaud Hottelier | [5] |
5 | Tudor Jebelean | [1] [2] [3] |
6 | Temur Kutsia | [3] |
7 | Koji Nakagawa | [3] |
8 | Florina Piroi | [3] |
9 | Nikolaj Popov | [1] [3] |
10 | Judit Robu | [3] |
11 | Markus Rosenkranz | [3] |
12 | Andrei Voronkov | [8] |