Proof of Concept: Fast Solutions to NP-problems by Using SAT and Integer Programming Solvers - Rastislav Lenhardt (CoRR, 2010)

Gipfeli - High Speed Compression Algorithm. - Rastislav Lenhardt; Jyrki Alakuijala (DCC, 2012)

Verification of Two-Variable Logic Revisited. - Michael Benedikt; Rastislav Lenhardt; James Worrell 001 (QEST, 2012)

Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm. - Rastislav Lenhardt (QEST, 2013)

LTL Model Checking of Interval Markov Chains. - Michael Benedikt; Rastislav Lenhardt; James Worrell 001 (TACAS, 2013)

Two Variable vs. Linear Temporal Logic in Model Checking and Games - Michael Benedikt; Rastislav Lenhardt; James Worrell 001 (Log. Methods Comput. Sci., 2013)

Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees - Saguy Benaim; Michael Benedikt; Rastislav Lenhardt; James Worrell 001 (CoRR, 2013)

Two variable and linear temporal logic in model checking and games. - Rastislav Lenhardt (2013)

Model Checking Markov Chains Against Unambiguous Buchi Automata. - Michael Benedikt; Rastislav Lenhardt; James Worrell 001 (CoRR, 2014)

Complexity of Two-Variable Logic on Finite Trees. - Saguy Benaim; Michael Benedikt; Witold Charatonik; Emanuel Kieronski; Rastislav Lenhardt; Filip Mazowiecki; James Worrell 001 (ACM Trans. Comput. Log., 2016)