EDBT 2026 Demo / reviewers in the wild / expert
Frantisek Mráz
dblp:38/5599
· DBLP profile ↗
46ranked-venue papers
16as first author
3since 2021 · last 2025
0000-0001-9869-3340ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 42 · 13 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 3 first-authorArtificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Locally Connected Echo State Networks for Time Series ForecastingabstractEcho State Networks (ESNs) are a class of recurrent neural networks in which only a small readout regression layer is trained, while the weights of the recurrent network, termed the reservoir, are randomly assigned and remain fixed. Our work introduces the Locally Connected ESN (LCESN), a novel ESN variant with a locally connected reservoir, forced memory, and a weight adaptation strategy. LCESN significantly reduces the asymptotic time and space complexities compared to the conventional ESN, enabling substantially larger networks. LCESN also improves the memory properties of ESNs without affecting network stability. We evaluate LCESN's performance on the NARMA10 benchmark task and compare it to state-of-the-art models on nine real-world datasets. Despite the simplicity of our model and its one-shot training approach, LCESN achieves competitive results, even surpassing several state-of-the-art models. LCESN introduces a fresh approach to real-world time series forecasting and demonstrates that large, well-tuned random recurrent networks can rival complex gradient-trained feedforward models. We provide our GPU-based implementation of LCESN as an open-source library. Filip Matzner, Frantisek Mráz |
ICLR | 2 |
| 2021 | Preface
Jorma Hirvensalo, Frantisek Mráz, Daniel Prusa |
Fundam. Informaticae | 2 |
| 2021 | Two-dimensional pattern matching against local and regular-like picture languages
Frantisek Mráz, Daniel Prusa, Michael Wehar |
Theor. Comput. Sci. | 1 |
| 2019 | On Shrinking Restarting Automata of Window Size One and Two
Frantisek Mráz, Friedrich Otto |
DLT | 1 |
| 2019 | Two-Dimensional Pattern Matching Against Basic Picture Languages
Frantisek Mráz, Daniel Prusa, Michael Wehar |
CIAA | 1 |
| 2017 | Deleting Deterministic Restarting Automata with Two Windows
Frantisek Mráz, Friedrich Otto |
DLT | 1 |
| 2017 | Regulated variants of limited context restarting automata
Friedrich Otto, Frantisek Mráz |
Theor. Comput. Sci. | 2 |
| 2016 | Two-Dimensional Limited Context Restarting AutomataabstractMotivated by possible machine learning of picture languages, we introduce a new two-dimensional automaton called two-dimensional limited context restarting automaton. Our model is a simplification of the two-dimensional restarting tiling automaton, from which it differs in that it does not require to scan input pictures in a fixed order. We show that the two-dimensional limited context restarting automaton is equally powerful as the two-dimensional sgraffito automaton. Moreover, the correctness preserving version of the new model, while still being nondeterministic, is equivalent to the deterministic sgraffito automaton. However, the property of being correctness preserving is not even semi-decidable for two-dimensional limited context restarting automata. Lukás Krtek, Frantisek Mráz |
Fundam. Informaticae | 2 |
| 2015 | Deterministic ordered restarting automata for picture languages
Friedrich Otto, Frantisek Mráz |
Acta Informatica | 2 |
| 2015 | Lambda-confluence for context rewriting systems
Friedrich Otto, Frantisek Mráz |
Theor. Comput. Sci. | 2 |
| 2014 | Extended Two-Way Ordered Restarting Automata for Picture Languages
Friedrich Otto, Frantisek Mráz |
LATA | 2 |
| 2014 | Ordered Restarting Automata for Picture Languages
Frantisek Mráz, Friedrich Otto |
SOFSEM | 1 |
| 2014 | Free Word-Order and Restarting AutomataabstractIn natural languages with a high degree of word-order freedom, syntactic phenomena like dependencies (subordinations) or valences do not depend on the word-order (or on the individual positions of the individual words). This means that some permutations of sentences of these languages are in some (important) sense syntactically equivalent. Here we study this phenomenon in a formal way. Various types of j-monotonicity for restarting automata can serve as parameters for the degree of word-order freedom and for the complexity of word-order in sentences (languages). Here we combine two types of parameters on computations of restarting automata: the degree of j-monotonicity, and the number of rewrites per cycle. We study these notions formally in order to obtain an adequate tool for modelling and comparing formal descriptions of (natural) languages with different degrees of word-order freedom and word-order complexity. Frantisek Mráz, Friedrich Otto, Martin Plátek |
Fundam. Informaticae | 1 |
| 2013 | New Results on Deterministic Sgraffito Automata
Daniel Prusa, Frantisek Mráz, Friedrich Otto |
Developments in Language Theory | 2 |
| 2013 | Lambda-Confluence Is Undecidable for Clearing Restarting Automata
Frantisek Mráz, Friedrich Otto |
CIAA | 1 |
| 2013 | Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata
Daniel Prusa, Frantisek Mráz, Friedrich Otto |
CIAA | 2 |
| 2012 | Two-Dimensional Sgraffito Automata
Daniel Prusa, Frantisek Mráz |
Developments in Language Theory | 2 |
| 2012 | Restarting Tiling Automata
Daniel Prusa, Frantisek Mráz |
CIAA | 2 |
| 2011 | Δ-Clearing Restarting Automata and CFL \makebox{\sf CFL}
Peter Cerno, Frantisek Mráz |
Developments in Language Theory | 2 |
| 2010 | On Lexicalized Well-Behaved Restarting Automata That Are Monotone
Friedrich Otto, Martin Plátek, Frantisek Mráz |
Developments in Language Theory | 3 |
| 2010 | Restarting Automata with Structured Output and Functional Generative Description
Martin Plátek, Frantisek Mráz, Markéta Lopatková |
LATA | 2 |
| 2010 | Clearing Restarting AutomataabstractRestarting automata were introduced as a model for analysis by reduction, which is a linguistically motivated method for checking correctness of a sentence. We propose a new restricted version of restarting automata called clearing restarting automat Peter Cerno, Frantisek Mráz |
Fundam. Informaticae | 2 |
| 2009 | Two-dimensional hierarchies of proper languages of lexicalized FRR-automata
Martin Plátek, Friedrich Otto, Frantisek Mráz |
Inf. Comput. | 3 |
| 2009 | The degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages
Frantisek Mráz, Friedrich Otto, Martin Plátek |
Theor. Comput. Sci. | 1 |
| 2008 | On the Complexity of 2-Monotone Restarting Automata
Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek |
Theory Comput. Syst. | 3 |
| 2007 | Free Word-Order and Restarting Automata
Frantisek Mráz, Friedrich Otto, Martin Plátek |
LATA | 1 |
| 2007 | Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata
Frantisek Mráz, Friedrich Otto, Martin Plátek |
MCU | 1 |
| 2007 | A Measure for the Degree of Nondeterminism of Context-Free Languages
Frantisek Mráz, Martin Plátek, Friedrich Otto |
CIAA | 1 |
| 2006 | On the Gap-Complexity of Simple RL-Automata
Frantisek Mráz, Friedrich Otto, Martin Plátek |
Developments in Language Theory | 1 |
| 2006 | Correctness Preservation and Complexity of Simple RL-Automata
Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek |
CIAA | 2 |
| 2006 | Degrees of non-monotonicity for restarting automata
Tomasz Jurdzinski, Frantisek Mráz, Friedrich Otto, Martin Plátek |
Theor. Comput. Sci. | 2 |
| 2006 | Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata
Frantisek Mráz, Friedrich Otto, Martin Plátek, Tomasz Jurdzinski |
Theor. Comput. Sci. | 1 |
| 2005 | Monotone Deterministic RL-Automata Don't Need Auxiliary Symbols
Tomasz Jurdzinski, Frantisek Mráz, Friedrich Otto, Martin Plátek |
Developments in Language Theory | 2 |
| 2005 | Deterministic Two-Way Restarting Automata and Marcus Contextual Grammars
Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek |
Fundam. Informaticae | 3 |
| 2004 | On the Complexity of 2-Monotone Restarting Automata
Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek |
Developments in Language Theory | 3 |
| 2004 | On Left-Monotone Deterministic Restarting Automata
Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek |
Developments in Language Theory | 3 |
| 1998 | Different Types of Monotonicity for Restarting Automata
Petr Jancar, Frantisek Mráz, Martin Plátek, Jörg Vogel 0001 |
FSTTCS | 2 |
| 1997 | Deleting Automata with a Restart Operation
Petr Jancar, Frantisek Mráz, Martin Plátek, Martin Procházka, Jörg Vogel 0001 |
Developments in Language Theory | 2 |
| 1997 | Deleting Automata with a Restart Operation and Marcus Grammars
Frantisek Mráz, Martin Plátek, Martin Procházka |
Developments in Language Theory | 1 |
| 1997 | Monotonic Rewriting Automata with a Restart Operation
Frantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel 0001 |
SOFSEM | 1 |
| 1996 | Restarting Automata with Rewriting
Frantisek Mráz, Martin Plátek, Jörg Vogel 0001 |
SOFSEM | 1 |
| 1996 | Forgetting Automata and Context-Free Languages
Petr Jancar, Frantisek Mráz, Martin Plátek |
Acta Informatica | 2 |
| 1995 | Restarting Automata, Marcus Grammars and Context-Free Languages
Petr Jancar, Frantisek Mráz, Martin Plátek, Martin Procházka, Jörg Vogel 0001 |
Developments in Language Theory | 2 |
| 1995 | Restarting Automata
Petr Jancar, Frantisek Mráz, Martin Plátek, Jörg Vogel 0001 |
FCT | 2 |
| 1993 | A Taxonomy of Forgetting Automata
Petr Jancar, Frantisek Mráz, Martin Plátek |
MFCS | 2 |
| 1992 | Characterization of Context-Free Languages by Erasing Automata
Petr Jancar, Frantisek Mráz, Martin Plátek |
MFCS | 2 |