Concepedia

František Mráz

FM

Statistics

Publications

11

Citations

248

H-Index

10

Active since

1995

Affiliations

Charles University(Current)

University of Kassel

František Mráz is an author at Charles University specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1995–2015

11

Publications

11

On Monotonic Automata with a Restart Operation

Peter Jančar, František Mráz, Martin Plátek et al. · 1999 · 78 citations · Full text

Calculating the exact bounds of optimal valuesin LP with interval coefficients

František Mráz · Annals of Operations Research · 1998 · 53 citations

Lookahead Hierarchies of Restarting Automata

František Mráz · 2001 · 26 citations · Full text

, , +16

Clearing Restarting Automata

Peter Černo, František Mráz · Fundamenta Informaticae · 2010 · 14 citations

, , +19

Restarting Automata, Marcus Grammars and Context-Free Languages.

Petr Jančar, František Mráz, Martin Plátek et al. · Developments in Language Theory · 1995 · 13 citations

, , +7

1–5 of 11