Automatické formování hypotéz metodou GUHA - teorie a aplikace Tomáš Havránek — 1981 Pokroky matematiky, fyziky a astronomie
On simultaneous inference in multidimensional contingency tables Tomáš Havránek — 1978 Aplikace matematiky
The computation of characteristic vectors of logical-probabilistic expressions Tomáš Havránek — 1974 Kybernetika
An application of logical-probabilistic expressions to the realization of stochastic automata Tomáš Havránek — 1974 Kybernetika
A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements Tomáš Havránek — 1974 Kybernetika
Some notes to the algebraization of Dempster-Shafer treatment of uncertainty Tomáš Havránek — 1989 Kybernetika
The expert system shell EQUANT-PC: brief information Petr Hájek; Marie Hájková; Tomáš Havránek; Milan Daniel — 1989 Kybernetika