On the problem of the uniqueness of coding. - Ivan M. Havel (Kybernetika, 1968)

Regular expressions over generalized alphabet and design of logical nets. - Ivan M. Havel (Kybernetika, 1968)

A note on one-sided context-sensitive grammars. - Ivan M. Havel (Kybernetika, 1969)

The theory of regular events. I. - Ivan M. Havel (Kybernetika, 1969)

The theory of regular events. II. - Ivan M. Havel (Kybernetika, 1969)

On a Family of Deterministic Grammars (Extended Abstract). - Michael A. Harrison; Ivan M. Havel (ICALP, 1972)

The concept of indirectness in artificial intelligence. - Ivan M. Havel (Kybernetika, 1972)

Real-Time Strict Deterministic Languages. - Michael A. Harrison; Ivan M. Havel (SIAM J. Comput., 1972)

Some Results Concerning the Situation Calculus. - Olga Stepánková; Ivan M. Havel (MFCS, 1973)

Strict Deterministic Grammars. - Michael A. Harrison; Ivan M. Havel (J. Comput. Syst. Sci., 1973)

Finite Branching Automata: Automata Theory Motivated by Problem Solving. - Ivan M. Havel (MFCS, 1974)

On the Parsing of Deterministic Languages. - Michael A. Harrison; Ivan M. Havel (J. ACM, 1974)

Finite branching automata. - Ivan M. Havel (Kybernetika, 1974)

Automata theory motivated by problem solving. - Ivan M. Havel (SIGACT News, 1974)

Nondterministically Recognizable Sets of Languages. - Ivan M. Havel (MFCS, 1975)

On the Branching Structure of Languages. - Ivan M. Havel (MFCS, 1976)

A Logical Theory of Robot Problem Solving. - Olga Stepánková; Ivan M. Havel (Artif. Intell., 1976)

Normal forms of deterministic grammars. - Matthew M. Geller; Michael A. Harrison; Ivan M. Havel (Discret. Math., 1976)

Incidental and state-dependent phenomena in robot problem solving. - Olga Stepánková; Ivan M. Havel (Kybernetika, 1977)

A stochastic approach to robot plan formation. - Ivan M. Havel; Ivan Kramosil (Kybernetika, 1978)

On Two Types of Loops. - Ivan M. Havel (MFCS, 1979)

On Equivalence of Grammars Through Transformation Trees. - Michael A. Harrison; Ivan M. Havel; Amiram Yehudai (Theor. Comput. Sci., 1979)

On Branching and Looping, Part I. - Ivan M. Havel (Theor. Comput. Sci., 1980)

On Branching and Looping, Part II. - Ivan M. Havel (Theor. Comput. Sci., 1980)

The Truth-Reaction Paradox: A Probe of Artificial Intelligence. - Ivan M. Havel (ECAI, 1982)

Artifical Intelligence: A Lesson in Human Self-Understanding. - Ivan M. Havel (Impacts of Artificial Intelligence, 1986)

Artificial Intelligence and Connectionism: Some Philosophical Implications. - Ivan M. Havel (Advanced Topics in Artificial Intelligence, 1992)

Artificial Thought and Emergent Mind. - Ivan M. Havel (IJCAI, 1993)

Sixty years of cybernetics: cybernetics still alive. - Ivan M. Havel (Kybernetika, 2008)