Publication Records

BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008, p. 230-242. ISBN 978-3-540-89438-4.

HOLEČEK, Jan and Petr SOJKA. Animations in pdfTeX-generated PDF. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004, vol. 2004, No 3130, p. 179--191, 12 pp. ISSN 0302-9743.

HOLEČEK, Jan and Petr SOJKA. Animations in pdfTeX-generated PDF. TUGboat : The Communications of the TeX Users Group. San Francisco: TeX Users Group, 2004, vol. 25, No 1, p. 35-41. ISSN 0896-3207.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK and Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK and Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o., 2004. CESNET Technical Report No. 05/2004.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK and Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.