Rastislav Lenhardt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGIR | Semantic Recall for Vector Search. | Leonardo Kuffo, Ioanna Tsakalidou, Roberta De Viti, Albert Angel, Jir Isa, Rastislav Lenhardt |
| 2013 | ICALP | Complexity of Two-Variable Logic on Finite Trees. | Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell |
| 2013 | TACAS | LTL Model Checking of Interval Markov Chains. | Michael Benedikt, Rastislav Lenhardt, James Worrell |
| 2012 | DCC | Gipfeli - High Speed Compression Algorithm. | Rastislav Lenhardt, Jyrki Alakuijala |
| 2011 | CONCUR | Two Variable vs. Linear Temporal Logic in Model Checking and Games. | Michael Benedikt, Rastislav Lenhardt, James Worrell |