Rastislav Lenhardt
Scholar

Rastislav Lenhardt

Google Scholar ID: YpmWcn8AAAAJ
PhD Student of Computer Science, University of Oxford
Probabilistic Verification
Google Scholar↗
Citations & Impact
All-time
Citations
223
 
H-index
6
 
i10-index
4
 
Publications
12
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
1 items
Semantic Recall for Vector Search
2026
Cited
0
Resume (English only)
Co-authors
4 total
James Worrell
James Worrell
Professor of Computer Science, Oxford University
Michael Benedikt
Michael Benedikt
Professor of Computer Science, Oxford University
Jyrki Alakuijala
Jyrki Alakuijala
Software Engineer at Google
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus