×

zbMATH — the first resource for mathematics

Havel, Ivan M.

Compute Distance To:
Author ID: havel.ivan-m Recent zbMATH articles by "Havel, Ivan M."
Published as: Havel, Ivan; Havel, Ivan M.; Havel, I.; Havel, I. M.
Documents Indexed: 69 Publications since 1965, including 2 Books
Reviewing Activity: 9 Reviews

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 334 times in 240 Documents Cited by Year
Strict deterministic grammars. Zbl 0261.68036
Harrison, Michael A.; Havel, Ivan M.
41
1973
On a conjecture of B. Grünbaum. Zbl 0177.26805
Havel, I.
29
1969
On the parsing of deterministic languages. Zbl 0296.68084
Harrison, Michael A.; Havel, Ivan M.
26
1974
On Hamiltonian circuits and spanning trees of hypercubes. Zbl 0544.05057
Havel, Ivan
25
1984
The GUHA method of automatic hypotheses determination. Zbl 0168.26105
Hajek, P.; Havel, I.; Chytil, M.
25
1966
Real-time strict deterministic languages. Zbl 0267.68034
Harrison, Michael A.; Havel, Ivan M.
22
1972
Semipaths in directed cubes. Zbl 0528.05030
Havel, Ivan
18
1983
On equivalence of grammars through transformation trees. Zbl 0409.68041
Harrison, Michael A.; Havel, Ivan M.; Yehudai, Amiram
18
1979
B-valuations of graphs. Zbl 0247.05148
Havel, Ivan; Moravek, Jaroslav
16
1972
One-legged caterpillars span hypercubes. Zbl 0589.05031
Havel, Ivan; Liebl, Petr
13
1986
Generalized hypercubes and graph embedding with dilation. Zbl 0719.05036
Dvořák, Tomáš; Havel, Ivan; Laborde, Jean-Marie; Liebl, Petr
10
1990
The theory of regular events. II. Zbl 0184.28703
Havel, I. M.
8
1969
On certain trees in hypercubes. Zbl 0743.05016
Havel, I.
7
1990
A logical theory of robot problem solving. Zbl 0328.68081
Stepankova, Olga; Havel, Ivan M.
7
1976
Spanning caterpillars of a hypercube. Zbl 0865.05034
Dvořák, Tomáš; Havel, Ivan; Laborde, Jean-Marie; Mollard, Michel
6
1997
The diameter of the cube-connected cycles. Zbl 1337.68204
Friš, Ivan; Havel, Ivan; Liebl, Petr
5
1997
Distance monotone graphs and a new characterization of hypercubes. Zbl 0768.05033
Burosch, Gustav; Havel, Ivan; Laborde, Jean-Marie
5
1992
Embedding the polytomic tree into the n-cube. Zbl 0274.05101
Havel, Ivan; Liebl, Petr
5
1973
Finite branching automata. Zbl 0287.94050
Havel, Ivan M.
5
1974
Normal forms of deterministic grammars. Zbl 0358.68108
Geller, Matthew M.; Harrison, Michael A.; Havel, Ivan M.
5
1977
Embedding the dichotomic tree into the n-cube. Zbl 0229.05109
Havel, Ivan; Liebl, Petr
4
1972
Incidental and state-dependent phenomena in robot problem solving. Zbl 0366.68062
Stepankova, Olga; Havel, Ivan M.
4
1977
GUHA - the method of systematical hypotheses searching. Zbl 0316.68049
Hajek, Petr; Havel, Ivan; Chytil, Metodej
3
1966
Scale dimensions in nature. Zbl 0845.92025
Havel, Ivan M.
3
1996
On multiple finite automata. Zbl 0174.03304
Čulik, Karel; Havel, I.
3
1967
On distance monotone graphs. Zbl 0721.05016
Havel, I.; Laborde, J.-M.
2
1988
On the branching structure of languages. Zbl 0338.68060
Havel, Ivan M.
2
1976
A stochastic approach to robot plan formation. Zbl 0388.68084
Havel, Ivan M.; Kramosil, Ivan
2
1978
On paths and cycles dominating hypercubes. Zbl 1012.05122
Dvořák, Tomáš; Havel, Ivan; Mollard, Michel
2
2003
Spherical and clockwise spherical graphs. Zbl 1021.05085
Berrachedi, Abdelhafid; Havel, Ivan; Mulder, Henry Martyn
2
2003
The theory of regular events. I. Zbl 0181.31102
Havel, I. M.
1
1969
Sixty years of cybernetics: cybernetics still alive. Zbl 1154.01305
Havel, I. M.
1
2008
Embedding the directed dichotomic tree into the n-cube. Zbl 0519.05024
Havel, Ivan
1
1982
Routing permutations in the hypercube. Zbl 0952.68003
Baudon, Olivier; Fertin, Guillaume; Havel, Ivan
1
1999
Domination in \(n\)-cubes with diagonals. Zbl 0939.05062
Havel, Ivan
1
1998
Routing permutations and 2-1 routing requests in the hypercube. Zbl 0983.68018
Baudon, Olivier; Fertin, Guillaume; Havel, Ivan
1
2001
Finite branching automata: Automata theory motivated by problem solving. Zbl 0306.68039
Havel, Ivan M.
1
1975
Embedding certain trees into cubes. Zbl 0326.05102
Havel, Ivan
1
1975
Nondeterministically recognizable sets of languages. Zbl 0328.68049
Havel, Ivan M.
1
1975
A note on one-sided context-sensitive grammars. Zbl 0169.01402
Havel, I.
1
1969
Regular expressions over generalized alphabet and design of logical nets. Zbl 0169.31504
Havel, Ivan M.
1
1968
Sixty years of cybernetics: cybernetics still alive. Zbl 1154.01305
Havel, I. M.
1
2008
On paths and cycles dominating hypercubes. Zbl 1012.05122
Dvořák, Tomáš; Havel, Ivan; Mollard, Michel
2
2003
Spherical and clockwise spherical graphs. Zbl 1021.05085
Berrachedi, Abdelhafid; Havel, Ivan; Mulder, Henry Martyn
2
2003
Routing permutations and 2-1 routing requests in the hypercube. Zbl 0983.68018
Baudon, Olivier; Fertin, Guillaume; Havel, Ivan
1
2001
Routing permutations in the hypercube. Zbl 0952.68003
Baudon, Olivier; Fertin, Guillaume; Havel, Ivan
1
1999
Domination in \(n\)-cubes with diagonals. Zbl 0939.05062
Havel, Ivan
1
1998
Spanning caterpillars of a hypercube. Zbl 0865.05034
Dvořák, Tomáš; Havel, Ivan; Laborde, Jean-Marie; Mollard, Michel
6
1997
The diameter of the cube-connected cycles. Zbl 1337.68204
Friš, Ivan; Havel, Ivan; Liebl, Petr
5
1997
Scale dimensions in nature. Zbl 0845.92025
Havel, Ivan M.
3
1996
Distance monotone graphs and a new characterization of hypercubes. Zbl 0768.05033
Burosch, Gustav; Havel, Ivan; Laborde, Jean-Marie
5
1992
Generalized hypercubes and graph embedding with dilation. Zbl 0719.05036
Dvořák, Tomáš; Havel, Ivan; Laborde, Jean-Marie; Liebl, Petr
10
1990
On certain trees in hypercubes. Zbl 0743.05016
Havel, I.
7
1990
On distance monotone graphs. Zbl 0721.05016
Havel, I.; Laborde, J.-M.
2
1988
One-legged caterpillars span hypercubes. Zbl 0589.05031
Havel, Ivan; Liebl, Petr
13
1986
On Hamiltonian circuits and spanning trees of hypercubes. Zbl 0544.05057
Havel, Ivan
25
1984
Semipaths in directed cubes. Zbl 0528.05030
Havel, Ivan
18
1983
Embedding the directed dichotomic tree into the n-cube. Zbl 0519.05024
Havel, Ivan
1
1982
On equivalence of grammars through transformation trees. Zbl 0409.68041
Harrison, Michael A.; Havel, Ivan M.; Yehudai, Amiram
18
1979
A stochastic approach to robot plan formation. Zbl 0388.68084
Havel, Ivan M.; Kramosil, Ivan
2
1978
Normal forms of deterministic grammars. Zbl 0358.68108
Geller, Matthew M.; Harrison, Michael A.; Havel, Ivan M.
5
1977
Incidental and state-dependent phenomena in robot problem solving. Zbl 0366.68062
Stepankova, Olga; Havel, Ivan M.
4
1977
A logical theory of robot problem solving. Zbl 0328.68081
Stepankova, Olga; Havel, Ivan M.
7
1976
On the branching structure of languages. Zbl 0338.68060
Havel, Ivan M.
2
1976
Finite branching automata: Automata theory motivated by problem solving. Zbl 0306.68039
Havel, Ivan M.
1
1975
Embedding certain trees into cubes. Zbl 0326.05102
Havel, Ivan
1
1975
Nondeterministically recognizable sets of languages. Zbl 0328.68049
Havel, Ivan M.
1
1975
On the parsing of deterministic languages. Zbl 0296.68084
Harrison, Michael A.; Havel, Ivan M.
26
1974
Finite branching automata. Zbl 0287.94050
Havel, Ivan M.
5
1974
Strict deterministic grammars. Zbl 0261.68036
Harrison, Michael A.; Havel, Ivan M.
41
1973
Embedding the polytomic tree into the n-cube. Zbl 0274.05101
Havel, Ivan; Liebl, Petr
5
1973
Real-time strict deterministic languages. Zbl 0267.68034
Harrison, Michael A.; Havel, Ivan M.
22
1972
B-valuations of graphs. Zbl 0247.05148
Havel, Ivan; Moravek, Jaroslav
16
1972
Embedding the dichotomic tree into the n-cube. Zbl 0229.05109
Havel, Ivan; Liebl, Petr
4
1972
On a conjecture of B. Grünbaum. Zbl 0177.26805
Havel, I.
29
1969
The theory of regular events. II. Zbl 0184.28703
Havel, I. M.
8
1969
The theory of regular events. I. Zbl 0181.31102
Havel, I. M.
1
1969
A note on one-sided context-sensitive grammars. Zbl 0169.01402
Havel, I.
1
1969
Regular expressions over generalized alphabet and design of logical nets. Zbl 0169.31504
Havel, Ivan M.
1
1968
On multiple finite automata. Zbl 0174.03304
Čulik, Karel; Havel, I.
3
1967
The GUHA method of automatic hypotheses determination. Zbl 0168.26105
Hajek, P.; Havel, I.; Chytil, M.
25
1966
GUHA - the method of systematical hypotheses searching. Zbl 0316.68049
Hajek, Petr; Havel, Ivan; Chytil, Metodej
3
1966
all top 5

Cited by 287 Authors

15 Havel, Ivan M.
8 Borodin, Oleg Veniaminovich
7 Courcelle, Bruno
7 Harrison, Michael A.
7 Nijholt, Anton
6 Dvořák, Tomáš
6 Dvořák, Zdeněk
6 Gregor, Petr
6 Hájek, Petr
6 Yu, Gexin
5 Geller, Matthew M.
5 Harary, Frank
5 Koubek, Vaclav
5 Král’, Daniel
5 Li, Xiangwen
5 Liu, Runrun
5 Thomas, Robin
5 Yehudai, Amiram
4 Berrachedi, Abdelhafid
4 Choudum, Sheshayya A.
4 Friedman, Emily P.
4 Havranek, Tomas
4 Kramosil, Ivan
4 LeWinter, Martin L.
4 Montassier, Mickaël
4 Mütze, Torsten
4 Raspaud, André
4 Sénizergues, Géraud
4 Zhang, Heping
3 Culik, Karel II
3 Gallier, Jean H.
3 Glebov, Alekseĭ Nikolaevich
3 Kutrib, Martin
3 Pittl, Jan
3 Rajasingh, Indra
3 Tomita, Etsuji
3 Truthe, Bianca
3 Wang, Fan
2 Bendova, Kamila
2 Bezrukov, Sergej L.
2 Burda, Michal
2 Burosch, Gustav
2 Caha, Rostislav
2 Castaneda, Nelson
2 Chen, Ya-Chen
2 Cohen, Rina S.
2 Dassow, Jürgen
2 Delgado, Miguel Ángel
2 Esperet, Louis
2 Gold, Arie Y.
2 Gotchev, Ivan S.
2 Holeňa, Martin
2 Indhumathi, Raman
2 Klavžar, Sandi
2 Kostochka, Aleksandr Vasil’evich
2 Kral, Jaroslav
2 Lallich, Stéphane
2 Lenca, Philippe
2 Lidický, Bernard
2 Manea, Florin
2 Mesiar, Radko
2 Milius, Stefan
2 Mollard, Michel
2 Nummenpalo, Jerri
2 Oyamaguchi, Michio
2 Pattinson, Dirk
2 Păun, Gheorghe
2 Ruiz, María Dolores
2 Sánchez, Daniel Eduardo
2 Štěpánková, Olga
2 Turunen, Esko
2 Wißmann, Thorsten
2 Wu, Baoyindureng
2 Yancey, Matthew P.
2 Yin, Yuxue
2 Zhou, Sanming
1 Abboud, Amir
1 Aïder, Méziane
1 Aksionov, V. A.
1 Aouchiche, Mustapha
1 Arockiaraj, Micheal
1 Asveld, P. R. J. P. R. J.
1 Autebert, Jean-Michel
1 Bačkurs, Artūrs
1 Baldi, Pierre
1 Bar-Yam, Yaneer
1 Bartlett, Peter L.
1 Baudon, Olivier
1 Beatty, John C.
1 Beauquier, Joffroy
1 Becker, Gordon M.
1 Ben Yahia, Sadok
1 Benda, Vaclav
1 Bhatt, Sandeep N.
1 Boasson, Luc
1 Boonyavatana, R.
1 Bordihn, Henning
1 Boudol, Gérard
1 Brešar, Boštjan
1 Buckley, Fred
...and 187 more Authors
all top 5

Cited in 55 Serials

40 Theoretical Computer Science
24 Discrete Mathematics
20 Kybernetika
19 Journal of Computer and System Sciences
16 Discrete Applied Mathematics
12 Journal of Combinatorial Theory. Series B
7 Information Processing Letters
6 European Journal of Combinatorics
5 Czechoslovak Mathematical Journal
5 Information Sciences
5 Mathematical Systems Theory
5 Graphs and Combinatorics
4 Acta Informatica
4 Computers & Mathematics with Applications
3 Journal of Combinatorial Theory. Series A
3 Journal of Graph Theory
3 RAIRO. Informatique Théorique et Applications
3 Journal of Combinatorial Optimization
3 Journal of Discrete Algorithms
2 Fuzzy Sets and Systems
2 RAIRO, Informatique Théorique
2 Theory and Decision
2 Order
2 Acta Mathematicae Applicatae Sinica. English Series
2 Mathematical and Computer Modelling
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Artificial Intelligence
1 International Journal of General Systems
1 Mathematics of Computation
1 Aplikace Matematiky
1 Journal of Computational and Applied Mathematics
1 Journal of Soviet Mathematics
1 Mathematica Slovaca
1 SIAM Journal on Computing
1 Combinatorica
1 Algorithmica
1 Information and Computation
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Designs, Codes and Cryptography
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Cybernetics and Systems Analysis
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Journal of Automata, Languages and Combinatorics
1 RAIRO. Operations Research
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Advances in Complex Systems
1 Journal of Applied Mathematics and Computing
1 Computational Intelligence
1 Discrete Optimization
1 Advances in Data Analysis and Classification. ADAC
1 Advances in Fuzzy Systems

Citations by Year