Markus Holzer

From MaRDI portal
Person:198230

Available identifiers

zbMath Open holzer.markusWikidataQ102303905 ScholiaQ102303905MaRDI QIDQ198230

List of research outcomes

PublicationDate of PublicationType
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
Decidability of Right One-Way Jumping Finite Automata2021-04-19Paper
The Ranges of Accepting State Complexities of Languages Resulting from Some Operations2021-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
Properties of right one-way jumping finite automata2020-06-30Paper
On the grammatical complexity of finite languages2020-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
On regular expression proof complexity2017-10-13Paper
Operational state complexity and decidability of jumping finite automata2017-10-13Paper
On the mother of all automata: the position automaton2017-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
https://portal.mardi4nfdi.de/entity/Q28194022016-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
Generalized Derivations with Synchronized Context-Free Grammars2012-11-02Paper
From Equivalence to Almost-Equivalence, and Beyond—Minimizing Automata with Errors2012-11-02Paper
On Inverse Operations and Their Descriptional Complexity2012-11-02Paper
State Complexity of Chop Operations on Unary and Finite Languages2012-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
Chop Operations and Expressions: Descriptional Complexity Considerations2011-07-29Paper
Nodes Connected by Path Languages2011-07-29Paper
Gaining Power by Input Operations: Finite Automata and Beyond2011-07-29Paper
Nondeterministic State Complexity of Star-Free Languages2011-07-29Paper
Decidability of operation problems for T0L languages and subclasses2011-07-27Paper
Descriptional and computational complexity of finite automata -- a survey2011-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
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton2009-07-09Paper
Short Regular Expressions from Finite Automata: Empirical Results2009-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
Deterministic Input-Reversal and Input-Revolving Finite Automata2008-11-20Paper
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems2008-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
On the average state and transition complexity of finite languages2007-12-19Paper
The size of Higman-Haines sets2007-12-19Paper
Hairpin Finite Automata2007-11-28Paper
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP2007-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
https://portal.mardi4nfdi.de/entity/Q27706752002-02-13Paper
https://portal.mardi4nfdi.de/entity/Q27706792002-02-13Paper
https://portal.mardi4nfdi.de/entity/Q27089742001-11-07Paper
Hybrid modes in cooperating distributed grammar systems: Internal versus external hybridization2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q27092252001-05-10Paper
https://portal.mardi4nfdi.de/entity/Q27089792001-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Markus Holzer