• DML-CZ Home

Author: Havel, Ivan

• Berrachedi, Abdelhafid; Havel, Ivan; Mulder, Henry Martyn: Spherical and clockwise spherical graphs. (English). Czechoslovak Mathematical Journal, vol. 53 (2003), issue 2, pp. 295-309
• Ceccherini, Pier Vittorio; Havel, Ivan: On edge domatic number of hypercubes. (English). Mathematica Slovaca, vol. 52 (2002), issue 4, pp. 369-375
• Havel, Ivan: Domination in $n$-cubes with diagonals. (English). Mathematica Slovaca, vol. 48 (1998), issue 2, pp. 105-115
• Havel, Ivan: Za Jaroslavem Morávkem. (Czech) [Obituary of Jaroslav Morávek]. Časopis pro pěstování matematiky, vol. 112 (1987), issue 4, pp. 420-423
• Havel, Ivan; Liebl, Petr: Zprávy. K šedesátinám člena korespondenta ČSAV Miroslava Fiedlera. (Czech) [On the occasion of the 60th birthday of Miroslav Fiedler, Corresponding Member of the Czech Academy of Sciences]. Aplikace matematiky, vol. 31 (1986), issue 2, pp. 163-165
• Havel, Ivan: On Hamiltonian circuits and spanning trees of hypercubes. (English). Časopis pro pěstování matematiky, vol. 109 (1984), issue 2, pp. 135-152
• Havel, Ivan; Křivánek, Mirko: On maximal matchings in $Q_6$ and a conjecture of R. Forcade. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 123-136
• Havel, Ivan; Liebl, Petr: Embedding the polytomic tree into the $n$-cube. (English). Časopis pro pěstování matematiky, vol. 98 (1973), issue 3, pp. 307-314
• Havel, Ivan; Liebl, Petr: O vnoření dichotomického stromu do krychle. (Czech) [Embedding the dichotomic tree into the $n$-cube]. Časopis pro pěstování matematiky, vol. 97 (1972), issue 2, pp. 201-205
• Havel, Ivan; Morávek, Jaroslav: $B$-valuations of graphs. (English). Czechoslovak Mathematical Journal, vol. 22 (1972), issue 2, pp. 338-351
• Havel, Ivan: A note on one-sided context-sensitive grammars. (English). Kybernetika, vol. 5 (1969), issue 3, pp. (186)-189
• Havel, Ivan: Recenzie. (Czech) [Reviews]. Matematický časopis, vol. 18 (1968), issue 4, pp. 346-347
• Havel, Ivan: On the completeness-number of a finite graph. II. (English). Časopis pro pěstování matematiky, vol. 93 (1968), issue 2, pp. 158-169
• Havel, Ivan: К проблеме однозначности кодирования. (Russian) [On the problem of the uniqueness of coding]. Kybernetika, vol. 4 (1968), issue 5, pp. (432)-437
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. II. (Czech) [The GUHA method of systematical hypotheses searching. II]. Kybernetika, vol. 3 (1967), issue 5, pp. (430)-437
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47
• Havel, Ivan: On the completeness-number of a finite graph. (English). Časopis pro pěstování matematiky, vol. 90 (1965), issue 2, pp. 191-193