The statistical interpretation and modification of GUHA method. - Tomás Havránek (Kybernetika, 1971)

A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements. - Tomás Havránek (Kybernetika, 1974)

The computation of characteristic vectors of logical-probabilistic expressions. - Tomás Havránek (Kybernetika, 1974)

An application of logical-probabilistic expressions to the realization of stochastic automata. - Tomás Havránek (Kybernetika, 1974)

The Approximation Problem in Computational Statistics. - Tomás Havránek (MFCS, 1975)

Statistics and computability. - Tomás Havránek (Kybernetika, 1976)

On Generation of Inductive Hypotheses. - Petr Hájek 001; Tomás Havránek (Int. J. Man Mach. Stud., 1977)

Processing Sociological Data by the GUHA Method - An Example. - Tomás Havránek; Milos Chyba; Dan Pokorny (Int. J. Man Mach. Stud., 1977)

An alternative approach to missing information in the GUHA method. - Tomás Havránek (Kybernetika, 1980)

The Present State of the GUHA Software. - Tomás Havránek (Int. J. Man Mach. Stud., 1981)

The GUHA Method in the Context of Data Analysis. - Tomás Havránek (Int. J. Man Mach. Stud., 1981)

Formal Systems for Mechanized Statistical Inference. - Tomás Havránek (Int. J. Man Mach. Stud., 1981)

On Verbosity Levels In Cognitive Problem Solvers. - Petr Jirku; Tomás Havránek (COLING, 1982)

The expert system shell EQUANT-PC: brief information. - Petr Hájek 001; Marie Hájková; Tomás Havránek; Milan Daniel (Kybernetika, 1989)

Some notes to the algebraization of Dempster-Shafer treatment of uncertainty. - Tomás Havránek (Kybernetika, 1989)

Uncertain information processing in expert systems. - Petr Hájek 001; Tomás Havránek; Radim Jirousek (CRC Press, 1992)