Simon Beier

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
Nondeterministic right one-way jumping finite automata Information and Computation	2022-03-14	Paper
On the descriptional complexity of operations on semilinear sets	2021-12-13	Paper
On the descriptional complexity of operations on semilinear sets (available as arXiv preprint)	2021-12-13	Paper
Decidability of right one-way jumping finite automata International Journal of Foundations of Computer Science	2021-04-19	Paper
New results on semilinear sets and variants of jumping finite automata	2020-12-02	Paper
Properties of right one-way jumping finite automata Descriptional Complexity of Formal Systems	2020-06-30	Paper
Nondeterministic right one-way jumping finite automata (extended abstract)	2020-05-12	Paper
Semi-linear lattices and right one-way jumping finite automata (extended abstract)	2020-05-06	Paper
Properties of right one-way jumping finite automata Theoretical Computer Science	2019-11-07	Paper
Diving into the queue RAIRO - Theoretical Informatics and Applications	2019-07-18	Paper
Operational state complexity and decidability of jumping finite automata International Journal of Foundations of Computer Science	2019-06-24	Paper
Decidability of right one-way jumping finite automata	2018-11-22	Paper
Operational state complexity and decidability of jumping finite automata	2017-10-13	Paper
On regular expression proof complexity	2017-10-13	Paper
An integral lift, starting in odd Khovanov homology, of Szab\'o's spectral sequence	2012-05-10	Paper
A spectral sequence in odd Khovanov homology (Eine Spektralsequenz in ungerader Khovanov-Homologie)	2011-11-09	Paper

Research outcomes over time

This page was built for person: Simon Beier