On interpolants and variable assignments. - Pavel Jancík; Jan Kofron; Simone Fulvio Rollini; Natasha Sharygina (FMCAD, 2014)

Approximating happens-before order: interplay between static analysis and state space traversal. - Pavel Parízek; Pavel Jancík (SPIN, 2014)

PVAIR: Partial Variable Assignment InterpolatoR. - Pavel Jancík; Leonardo Alt; Grigory Fedyukovich; Antti E. J. Hyvärinen; Jan Kofron; Natasha Sharygina (FASE, 2016)

Dead variable analysis for multi-threaded heap manipulating programs. - Pavel Jancík; Jan Kofron (SAC, 2016)

On partial state matching. - Pavel Jancík; Jan Kofron (Formal Aspects Comput., 2017)

Exploiting partial variable assignment in interpolation-based model checking. - Pavel Jancík; Jan Kofron; Leonardo Alt; Grigory Fedyukovich; Antti E. J. Hyvärinen; Natasha Sharygina (Formal Methods Syst. Des., 2019)