| First-Order Theorem Proving and Vampire L Kovács, A Voronkov International Conference on Computer Aided Verification, 1-35, 2013 | 747 | 2013 |
| Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006 | 235 | 2006 |
| Finding loop invariants for programs over arrays using a theorem prover L Kovács, A Voronkov International Conference on Fundamental Approaches to Software Engineering …, 2009 | 215 | 2009 |
| Reasoning algebraically about P-solvable loops L Kovács International Conference on Tools and Algorithms for the Construction and …, 2008 | 118 | 2008 |
| Interpolation and symbol elimination L Kovács, A Voronkov International Conference on Automated Deduction, 199-213, 2009 | 92 | 2009 |
| ABC: algebraic bound computation for loops R Blanc, TA Henzinger, T Hottelier, L Kovács International Conference on Logic for Programming Artificial Intelligence …, 2010 | 77 | 2010 |
| Coming to terms with quantified reasoning L Kovács, S Robillard, A Voronkov Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 64 | 2017 |
| Symbolic loop bound computation for WCET analysis J Knoop, L Kovács, J Zwirchmayr International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 63 | 2011 |
| Invariant generation for multi-path loops with polynomial assignments A Humenberger, M Jaroschek, L Kovács International Conference on Verification, Model Checking, and Abstract …, 2017 | 61 | 2017 |
| An algorithm for automated generation of invariants for loops with conditionals LI Kovács, T Jebelean Seventh International Symposium on Symbolic and Numeric Algorithms for …, 2005 | 53 | 2005 |
| Interpolation and symbol elimination in Vampire K Hoder, L Kovács, A Voronkov Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 52 | 2010 |
| Invariant generation in vampire K Hoder, L Kovács, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2011 | 50 | 2011 |
| WCET squeezing: On-demand feasibility refinement for proven precise WCET-bounds J Knoop, L Kovács, J Zwirchmayr Proceedings of the 21st International Conference on Real-Time Networks and …, 2013 | 49 | 2013 |
| Automated generation of non-linear loop invariants utilizing hypergeometric sequences A Humenberger, M Jaroschek, L Kovács Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017 | 48 | 2017 |
| Automatic generation of moment-based invariants for prob-solvable loops E Bartocci, L Kovács, M Stankovič International Symposium on Automated Technology for Verification and …, 2019 | 47 | 2019 |
| Automated termination analysis of polynomial probabilistic programs M Moosbrugger, E Bartocci, JP Katoen, L Kovács European Symposium on Programming, 491-518, 2021 | 40 | 2021 |
| Playing in the grey area of proofs K Hoder, L Kovács, A Voronkov Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 40 | 2012 |
| WCET tool challenge 2011: Report R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ... 11th International Workshop on Worst-Case Execution-Time Analysis, 2011 | 39 | 2011 |
| Induction with generalization in superposition reasoning M Hajdú, P Hozzová, L Kovács, J Schoisswohl, A Voronkov Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 38 | 2020 |
| Automated invariant generation by algebraic techniques for imperative program verification in theorema L Kovacs na, 2007 | 38 | 2007 |
