Ivan M. Havel

Q: What Schools Are Affiliated With Ivan M. Havel

Ivan M. Havel is affiliated with the following schools: University of California, Berkeley, Charles University

Ivan M. Havel's AcademicInfluence.com Rankings

Ivan M. Havel

Physics

#9133

World Rank

#11499

Historical Rank

physics Degrees

Download Badge

Physics

Ivan M. Havel's Degrees

PhD Physics Charles University

Why Is Ivan M. Havel Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ivan Miloš Havel was a Czech scientist and philosopher. He was the brother of President Václav Havel, with whom he was one of the founders of the Civic Forum. In years 1990–2019, he was the editor-in-chief of Vesmír.

(See a Problem?)

Ivan M. Havel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The GUHA method of automatic hypotheses determination (1966) (121)
Strict Deterministic Grammars (1973) (93)
On Hamiltonian circuits and spanning trees of hypercubes (1984) (71)
On the Parsing of Deterministic Languages (1974) (68)
$B$-valuations of graphs (1972) (64)
Real-Time Strict Deterministic Languages (1972) (53)
On Equivalence of Grammars Through Transformation Trees (1979) (48)
Scale dimensions in nature (1996) (43)
Embedding the polytomic tree into the $n$-cube (1973) (42)
One-legged caterpillars span hypercubes (1986) (40)
On a conjecture of B. Grünbaum (1969) (34)
The Diameter of the Cube-Connected Cycles (1997) (22)
The theory of regular events. II (1969) (19)
Mathematical Foundations of Computer Science 1992 (1992) (18)
Normal forms of deterministic grammars (1976) (17)
Artificial Thought and Emergent Mind (1993) (17)
A Logical Theory of Robot Problem Solving (1976) (17)
On Certain Trees in Hypercubes (1990) (14)
Finite branching automata (1974) (14)
Spanning caterpillars of a hypercube (1997) (14)
Distance monotone graphs and a new characterization of hypercubes (1992) (12)
Living in Conceivable Worlds (1998) (9)
Artificial Intelligence and Connectionism: Some Philosophical Implications (1992) (9)
Spherical and Clockwise Spherical Graphs (2003) (8)
A stochastic approach to robot plan formation (1978) (7)
GUHA - the method of systematical hypotheses searching (1966) (6)
On the Branching Structure of Languages (1976) (6)
On the Way to Intelligence Singularity (2013) (6)
Routing permutations and 2-1 routing requests in the hypercube (2001) (6)
Incidental and state-dependent phenomena in robot problem solving (1976) (5)
Weak complexity measures (1971) (5)
Finite Branching Automata: Automata Theory Motivated by Problem Solving (1974) (5)
On paths and cycles dominating hypercubes (2003) (5)
Nondterministically Recognizable Sets of Languages (1975) (4)
Euler cycles in the complete graph K2m+1 (1997) (4)
The theory of regular events. I (1969) (4)
Automata theory motivated by problem solving (1974) (4)
On a Family of Deterministic Grammars (Extended Abstract) (1972) (4)
Embedding graphs in undirected and directed cubes (1983) (3)
The GUHA method of systematical hypotheses searching. II (1967) (3)
Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science (1992) (3)
A note on one-sided context-sensitive grammars (1969) (3)
Some Results Concerning the Situation Calculus (1973) (3)
On maximal matchings in $Q_6$ and a conjecture of R. Forcade (1982) (2)
a Structure of Experienced Time (2005) (2)
Pruning Procedure For Incomplete-Observation Diagnostic Model Simplification (2007) (2)
On Two Types of Loops (1979) (2)
Routing Permutations in the Hypercube (1999) (2)
Sixty years of cybernetics: cybernetics still alive (2008) (2)
Regular expressions over generalized alphabet and design of logical nets (1968) (1)
On Multiple Finite Automata (1967) (1)
The concept of indirectness in artificial intelligence (1972) (1)
On 2-periodic graphs of a certain graph operator (2001) (1)
Component diagnosability via directional resolution (2006) (1)
Highly Specific Spectrophotometric Method for Palladium(II)Determination with3-(5'-Tetrazolylazo)-2,6-Diaminotolueneinthe Presence ofCHlorides. (1994) (1)
On Branching and Looping, Part I (1980) (1)
Uniqueness of episodic experience (2009) (1)
On the Modification of Normal Algorithms of Markov (1967) (1)
Conversations across the Prison Wall: Islands of Freedom and the Dawn of Democracy (2017) (0)
On edge domatic number of hypercubes (2002) (0)
Euler Cycles in K2m Plus Perfect Matching (1999) (0)
Artifical Intelligence: A Lesson in Human Self-Understanding (1986) (0)
The Truth-Reaction Paradox: A Probe of Artificial Intelligence (1982) (0)
Cybernetics Still Alive (2008) (0)
On the occasion of the 60th birthday of Miroslav Fiedler, Corresponding Member of the Czech Academy of Sciences (1986) (0)
Obituary of Jaroslav Morávek (1987) (0)
Applicability of a mathematico-logical method of automatic searching for general unary hypotheses (GUHA) in studying the postcruciate-coronal complex in the cat. (1968) (0)
Seeing Numbers (2009) (0)
On Branching and Looping, Part II (1980) (0)
Cybernetics Still Alive 08 u (2008) (0)
Interview with ivan havel: science in eastern europe. (1990) (0)
Component Group Diagnosability Via Directional Resolution (2009) (0)
On the problem of the uniqueness of coding (1968) (0)
[General Unary Hypotheses Automaton-method for automatic retrieval of scientific hypotheses]. (1967) (0)
Mathematical Foundations of Computer Science 1992: 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings (1992) (0)

This paper list is powered by the following services:

Other Resources About Ivan M. Havel

What Schools Are Affiliated With Ivan M. Havel?

Ivan M. Havel is affiliated with the following schools:

Ivan M. Havel's Academic­Influence.com Rankings