Laura Kovács

Laura Ildikó Kovács

	2012
26		Jens Knoop, Laura Kovács, Jakob Zwirchmayr: r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). LPAR 2012: 435-444
25		Krystof Hoder, Laura Kovács, Andrei Voronkov: Playing in the grey area of proofs. POPL 2012: 259-272
24		Laura Kovács, Temur Kutsia: Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012)
	2011
23		Laura Kovács, Rosario Pugliese, Francesco Tiezzi: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems WWV 2011
22		Laura Kovács, Georg Moser, Andrei Voronkov: On Transfinite Knuth-Bendix Orders. CADE 2011: 384-399
21		Jens Knoop, Laura Kovács, Jakob Zwirchmayr: Symbolic Loop Bound Computation for WCET Analysis. Ershov Memorial Conference 2011: 227-242
20		Krystof Hoder, Laura Kovács, Andrei Voronkov: Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) 2011: 1-15
19		Laura Kovács: Symbol Elimination in Program Analysis. SYNASC 2011: 12
18		Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. TACAS 2011: 60-64
	2010
17		Krystof Hoder, Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination in Vampire. IJCAR 2010: 188-195
16		Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
15		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
14		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
13		Martin Giese, Andrew Ireland, Laura Kovács: Introduction. J. Symb. Comput. 45(11): 1097-1100 (2010)
	2009
12		Laura Kovács, Andrei Voronkov: Interpolation and Symbol Elimination. CADE 2009: 199-213
11		Laura Kovács: A Complete Invariant Generation Approach for P-solvable Loops. Ershov Memorial Conference 2009: 242-256
10		Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485
9		Laura Kovács, Andrei Voronkov: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. SYNASC 2009: 10
	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	Régis Blanc	[16]
2	Bruno Buchberger	[3]
3	Adrian Craciun	[3]
4	Martin Giese	[13]
5	Thomas A. Henzinger	[6] [14] [15] [16]
6	Krystof Hoder	[17] [18] [20] [25]
7	Thibaud Hottelier	[6] [14] [15] [16]
8	Andrew Ireland	[13]
9	Tudor Jebelean	[1] [2] [3] [4]
10	Jens Knoop	[21] [26]
11	Temur Kutsia	[3] [24]
12	Georg Moser	[22]
13	Koji Nakagawa	[3]
14	Florina Piroi	[3]
15	Nikolaj Popov	[1] [3] [4]
16	Rosario Pugliese	[23]
17	Judit Robu	[3]
18	Markus Rosenkranz	[3]
19	Andrey Rybalchenko	[15]
20	Francesco Tiezzi	[23]
21	Andrei Voronkov	[9] [10] [12] [14] [17] [18] [20] [22] [25]
22	Jakob Zwirchmayr	[21] [26]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page