Markus Holzer

From MaRDI portal


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 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 automata
 
2024-02-06Paper
On the complexity of intersection non-emptiness for star-free language classes
 
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 Length
 
2023-08-08Paper
On the descriptional complexity of the direct product of finite automata
 
2023-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 automata
 
2022-11-09Paper
Inductive counting below LOGSPACE
Mathematical Foundations of Computer Science 1994
2022-08-18Paper
Parallel complexity of iterated morphisms and the arithmetic of small numbers
Mathematical Foundations of Computer Science 1992
2022-08-18Paper
On 25 years of CIAA through the lens of data science
 
2022-08-16Paper
Semicomputable points in Euclidean spaces
 
2022-07-21Paper
On minimizing regular expressions without Kleene star
 
2022-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, revisited
 
2022-03-21Paper
Nondeterministic right one-way jumping finite automata
Information and Computation
2022-03-14Paper
Descriptional complexity of regular languages
 
2022-02-04Paper
Input-driven double-head pushdown automata
 
2021-12-13Paper
On the descriptional complexity of operations on semilinear sets
 
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
More structural characterizations of some subregular language families by biautomata
 
2021-06-22Paper
From finite automata to regular expressions and back -- a summary on descriptional complexity
 
2021-06-22Paper
Cooperating distributed grammar systems of finite index working in hybrid modes
 
2021-06-22Paper
Automata that may change their mind
 
2021-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 families
 
2021-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 problems
 
2021-01-20Paper
Selection via the bogo-method -- more on the analysis of perversely awful randomized algorithms
 
2020-08-11Paper
Properties of right one-way jumping finite automata
Descriptional Complexity of Formal Systems
2020-06-30Paper
On the grammatical complexity of finite languages
 
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 operation
 
2019-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 automata
 
2018-11-22Paper
On minimal grammar problems for finite languages
 
2018-11-22Paper
Computational complexity of decision problems on self-verifying finite automata
 
2018-11-22Paper
The ranges of accepting state complexities of languages resulting from some operations
 
2018-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 automata
 
2018-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 automata
 
2017-10-13Paper
On the mother of all automata: the position automaton
 
2017-10-13Paper
On regular expression proof complexity
 
2017-10-13Paper
One-time nondeterministic computations
 
2017-08-31Paper
On the number of active states in deterministic and nondeterministic finite automata
 
2017-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 automata
 
2016-12-16Paper
The degree of irreversibility in deterministic finite automata
Implementation and Application of Automata
2016-11-09Paper
Hairpin finite automata
Journal of Automata, Languages and Combinatorics
2016-09-29Paper
On measuring non-recursive trade-offs
Journal of Automata, Languages and Combinatorics
2016-09-29Paper
The chop of languages
 
2016-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
The finite index restriction meets hybrid modes in cooperating distributed grammar systems
International Journal of Foundations of Computer Science
2016-04-15Paper
From finite automata to regular expressions and back -- a summary on descriptional complexity
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
Descriptional complexity of chop operations on unary and finite languages
 
2015-03-16Paper
scientific article; zbMATH DE number 6415494 (Why is no real title available?)
 
2015-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
\(\omega \)-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
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
From equivalence to almost-equivalence, and beyond-minimizing automata with errors (extended abstract)
Developments in Language Theory
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 paths
 
2012-01-23Paper
Descriptional complexity -- an introductory survey
 
2011-12-01Paper
Computational complexity of NURIKABE
Fundamenta Informaticae
2011-11-22Paper
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
Gaining Power by Input Operations: Finite Automata and Beyond
Implementation and Application of Automata
2011-07-29Paper
Nondeterministic state complexity of star-free languages
Implementation and Application of Automata
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\log 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
A note on cooperating distributed grammar systems working in combined modes
Information Processing Letters
2010-04-19Paper
On competence in CD grammar systems with parallel rewriting
International Journal of Foundations of Computer Science
2010-01-29Paper
The influence of neighbourhood and choice on the complexity of finding pure Nash equilibria
Information Processing Letters
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
Undecidability of Operation Problems for T0L Languages and Subclasses
Language and Automata Theory and Applications
2009-04-02Paper
Descriptional and Computational Complexity of Finite Automata
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
Deterministic Input-Reversal and Input-Revolving Finite Automata
Language and Automata Theory and Applications
2008-11-20Paper
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems
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 automata
 
2008-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
Hairpin Finite Automata
Developments in Language Theory
2007-11-28Paper
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP
Developments in Language Theory
2007-11-28Paper
The Troubles of Interior Design–A Complexity Analysis of the Game Heyawake
Lecture Notes in Computer Science
2007-11-15Paper
Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms
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, revisited
 
2007-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 automata
 
2006-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 2040920 (Why is no real title available?)
 
2004-02-11Paper
scientific article; zbMATH DE number 2040919 (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 components
 
2001-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 languages
 
2001-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