Markus Holzer

From MaRDI portal
Person:198230

Available identifiers

zbMath Open holzer.markusDBLPh/MarkusHolzer1WikidataQ102303905 ScholiaQ102303905MaRDI QIDQ198230

List of research outcomes





PublicationDate of PublicationType
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 performance2024-10-08Paper
On Minimal Pumping Constants for Regular Languages2024-04-09Paper
The pumping lemma for regular languages is hard2024-02-28Paper
https://portal.mardi4nfdi.de/entity/Q61904412024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q61870482024-02-05Paper
On the accepting state complexity of operations on permutation automata2024-02-02Paper
Computational complexity of reversible reaction systems2024-01-11Paper
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case2023-11-24Paper
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods2023-09-08Paper
On Jaffe's pumping lemma, revisited2023-08-17Paper
Input-Driven Double-Head Pushdown Automata2023-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 method2022-11-29Paper
More on the descriptional complexity of products of finite automata2022-11-09Paper
Parallel complexity of iterated morphisms and the arithmetic of small numbers2022-08-18Paper
Inductive counting below logspace2022-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 automata2022-03-14Paper
Descriptional complexity of regular languages2022-02-04Paper
https://portal.mardi4nfdi.de/entity/Q50163572021-12-13Paper
https://portal.mardi4nfdi.de/entity/Q50163642021-12-13Paper
Two-Sided Strictly Locally Testable Languages2021-11-15Paper
On the number of active states in finite automata2021-07-23Paper
https://portal.mardi4nfdi.de/entity/Q49949332021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q49949482021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q49949502021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q49881622021-05-12Paper
The Ranges of Accepting State Complexities of Languages Resulting from Some Operations2021-04-19Paper
Decidability of Right One-Way Jumping Finite Automata2021-04-19Paper
https://portal.mardi4nfdi.de/entity/Q49640152021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q51465242021-01-26Paper
https://portal.mardi4nfdi.de/entity/Q51451522021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q33010122020-08-11Paper
On the grammatical complexity of finite languages2020-06-30Paper
Properties of right one-way jumping finite automata2020-06-30Paper
Nondeterministic right one-way jumping finite automata (extended abstract)2020-05-12Paper
Non-recursive trade-offs are ``almost everywhere2020-05-12Paper
Semi-linear lattices and right one-way jumping finite automata (extended abstract)2020-05-06Paper
One-Time Nondeterministic Computations2019-12-10Paper
The range of state complexities of languages resulting from the cut operation2019-12-04Paper
Properties of right one-way jumping finite automata2019-11-07Paper
A mesh of automata2019-09-17Paper
On bonded sequential and parallel insertion systems2019-07-18Paper
Operational State Complexity and Decidability of Jumping Finite Automata2019-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 Families2018-09-20Paper
Minimal Reversible Deterministic Finite Automata2018-05-15Paper
On the computational complexity of problems related to distinguishability sets2018-03-21Paper
Reversible nondeterministic finite automata2018-03-16Paper
The Degree of Irreversibility in Deterministic Finite Automata2018-02-22Paper
Tight Bounds for Cut-Operations on Deterministic Finite Automata*2018-01-19Paper
On the Computational Complexity of Partial Word Automata Problems2017-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 Machines2017-06-20Paper
More on deterministic and nondeterministic finite cover automata2017-06-19Paper
The chop of languages2017-06-15Paper
https://portal.mardi4nfdi.de/entity/Q55070632016-12-16Paper
The Degree of Irreversibility in Deterministic Finite Automata2016-11-09Paper
On measuring non-recursive trade-offs2016-09-29Paper
Hairpin finite automata2016-09-29Paper
https://portal.mardi4nfdi.de/entity/Q57404212016-07-26Paper
Minimal and hyper-minimal biautomata2016-06-23Paper
On a hierarchy of languages generated by cooperating distributed grammar systems2016-06-16Paper
Minimization and characterizations for biautomata2016-05-11Paper
From finite automata to regular expressions and back -- a summary on descriptional complexity2016-04-15Paper
The finite index restriction meets hybrid modes in cooperating distributed grammar systems2016-04-15Paper
Reversible Shrinking Two-Pushdown Automata2016-04-13Paper
Boundary sets of regular and context-free languages2015-12-10Paper
Minimal Reversible Deterministic Finite Automata2015-11-10Paper
More on Deterministic and Nondeterministic Finite Cover Automata2015-09-23Paper
Tight Bounds for Cut-Operations on Deterministic Finite Automata2015-09-15Paper
On the Computational Complexity of Problems Related to Distinguishability Sets2015-08-07Paper
https://portal.mardi4nfdi.de/entity/Q51784482015-03-16Paper
Descriptional Complexity of Chop Operations on Unary and Finite Languages.2015-03-16Paper
NONDETERMINISTIC BIAUTOMATA AND THEIR DESCRIPTIONAL COMPLEXITY2015-02-09Paper
Minimal and Hyper-Minimal Biautomata2014-10-14Paper
Boundary Sets of Regular and Context-Free Languages2014-08-07Paper
FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS2014-08-04Paper
PROVABLY SHORTER REGULAR EXPRESSIONS FROM FINITE AUTOMATA2014-07-04Paper
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy2014-03-31Paper
Nondeterministic Biautomata and Their Descriptional Complexity2013-08-09Paper
Brzozowski’s Minimization Algorithm—More Robust than Expected2013-08-07Paper
From Equivalence to Almost-Equivalence, and Beyond—Minimizing Automata with Errors2012-11-02Paper
Generalized Derivations with Synchronized Context-Free Grammars2012-11-02Paper
State Complexity of Chop Operations on Unary and Finite Languages2012-11-02Paper
On Inverse Operations and Their Descriptional Complexity2012-11-02Paper
A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems2012-11-01Paper
Input-Driven Stack Automata2012-09-21Paper
The magic number problem for subregular language families2012-08-30Paper
The complexity of regular(-like) expressions2012-08-29Paper
Nondeterministic state complexity of star-free languages2012-08-09Paper
https://portal.mardi4nfdi.de/entity/Q31137412012-01-23Paper
https://portal.mardi4nfdi.de/entity/Q31021442011-12-01Paper
Computational Complexity of NURIKABE2011-11-22Paper
Nondeterministic State Complexity of Star-Free Languages2011-07-29Paper
Gaining Power by Input Operations: Finite Automata and Beyond2011-07-29Paper
Chop Operations and Expressions: Descriptional Complexity Considerations2011-07-29Paper
Nodes Connected by Path Languages2011-07-29Paper
Descriptional and computational complexity of finite automata -- a survey2011-07-27Paper
Decidability of operation problems for T0L languages and subclasses2011-07-27Paper
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence2011-06-24Paper
Equilibria of graphical games with symmetries2011-02-21Paper
On the size of inverse semigroups given by generators2011-02-21Paper
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction2011-01-21Paper
Complexity of multi-head finite automata: origins and directions2011-01-10Paper
An \(n\log n\) algorithm for hyper-minimizing a (minimized) deterministic automaton2010-10-07Paper
The Complexity of Regular(-Like) Expressions2010-08-31Paper
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata2010-08-31Paper
Automata that take advice2010-06-17Paper
Extending regular expressions with homomorphic replacement2010-06-07Paper
A note on cooperating distributed grammar systems working in combined modes2010-04-19Paper
The influence of neighbourhood and choice on the complexity of finding pure Nash equilibria2010-01-29Paper
ON COMPETENCE IN CD GRAMMAR SYSTEMS WITH PARALLEL REWRITING2010-01-29Paper
On input-revolving deterministic and nondeterministic finite automata2009-11-27Paper
https://portal.mardi4nfdi.de/entity/Q33960032009-09-15Paper
On the uniqueness of shuffle on words and finite languages2009-09-10Paper
NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY2009-08-21Paper
Determination of finite automata accepting subregular languages2009-08-07Paper
Language operations with regular expressions of polynomial size2009-08-07Paper
Short Regular Expressions from Finite Automata: Empirical Results2009-07-09Paper
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton2009-07-09Paper
Tight Bounds on the Descriptional Complexity of Regular Expressions2009-07-07Paper
More on the Size of Higman-Haines Sets: Effective Constructions2009-06-23Paper
Descriptional and Computational Complexity of Finite Automata2009-04-02Paper
Undecidability of Operation Problems for T0L Languages and Subclasses2009-04-02Paper
Finding Lower Bounds for Nondeterministic State Complexity Is Hard2009-03-26Paper
More on the Size of Higman-Haines Sets: Effective Constructions2009-03-05Paper
Symmetries and the complexity of pure Nash equilibrium2009-03-02Paper
Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity2009-02-12Paper
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems2008-11-20Paper
Deterministic Input-Reversal and Input-Revolving Finite Automata2008-11-20Paper
Provably Shorter Regular Expressions from Deterministic Finite Automata2008-10-30Paper
Finite Automata, Digraph Connectivity, and Regular Expression Size2008-08-19Paper
https://portal.mardi4nfdi.de/entity/Q35171042008-08-12Paper
HYBRID EXTENDED FINITE AUTOMATA2008-05-20Paper
The complexity of tensor circuit evaluation2008-02-22Paper
The size of Higman-Haines sets2007-12-19Paper
On the average state and transition complexity of finite languages2007-12-19Paper
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP2007-11-28Paper
Hairpin Finite Automata2007-11-28Paper
Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms2007-11-15Paper
The Troubles of Interior Design–A Complexity Analysis of the Game Heyawake2007-11-15Paper
https://portal.mardi4nfdi.de/entity/Q54222292007-10-17Paper
Hybrid Extended Finite Automata2007-09-06Paper
Symmetries and the Complexity of Pure Nash Equilibrium2007-09-03Paper
https://portal.mardi4nfdi.de/entity/Q34312342007-04-10Paper
https://portal.mardi4nfdi.de/entity/Q34160942007-01-19Paper
Iterated sequential transducers as language generating devices2007-01-09Paper
Programmed grammars and their relation to the LBA problem2006-11-27Paper
Fundamentals of Computation Theory2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q54860022006-09-06Paper
Developments in Language Theory2006-06-23Paper
Developments in Language Theory2006-06-23Paper
CD grammar systems with competence based entry conditions in their cooperation protocols2006-05-22Paper
Developments in Language Theory2005-12-22Paper
Developments in Language Theory2005-12-22Paper
Machines, Computations, and Universality2005-12-08Paper
A common algebraic description for probabilistic and quantum computations2005-12-06Paper
NONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGES2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q53137832005-09-01Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
Implementation and Application of Automata2005-08-17Paper
LANGUAGE FAMILIES DEFINED BY A CILIATE BIO-OPERATION: HIERARCHIES AND DECISION PROBLEMS2005-08-03Paper
https://portal.mardi4nfdi.de/entity/Q30222932005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q46628322005-03-30Paper
TANTRIX\(^{\text{TM}}\) rotation puzzles are intractable2005-02-23Paper
On the descriptional complexity of finite automata with modified acceptance conditions2005-02-22Paper
On deterministic finite automata and syntactic monoid size2005-01-11Paper
Assembling molecules in ATOMIX is hard2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q47379212004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44653342004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44584892004-03-18Paper
https://portal.mardi4nfdi.de/entity/Q44532012004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44520752004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44520762004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44491982004-02-08Paper
The complexity of tensor calculus2003-11-17Paper
McNaughton families of languages.2003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44186102003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44125772003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44121082003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q44121172003-07-13Paper
Alternating and empty alternating auxiliary stack automata.2003-05-25Paper
Hybrid modes in cooperating distributed grammar systems: Combining the \(t\)-mode with the modes \(\leqslant k\) and \(=k\)2003-05-25Paper
https://portal.mardi4nfdi.de/entity/Q47931272003-02-18Paper
https://portal.mardi4nfdi.de/entity/Q47791432002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q45363772002-11-04Paper
Multi-head finite automata: Data-independent versus data-dependent computations2002-08-13Paper
https://portal.mardi4nfdi.de/entity/Q45313702002-05-29Paper
Bidirectional cooperating distributed grammar systems2002-02-13Paper
A generalization of the flip-flop lemma2002-02-13Paper
Cooperating distributed grammar systems with non-terminating components2001-11-07Paper
Hybrid modes in cooperating distributed grammar systems: Internal versus external hybridization2001-08-20Paper
Grammar systems with negated conditions in their cooperation protocols2001-05-10Paper
On fixed and general membership for external and internal contextual languages2001-04-04Paper
https://portal.mardi4nfdi.de/entity/Q47626362001-02-22Paper
https://portal.mardi4nfdi.de/entity/Q45313732001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q46993062000-08-14Paper
https://portal.mardi4nfdi.de/entity/Q49391952000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q49392022000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q42261881999-01-24Paper
Expressing uniformity via oracles1997-07-28Paper
https://portal.mardi4nfdi.de/entity/Q43321571997-05-25Paper
Inductive counting for width-restricted branching programs1997-03-06Paper
https://portal.mardi4nfdi.de/entity/Q48867951996-10-15Paper
https://portal.mardi4nfdi.de/entity/Q42842501994-08-31Paper

Research outcomes over time

This page was built for person: Markus Holzer