| Strict deterministic grammars MA Harrison, IM Havel Journal of Computer and System Sciences 7 (3), 237-277, 1973 | 105 | 1973 |
| On the parsing of deterministic languages IM Havel, MA Harrison Journal of the ACM (JACM) 21 (4), 525-548, 1974 | 77 | 1974 |
| Scale dimensions in nature IM Havel International Journal of General System 24 (3), 295-324, 1996 | 73 | 1996 |
| Real-time strict deterministic languages MA Harrison, IM Havel SIAM Journal on Computing 1 (4), 333-349, 1972 | 62 | 1972 |
| On equivalence of grammars through transformation trees MA Harrison, IM Havel, A Yehudai Theoretical Computer Science 9 (2), 173-205, 1979 | 59 | 1979 |
| The theory of regular events. II IM Havel Kybernetika 5 (6), (520)-544, 1969 | 35 | 1969 |
| Artificial thought and emergent mind IM Havel IJCAI, 758-766, 1993 | 34 | 1993 |
| Přirozené a umělé myšlení jako filozofický problém IM Havel Umělá inteligence 3, 17-75, 2001 | 33 | 2001 |
| Robotika: Úvod do teorie kognitivních robotů IM Havel SNTL, 1980 | 23 | 1980 |
| A logical theory of robot problem solving O Štěpánková, IM Havel Artificial Intelligence 7 (2), 129-161, 1976 | 23 | 1976 |
| On certain trees in hypercubes I Havel Topics in Combinatorics and Graph Theory: Essays in Honour of Gerhard Ringel …, 1990 | 22 | 1990 |
| Finite branching automata IM Havel Kybernetika 10 (4), (281)-302, 1974 | 19 | 1974 |
| Normal forms of deterministic grammars MM Geller, MA Harrison, IM Havel Discrete Mathematics 16 (4), 313-321, 1976 | 18 | 1976 |
| Living in conceivable worlds IM Havel Foundations of Science 3 (2), 375-394, 1998 | 17 | 1998 |
| Causal domains and emergent rationality IM Havel SCHRIFTENREIHE-WITTGENSTEIN GESELLSCHAFT 29, 129-151, 2001 | 16 | 2001 |
| O zbarvitelnosti rovinnych graf◦ u theremi barvami I Havel Math. Geometrie a theorie graf◦ u (Praha, 1970), 89-91, 1970 | 16 | 1970 |
| GUHA-metoda systematického vyhledávání hypotéz P Hájek, I Havel, M Chytil Kybernetika 2 (1), (31)-47, 1966 | 14 | 1966 |
| Věda o duši IM HAVEL Vesmír 79 (7 s 363), 2000 | 13 | 2000 |
| Prostor a jeho člověk M Ajvaz, IM Havel, M Mitášová Vesmír, 2004 | 12 | 2004 |
| The GUHA method of automated hypotheses generation M Chytil, P Hajek, I Havel Computing 1, 293-308, 1966 | 12 | 1966 |
