Výpis publikací

BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a 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, s. 230-242. ISBN 978-3-540-89438-4.

HOLEČEK, Jan a Petr SOJKA. Animations in pdfTeX-generated PDF. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004, roč. 2004, č. 3130, s. 179--191, 12 s. ISSN 0302-9743.

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

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