Laura Kovács

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · Journal of Applied Logic · 2005 · 130 citations

Natural Sciences, Computer Science, Mathematics +8

Coming to terms with quantified reasoning

Laura Kovács, Simon Robillard · 2016 · 39 citations · Full text

Computing, Computer Science, Formal Methods +10

An algorithm for automated generation of invariants for loops with conditionals

Laura Kovács, Tudor Jebelean · 2005 · 34 citations

Computing, Computer Science, Algorithms +15

Playing in the grey area of proofs

Kryštof Hoder, Laura Kovács · ACM SIGPLAN Notices · 2012 · 30 citations

Computing, Computer Science, Algorithms +12

This is the moment for probabilistic loops

Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci et al. · Proceedings of the ACM on Programming Languages · 2022 · 28 citations · Full text

Natural Sciences, Computer Science, Probability Theory +12