Laura Kovacs
Scholar

Laura Kovacs

Google Scholar ID: X4K5SpIAAAAJ
TU Wien, Vienna, Austria
automated reasoningprogram analysistheorem provingsymbolic computation
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
3 items
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)