Concepedia

Ivan M. Havel

IM

15

Publications

701

Citations

13

H-Index

1966

Active since

Affiliations

University of California, Berkeley(Current)

Mathematical Institute of the Slovak Academy of Sciences

Ivan M. Havel is an author at University of California, Berkeley specializing in engineering, automated reasoning, and linguistics.

Top concepts

EngineeringAutomated ReasoningSyntaxGrammarLanguageLinguisticsFormal MethodsDiscrete MathematicsComputational LinguisticsGeometry

Publications per year

1966–1997

15

Publications

15

The GUHA method of automatic hypotheses determination

Petr Hájek, Ivan M. Havel, Michal P. Chytil · Computing · 1966 · 153 citations

Method Validation, Engineering, Statistical Foundation +4

Strict deterministic grammars

Michael A. Harrison, Ivan M. Havel · Journal of Computer and System Sciences · 1973 · 93 citations

Syntax, Engineering, Automated Reasoning +8

On the Parsing of Deterministic Languages

Ivan M. Havel, Michael A. Harrison · Journal of the ACM · 1974 · 63 citations · Full text

Syntactic Parsing, Engineering, Deterministic Languages +18

$B$-valuations of graphs

Ivan M. Havel, Jaroslav Morávek · Czechoslovak Mathematical Journal · 1972 · 58 citations · Full text

Network Science, Graph Theory, Algebraic Graph Theory +5

Real-Time Strict Deterministic Languages

Michael A. Harrison, Ivan M. Havel · SIAM Journal on Computing · 1972 · 57 citations

Engineering, Pushdown Automaton, Real-time Languages +19

Rows per page

1–5 of 15