Laura Kovács

Laura Ildikó Kovács

	2009
10		Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009: 199-213
9		Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485
	2008
8		Laura Kovács: Invariant Generation for P-Solvable Loops with Assignments. CSR 2008: 349-359
7		Laura Kovács: Aligator: A Mathematica Package for Invariant Generation (System Description). IJCAR 2008: 275-282
6		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342
5		Laura Kovács: Reasoning Algebraically About P-Solvable Loops. TACAS 2008: 249-264
	2006
4		Laura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
3		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		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

Coauthor Index

1	Bruno Buchberger	[3]
2	Adrian Craciun	[3]
3	Thomas A. Henzinger	[6]
4	Thibaud Hottelier	[6]
5	Tudor Jebelean	[1] [2] [3] [4]
6	Temur Kutsia	[3]
7	Koji Nakagawa	[3]
8	Florina Piroi	[3]
9	Nikolaj Popov	[1] [3] [4]
10	Judit Robu	[3]
11	Markus Rosenkranz	[3]
12	Andrei Voronkov	[9] [10]

Colors in the list of coauthors