Výpis publikací

BARNAT, Jiří; Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008, s. 234-239. ISBN 978-3-540-88386-9.

HORÁK, Aleš a Vladimír KADLEC. Platform for Full-Syntax Grammar Development Using Meta-grammar Constructs. In Proceedings of the 20th Pacific Asia Conference on Language, Information and Computation. 2006. vyd. Beijing, China: Tsinghua University Press, 2006, s. 311-318. ISBN 7-302-14060-X.

ŠMAJS, Josef. Technology. In Encyclopedia of anthropology. Londýn: Sage publications Ltd., 2006, s. 2165-2167. ISBN 0-7619-3029-9.