Scholar
Laura Kovacs
Google Scholar ID: X4K5SpIAAAAJ
TU Wien, Vienna, Austria
automated reasoning
program analysis
theorem proving
symbolic computation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,846
H-index
30
i10-index
77
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
4 items
A Modern View on MCSat
2026
Cited
0
Certificate-Aware Property-Directed Reachability
2026
Cited
0
A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
2025
Cited
0
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
