On Symbolic Execution of Decompiled Programs. - Lukás Korencik; Petr Rockai; Henrich Lauko; Jiri Barnat (QRS, 2020)

On the Optimization of Equivalent Concurrent Computations. - Henrich Lauko; Lukás Korencik; Peter Goodman (CoRR, 2022)

Verification of Programs Sensitive to Heap Layout. - Henrich Lauko; Lukás Korencik; Petr Rockai (ACM Trans. Softw. Eng. Methodol., 2022)