Markus Holzer

From MaRDI portal
(Redirected from Person:198230)



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!

PublicationDate of PublicationType
On Jaffe's pumping lemma, revisited
Information and Computation
2026-03-20Paper
The pumping lemma for regular languages is hard
International Journal of Foundations of Computer Science
2026-02-17Paper
More on language families with a decidable pumping-problem (extended abstract)2026-02-10Paper
On pumping constants and smallest grammars for context-free languages2026-01-08Paper
On the complexity of rolling block, colour, and Alice mazes
Journal of Automata, Languages and Combinatorics
2025-11-01Paper
On switching finite state automata2025-04-15Paper
The pumping lemma for context-free languages is undecidable2025-01-31Paper
On pumping preserving homomorphisms and the complexity of the pumping problem (extended abstract)2025-01-20Paper
Development of a central-moment phase-field lattice Boltzmann model for thermocapillary flows: droplet capture and computational performance
Journal of Computational Physics
2024-10-08Paper
On Minimal Pumping Constants for Regular Languages
Electronic Proceedings in Theoretical Computer Science
2024-04-09Paper
The pumping lemma for regular languages is hard
Implementation and Application of Automata
2024-02-28Paper
On the accepting state complexity of operations on permutation automata2024-02-06Paper
On the complexity of intersection non-emptiness for star-free language classes
(available as arXiv preprint)
2024-02-05Paper
On the accepting state complexity of operations on permutation automata
RAIRO - Theoretical Informatics and Applications
2024-02-02Paper
Computational complexity of reversible reaction systems
Reversible Computation
2024-01-11Paper
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case
International Journal of Foundations of Computer Science
2023-11-24Paper
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods
SIAM Journal on Scientific Computing
2023-09-08Paper
On Jaffe's pumping lemma, revisited
Descriptional Complexity of Formal Systems
2023-08-17Paper
Input-Driven Double-Head Pushdown Automata
International Journal of Foundations of Computer Science
2023-08-15Paper
Optimal Regular Expressions for Palindromes of Given Length2023-08-08Paper
On the descriptional complexity of the direct product of finite automata2023-01-18Paper
Comparison of free-surface and conservative Allen-Cahn phase-field lattice Boltzmann method
Journal of Computational Physics
2022-11-29Paper
More on the descriptional complexity of products of finite automata2022-11-09Paper
Parallel complexity of iterated morphisms and the arithmetic of small numbers
Mathematical Foundations of Computer Science 1992
2022-08-18Paper
Inductive counting below LOGSPACE
Mathematical Foundations of Computer Science 1994
2022-08-18Paper
On 25 years of CIAA through the lens of data science2022-08-16Paper
Semicomputable points in Euclidean spaces2022-07-21Paper
On minimizing regular expressions without Kleene star2022-05-20Paper
The range of state complexities of languages resulting from the cascade product -- the general case (extended abstract)2022-03-25Paper
The range of state complexities of languages resulting from the cascade product -- the unary case (extended abstract)2022-03-22Paper
On the computational complexity of reaction systems, revisited2022-03-21Paper
Nondeterministic right one-way jumping finite automata
Information and Computation
2022-03-14Paper
Descriptional complexity of regular languages2022-02-04Paper
On the descriptional complexity of operations on semilinear sets2021-12-13Paper
On the descriptional complexity of operations on semilinear sets
(available as arXiv preprint)
2021-12-13Paper
Input-driven double-head pushdown automata2021-12-13Paper
Input-driven double-head pushdown automata
(available as arXiv preprint)
2021-12-13Paper
Two-Sided Strictly Locally Testable Languages
Fundamenta Informaticae
2021-11-15Paper
On the number of active states in finite automata
Acta Informatica
2021-07-23Paper
From finite automata to regular expressions and back -- a summary on descriptional complexity2021-06-22Paper
Cooperating distributed grammar systems of finite index working in hybrid modes2021-06-22Paper
Cooperating distributed grammar systems of finite index working in hybrid modes
(available as arXiv preprint)
2021-06-22Paper
More structural characterizations of some subregular language families by biautomata2021-06-22Paper
More structural characterizations of some subregular language families by biautomata
(available as arXiv preprint)
2021-06-22Paper
Automata that may change their mind2021-05-12Paper
The ranges of accepting state complexities of languages resulting from some operations
International Journal of Foundations of Computer Science
2021-04-19Paper
Decidability of right one-way jumping finite automata
International Journal of Foundations of Computer Science
2021-04-19Paper
The magic number problem for subregular language families2021-02-24Paper
scientific article; zbMATH DE number 7301306 (Why is no real title available?)2021-01-26Paper
Multi-head finite automata: characterizations, concepts and open problems2021-01-20Paper
Multi-head finite automata: characterizations, concepts and open problems
(available as arXiv preprint)
2021-01-20Paper
Selection via the bogo-method -- more on the analysis of perversely awful randomized algorithms2020-08-11Paper
On the grammatical complexity of finite languages2020-06-30Paper
Properties of right one-way jumping finite automata
Descriptional Complexity of Formal Systems
2020-06-30Paper
Nondeterministic right one-way jumping finite automata (extended abstract)2020-05-12Paper
Non-recursive trade-offs are ``almost everywhere''2020-05-12Paper
Semi-linear lattices and right one-way jumping finite automata (extended abstract)2020-05-06Paper
One-time nondeterministic computations
International Journal of Foundations of Computer Science
2019-12-10Paper
The range of state complexities of languages resulting from the cut operation2019-12-04Paper
Properties of right one-way jumping finite automata
Theoretical Computer Science
2019-11-07Paper
A mesh of automata
Information and Computation
2019-09-17Paper
On bonded sequential and parallel insertion systems
RAIRO - Theoretical Informatics and Applications
2019-07-18Paper
Operational state complexity and decidability of jumping finite automata
International Journal of Foundations of Computer Science
2019-06-24Paper
Decidability of right one-way jumping finite automata2018-11-22Paper
On minimal grammar problems for finite languages2018-11-22Paper
Computational complexity of decision problems on self-verifying finite automata2018-11-22Paper
The ranges of accepting state complexities of languages resulting from some operations2018-11-07Paper
Structure and Complexity of Some Subregular Language Families
The Role of Theory in Computer Science
2018-09-20Paper
Minimal reversible deterministic finite automata
International Journal of Foundations of Computer Science
2018-05-15Paper
On the computational complexity of problems related to distinguishability sets
Information and Computation
2018-03-21Paper
Reversible nondeterministic finite automata2018-03-16Paper
The degree of irreversibility in deterministic finite automata
International Journal of Foundations of Computer Science
2018-02-22Paper
Tight bounds for cut-operations on deterministic finite automata
Fundamenta Informaticae
2018-01-19Paper
On the Computational Complexity of Partial Word Automata Problems
Fundamenta Informaticae
2017-11-09Paper
Operational state complexity and decidability of jumping finite automata2017-10-13Paper
On the mother of all automata: the position automaton2017-10-13Paper
On regular expression proof complexity2017-10-13Paper
One-time nondeterministic computations2017-08-31Paper
On the number of active states in deterministic and nondeterministic finite automata2017-08-22Paper
More on Minimizing Finite Automata with Errors — Nondeterministic Machines
International Journal of Foundations of Computer Science
2017-06-20Paper
More on deterministic and nondeterministic finite cover automata
Theoretical Computer Science
2017-06-19Paper
The chop of languages
Theoretical Computer Science
2017-06-15Paper
Self-assembling pushdown automata2016-12-16Paper
The degree of irreversibility in deterministic finite automata
Implementation and Application of Automata
2016-11-09Paper
On measuring non-recursive trade-offs
Journal of Automata, Languages and Combinatorics
2016-09-29Paper
Hairpin finite automata
Journal of Automata, Languages and Combinatorics
2016-09-29Paper
The chop of languages2016-07-26Paper
Minimal and hyper-minimal biautomata
International Journal of Foundations of Computer Science
2016-06-23Paper
On a hierarchy of languages generated by cooperating distributed grammar systems
Information Processing Letters
2016-06-16Paper
Minimization and characterizations for biautomata
Fundamenta Informaticae
2016-05-11Paper
From finite automata to regular expressions and back -- a summary on descriptional complexity
International Journal of Foundations of Computer Science
2016-04-15Paper
The finite index restriction meets hybrid modes in cooperating distributed grammar systems
International Journal of Foundations of Computer Science
2016-04-15Paper
Reversible shrinking two-pushdown automata
Language and Automata Theory and Applications
2016-04-13Paper
Boundary sets of regular and context-free languages
Theoretical Computer Science
2015-12-10Paper
Minimal reversible deterministic finite automata
Developments in Language Theory
2015-11-10Paper
More on deterministic and nondeterministic finite cover automata (extended abstract)
Implementation and Application of Automata
2015-09-23Paper
Tight bounds for cut-operations on deterministic finite automata
Lecture Notes in Computer Science
2015-09-15Paper
On the computational complexity of problems related to distinguishability sets
Descriptional Complexity of Formal Systems
2015-08-07Paper
scientific article; zbMATH DE number 6415494 (Why is no real title available?)2015-03-16Paper
Descriptional complexity of chop operations on unary and finite languages2015-03-16Paper
Nondeterministic biautomata and their descriptional complexity
International Journal of Foundations of Computer Science
2015-02-09Paper
Minimal and hyper-minimal biautomata (extended abstract)
Developments in Language Theory
2014-10-14Paper
Boundary sets of regular and context-free languages
Descriptional Complexity of Formal Systems
2014-08-07Paper
FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS
International Journal of Foundations of Computer Science
2014-08-04Paper
Provably shorter regular expressions from finite automata
International Journal of Foundations of Computer Science
2014-07-04Paper
-rational languages: high complexity classes vs. Borel hierarchy
Language and Automata Theory and Applications
2014-03-31Paper
Nondeterministic biautomata and their descriptional complexity
Descriptional Complexity of Formal Systems
2013-08-09Paper
Brzozowski's minimization algorithm -- more robust than expected (extended abstract)
Implementation and Application of Automata
2013-08-07Paper
From equivalence to almost-equivalence, and beyond-minimizing automata with errors (extended abstract)
Developments in Language Theory
2012-11-02Paper
Generalized derivations with synchronized context-free grammars
Developments in Language Theory
2012-11-02Paper
State complexity of chop operations on unary and finite languages
Descriptional Complexity of Formal Systems
2012-11-02Paper
On inverse operations and their descriptional complexity
Descriptional Complexity of Formal Systems
2012-11-02Paper
A note on combined derivation modes for cooperating distributed grammar systems
Lecture Notes in Computer Science
2012-11-01Paper
Input-driven stack automata
Lecture Notes in Computer Science
2012-09-21Paper
The magic number problem for subregular language families
International Journal of Foundations of Computer Science
2012-08-30Paper
The complexity of regular(-like) expressions
International Journal of Foundations of Computer Science
2012-08-29Paper
Nondeterministic state complexity of star-free languages
Theoretical Computer Science
2012-08-09Paper
On iterated dominance, matrix elimination, and matched paths2012-01-23Paper
Descriptional complexity -- an introductory survey2011-12-01Paper
Computational complexity of NURIKABE
Fundamenta Informaticae
2011-11-22Paper
Nondeterministic state complexity of star-free languages
Implementation and Application of Automata
2011-07-29Paper
Gaining Power by Input Operations: Finite Automata and Beyond
Implementation and Application of Automata
2011-07-29Paper
Chop operations and expressions: descriptional complexity considerations
Developments in Language Theory
2011-07-29Paper
Nodes connected by path languages
Developments in Language Theory
2011-07-29Paper
Descriptional and computational complexity of finite automata -- a survey
Information and Computation
2011-07-27Paper
Decidability of operation problems for T0L languages and subclasses
Information and Computation
2011-07-27Paper
Cooperating distributed grammar systems: components with nonincreasing competence
Computation, Cooperation, and Life
2011-06-24Paper
Equilibria of graphical games with symmetries
Theoretical Computer Science
2011-02-21Paper
On the size of inverse semigroups given by generators
Theoretical Computer Science
2011-02-21Paper
Cellular automata and the quest for nontrivial artificial self-reproduction
Membrane Computing
2011-01-21Paper
Complexity of multi-head finite automata: origins and directions
Theoretical Computer Science
2011-01-10Paper
An n n algorithm for hyper-minimizing a (minimized) deterministic automaton
Theoretical Computer Science
2010-10-07Paper
The complexity of regular(-like) expressions
Developments in Language Theory
2010-08-31Paper
Descriptional complexity of (un)ambiguous finite state machines and pushdown automata
Lecture Notes in Computer Science
2010-08-31Paper
Automata that take advice
Lecture Notes in Computer Science
2010-06-17Paper
Extending regular expressions with homomorphic replacement
RAIRO - Theoretical Informatics and Applications
2010-06-07Paper
Extending regular expressions with homomorphic replacement
RAIRO - Theoretical Informatics and Applications
2010-06-07Paper
A note on cooperating distributed grammar systems working in combined modes
Information Processing Letters
2010-04-19Paper
The influence of neighbourhood and choice on the complexity of finding pure Nash equilibria
Information Processing Letters
2010-01-29Paper
On competence in CD grammar systems with parallel rewriting
International Journal of Foundations of Computer Science
2010-01-29Paper
On input-revolving deterministic and nondeterministic finite automata
Information and Computation
2009-11-27Paper
scientific article; zbMATH DE number 5604119 (Why is no real title available?)2009-09-15Paper
On the uniqueness of shuffle on words and finite languages
Theoretical Computer Science
2009-09-10Paper
NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY
International Journal of Foundations of Computer Science
2009-08-21Paper
Determination of finite automata accepting subregular languages
Theoretical Computer Science
2009-08-07Paper
Language operations with regular expressions of polynomial size
Theoretical Computer Science
2009-08-07Paper
Short Regular Expressions from Finite Automata: Empirical Results
Implementation and Application of Automata
2009-07-09Paper
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton
Implementation and Application of Automata
2009-07-09Paper
Tight Bounds on the Descriptional Complexity of Regular Expressions
Developments in Language Theory
2009-07-07Paper
More on the Size of Higman-Haines Sets: Effective Constructions
Fundamenta Informaticae
2009-06-23Paper
Descriptional and Computational Complexity of Finite Automata
Language and Automata Theory and Applications
2009-04-02Paper
Undecidability of Operation Problems for T0L Languages and Subclasses
Language and Automata Theory and Applications
2009-04-02Paper
Finding Lower Bounds for Nondeterministic State Complexity Is Hard
Developments in Language Theory
2009-03-26Paper
More on the Size of Higman-Haines Sets: Effective Constructions
Lecture Notes in Computer Science
2009-03-05Paper
Symmetries and the complexity of pure Nash equilibrium
Journal of Computer and System Sciences
2009-03-02Paper
Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity
Implementation and Applications of Automata
2009-02-12Paper
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems
Language and Automata Theory and Applications
2008-11-20Paper
Deterministic Input-Reversal and Input-Revolving Finite Automata
Language and Automata Theory and Applications
2008-11-20Paper
Provably Shorter Regular Expressions from Deterministic Finite Automata
Developments in Language Theory
2008-10-30Paper
Finite Automata, Digraph Connectivity, and Regular Expression Size
Automata, Languages and Programming
2008-08-19Paper
Non-recursive trade-offs for deterministic restarting automata2008-08-12Paper
HYBRID EXTENDED FINITE AUTOMATA
International Journal of Foundations of Computer Science
2008-05-20Paper
The complexity of tensor circuit evaluation
Computational Complexity
2008-02-22Paper
The size of Higman-Haines sets
Theoretical Computer Science
2007-12-19Paper
On the average state and transition complexity of finite languages
Theoretical Computer Science
2007-12-19Paper
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP
Developments in Language Theory
2007-11-28Paper
Hairpin Finite Automata
Developments in Language Theory
2007-11-28Paper
Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms
Lecture Notes in Computer Science
2007-11-15Paper
The Troubles of Interior Design–A Complexity Analysis of the Game Heyawake
Lecture Notes in Computer Science
2007-11-15Paper
scientific article; zbMATH DE number 5201364 (Why is no real title available?)2007-10-17Paper
Hybrid Extended Finite Automata
Implementation and Application of Automata
2007-09-06Paper
Symmetries and the Complexity of Pure Nash Equilibrium
STACS 2007
2007-09-03Paper
Cooperating distributed grammar systems as models of distributed problem solving, revisited2007-04-10Paper
scientific article; zbMATH DE number 5117088 (Why is no real title available?)2007-01-19Paper
Iterated sequential transducers as language generating devices
Theoretical Computer Science
2007-01-09Paper
Programmed grammars and their relation to the LBA problem
Acta Informatica
2006-11-27Paper
Fundamentals of Computation Theory
Lecture Notes in Computer Science
2006-10-20Paper
On emptiness and counting for alternating finite automata2006-09-06Paper
Developments in Language Theory
Lecture Notes in Computer Science
2006-06-23Paper
Developments in Language Theory
Lecture Notes in Computer Science
2006-06-23Paper
CD grammar systems with competence based entry conditions in their cooperation protocols
International Journal of Computer Mathematics
2006-05-22Paper
Developments in Language Theory
Lecture Notes in Computer Science
2005-12-22Paper
Developments in Language Theory
Lecture Notes in Computer Science
2005-12-22Paper
Machines, Computations, and Universality
Lecture Notes in Computer Science
2005-12-08Paper
A common algebraic description for probabilistic and quantum computations
Theoretical Computer Science
2005-12-06Paper
NONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGES
International Journal of Foundations of Computer Science
2005-10-19Paper
scientific article; zbMATH DE number 2201358 (Why is no real title available?)2005-09-01Paper
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science
2005-08-22Paper
Implementation and Application of Automata
Lecture Notes in Computer Science
2005-08-17Paper
LANGUAGE FAMILIES DEFINED BY A CILIATE BIO-OPERATION: HIERARCHIES AND DECISION PROBLEMS
International Journal of Foundations of Computer Science
2005-08-03Paper
scientific article; zbMATH DE number 2182426 (Why is no real title available?)2005-06-23Paper
scientific article; zbMATH DE number 2150283 (Why is no real title available?)2005-03-30Paper
TANTRIX\(^{\text{TM}}\) rotation puzzles are intractable
Discrete Applied Mathematics
2005-02-23Paper
On the descriptional complexity of finite automata with modified acceptance conditions
Theoretical Computer Science
2005-02-22Paper
On deterministic finite automata and syntactic monoid size
Theoretical Computer Science
2005-01-11Paper
Assembling molecules in ATOMIX is hard
Theoretical Computer Science
2004-10-27Paper
scientific article; zbMATH DE number 2087237 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2068874 (Why is no real title available?)2004-05-27Paper
scientific article; zbMATH DE number 2060757 (Why is no real title available?)2004-03-18Paper
scientific article; zbMATH DE number 2050927 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 2040919 (Why is no real title available?)2004-02-11Paper
scientific article; zbMATH DE number 2040920 (Why is no real title available?)2004-02-11Paper
scientific article; zbMATH DE number 2038733 (Why is no real title available?)2004-02-08Paper
The complexity of tensor calculus
Computational Complexity
2003-11-17Paper
McNaughton families of languages.
Theoretical Computer Science
2003-08-17Paper
scientific article; zbMATH DE number 1962776 (Why is no real title available?)2003-08-11Paper
scientific article; zbMATH DE number 1949654 (Why is no real title available?)2003-07-15Paper
scientific article; zbMATH DE number 1948495 (Why is no real title available?)2003-07-13Paper
scientific article; zbMATH DE number 1948503 (Why is no real title available?)2003-07-13Paper
Alternating and empty alternating auxiliary stack automata.
Theoretical Computer Science
2003-05-25Paper
Hybrid modes in cooperating distributed grammar systems: Combining the \(t\)-mode with the modes \(\leqslant k\) and \(=k\)
Theoretical Computer Science
2003-05-25Paper
scientific article; zbMATH DE number 1870544 (Why is no real title available?)2003-02-18Paper
scientific article; zbMATH DE number 1834647 (Why is no real title available?)2002-11-25Paper
scientific article; zbMATH DE number 1759428 (Why is no real title available?)2002-11-04Paper
Multi-head finite automata: Data-independent versus data-dependent computations
Theoretical Computer Science
2002-08-13Paper
scientific article; zbMATH DE number 1747441 (Why is no real title available?)2002-05-29Paper
Bidirectional cooperating distributed grammar systems
Publicationes Mathematicae Debrecen
2002-02-13Paper
A generalization of the flip-flop lemma
Publicationes Mathematicae Debrecen
2002-02-13Paper
Cooperating distributed grammar systems with non-terminating components2001-11-07Paper
Hybrid modes in cooperating distributed grammar systems: Internal versus external hybridization
Theoretical Computer Science
2001-08-20Paper
Grammar systems with negated conditions in their cooperation protocols
Journal of Universal Computer Science
2001-05-10Paper
On fixed and general membership for external and internal contextual languages2001-04-04Paper
scientific article; zbMATH DE number 1569111 (Why is no real title available?)2001-02-22Paper
scientific article; zbMATH DE number 1747444 (Why is no real title available?)2001-01-01Paper
scientific article; zbMATH DE number 1361488 (Why is no real title available?)2000-08-14Paper
scientific article; zbMATH DE number 1406163 (Why is no real title available?)2000-06-04Paper
scientific article; zbMATH DE number 1406170 (Why is no real title available?)2000-02-23Paper
scientific article; zbMATH DE number 1244202 (Why is no real title available?)1999-01-24Paper
Expressing uniformity via oracles
Theory of Computing Systems
1997-07-28Paper
scientific article; zbMATH DE number 977923 (Why is no real title available?)1997-05-25Paper
Inductive counting for width-restricted branching programs
Information and Computation
1997-03-06Paper
scientific article; zbMATH DE number 907949 (Why is no real title available?)1996-10-15Paper
scientific article; zbMATH DE number 522856 (Why is no real title available?)1994-08-31Paper


Research outcomes over time


This page was built for person: Markus Holzer