Laura Kovács
Author
Alternate names L.I. Kovacs, Laura Ildiko Kovacs, Laura Kovács, L. Kovács, Laura Ildikó Kovács +1 more
Institution TU Wien
Past institutions TU Wien, Chalmers University of Technology, Eötvös Loránd University, University of Szeged, École Polytechnique Fédérale de Lausanne +4 more
ORCID: Yes
H-index: 21
I10-index: 55
Works count: 197
Citations count: 2,149
First-Order Theorem Proving and Vampire
2013 · Laura Kovács, Андрей Воронков · Lecture notes in computer science
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
2009 · Laura Kovács, Андрей Воронков · Lecture notes in computer science
Theorema: Towards computer-aided mathematical theory exploration
2005 · Bruno Buchberger, Adrian Crăciun, et al. · Journal of Applied Logic