Concepedia

Ivan Friš

IF

Statistics

Publications

5

Citations

212

H-Index

5

Active since

1968

Affiliations

University of New England(Current)

University of Waterloo

Ivan Friš is an author at University of New England specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSyntaxGrammarPhysicsGeometryLanguageEducationLinguistics

Publications per year

1968–1997

5

Publications

5

The decidability of the equivalence problem for DOL-systems

Karel Čulík, Ivan Friš · Information and Control · 1977 · 96 citations

Formal Specification, Engineering, Automated Reasoning +7

Grammars with partial ordering of the rules

Ivan Friš · Information and Control · 1968 · 46 citations

Syntax, Partial Ordering, Automated Reasoning +7

Topological transformations as a tool in the design of systolic networks

Karel Čulík, Ivan Friš · Theoretical Computer Science · 1985 · 33 citations

Network Topology, Network Science, Topological Dynamic +7

The diameter of the cube-connected cycles

Ivan Friš, Ivan M. Havel, Petr Liebl · Information Processing Letters · 1997 · 23 citations

Geometric Graph Theory, Discrete Geometry, Cube-connected Cycles +5

Weighted finite transducers in image processing

Karel Čulík, Ivan Friš · Discrete Applied Mathematics · 1995 · 14 citations

Machine Vision, Image Analysis, Engineering +9

1–5 of 5