Martin Procházka

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 2

Top Topics

Finite State Machines

Regular Expressions

Top Venues

Publications

Martin Procházka
On Reducing Automata and Their Normalizations. ITAT (2022)
Radek Vodicka, Kristyna Kolarikova, Radek Vrtel, Katerina Mensikova, Petr Kanovsky, Martin Procházka
Evaluating Basic Next-Generation Sequencing Parameters in Relation to True/False Positivity Findings of Rare Variants in an Isolated Population from the Czech Republic South-Eastern Moravia Region with a High Incidence of Parkinsonism. IWBBIO (2020)
Martin Procházka, Martin Plátek
Taxonomy of Red-Automata Motivated by Error Localization. NCMA (2012)
Martin Procházka, Martin Plátek
Localization of (in)consistencies by monotone reducing automata. ITAT (2012)
Frantisek Mráz, Martin Plátek, Martin Procházka
On special forms of restarting automata. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Frantisek Mráz, Martin Plátek, Martin Procházka
Restarting Automata, Deleting and Marcus Grammars. Recent Topics in Mathematical and Computational Linguistics (2000)
Frantisek Mráz, Martin Plátek, Martin Procházka
On Special Forms of Restarting Automata. Grammars 2 (3) (1999)
Petr Jancar, Frantisek Mráz, Martin Plátek, Martin Procházka, Jörg Vogel
Deleting Automata with a Restart Operation. Developments in Language Theory (1997)
Frantisek Mráz, Martin Plátek, Martin Procházka
Deleting Automata with a Restart Operation and Marcus Grammars. Developments in Language Theory (1997)
Petr Jancar, Frantisek Mráz, Martin Plátek, Martin Procházka, Jörg Vogel
Restarting Automata, Marcus Grammars and Context-Free Languages. Developments in Language Theory (1995)