Ivan M. Havel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1972–1993
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | IJCAI | Artificial Thought and Emergent Mind. | Ivan M. Havel |
| 1982 | ECAI | The Truth-Reaction Paradox: A Probe of Artificial Intelligence. | Ivan M. Havel |
| 1979 | MFCS | On Two Types of Loops. | Ivan M. Havel |
| 1976 | ECAI | Incidental and State-Dependent Phenomena in Robot Problem Solving. | Olga Stepnkov, Ivan M. Havel |
| 1976 | MFCS | On the Branching Structure of Languages. | Ivan M. Havel |
| 1975 | MFCS | Nondterministically Recognizable Sets of Languages. | Ivan M. Havel |
| 1974 | MFCS | Finite Branching Automata: Automata Theory Motivated by Problem Solving. | Ivan M. Havel |
| 1973 | MFCS | Some Results Concerning the Situation Calculus. | Olga Stepnkov, Ivan M. Havel |
| 1972 | ICALP | On a Family of Deterministic Grammars (Extended Abstract). | Michael A. Harrison, Ivan M. Havel |