Vojtěch Vorel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Lower Bounds on Avoiding Thresholds	2023-08-08	Paper
Subset synchronization of transitive automata	2021-06-22	Paper
A new lower bound for reset threshold of binary synchronizing automata with sink (available as arXiv preprint)	2020-01-15	Paper
Complexity of road coloring with prescribed reset words Journal of Computer and System Sciences	2019-06-25	Paper
A lower bound on CNF encodings of the at-most-one constraint Theoretical Computer Science	2019-02-28	Paper
On basic properties of jumping finite automata International Journal of Foundations of Computer Science	2018-05-14	Paper
Two results on discontinuous input processing	2018-03-29	Paper
A lower bound on CNF encodings of the at-most-one constraint Lecture Notes in Computer Science	2017-11-15	Paper
Characterization and complexity results on jumping finite automata Theoretical Computer Science	2017-06-19	Paper
Complexity of a problem concerning reset words for Eulerian binary automata Information and Computation	2017-03-16	Paper
Subset synchronization and careful synchronization of binary finite automata International Journal of Foundations of Computer Science	2016-11-18	Paper
Two results on discontinuous input processing Descriptional Complexity of Formal Systems	2016-11-09	Paper
An extremal series of Eulerian synchronizing automata Developments in Language Theory	2016-08-30	Paper
Complexity of road coloring with prescribed reset words Lecture Notes in Computer Science	2016-04-08	Paper
Parameterized complexity of synchronization and road coloring (available as arXiv preprint)	2015-04-30	Paper
Parameterized complexity of synchronization and road coloring	2015-04-30	Paper
Complexity of a problem concerning reset words for Eulerian binary automata Language and Automata Theory and Applications	2014-03-31	Paper

Research outcomes over time

This page was built for person: Vojtěch Vorel