Animations in pdfTEX-Generated PDF. - Jan Holecek; Petr Sojka (TEX, XML, and Digital Typography, 2004)

Discounted Properties of Probabilistic Pushdown Automata. - Tomás Brázdil; Václav Brozek; Jan Holecek; Antonín Kucera 001 (LPAR, 2008)