| |
| 2008 | ||
|---|---|---|
| 2 | EE | Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242 |
| 2004 | ||
| 1 | EE | Jan Holecek, Petr Sojka: Animations in pdfTEX-Generated PDF. TEX, XML, and Digital Typography 2004: 179-191 |
| 1 | Tomás Brázdil | [2] |
| 2 | Václav Brozek | [2] |
| 3 | Antonín Kucera | [2] |
| 4 | Petr Sojka | [1] |