Publication | Date of Publication | Type |
---|
On Minimal Pumping Constants for Regular Languages | 2024-04-09 | Paper |
The pumping lemma for regular languages is hard | 2024-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q6190441 | 2024-02-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q6187048 | 2024-02-05 | Paper |
On the accepting state complexity of operations on permutation automata | 2024-02-02 | Paper |
Computational complexity of reversible reaction systems | 2024-01-11 | Paper |
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case | 2023-11-24 | Paper |
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods | 2023-09-08 | Paper |
On Jaffe's pumping lemma, revisited | 2023-08-17 | Paper |
Input-Driven Double-Head Pushdown Automata | 2023-08-15 | Paper |
Optimal Regular Expressions for Palindromes of Given Length | 2023-08-08 | Paper |
On the descriptional complexity of the direct product of finite automata | 2023-01-18 | Paper |
Comparison of free-surface and conservative Allen-Cahn phase-field lattice Boltzmann method | 2022-11-29 | Paper |
More on the descriptional complexity of products of finite automata | 2022-11-09 | Paper |
Parallel complexity of iterated morphisms and the arithmetic of small numbers | 2022-08-18 | Paper |
Inductive counting below logspace | 2022-08-18 | Paper |
On 25 years of CIAA through the lens of data science | 2022-08-16 | Paper |
Semicomputable points in Euclidean spaces | 2022-07-21 | Paper |
On minimizing regular expressions without Kleene star | 2022-05-20 | Paper |
The range of state complexities of languages resulting from the cascade product -- the general case (extended abstract) | 2022-03-25 | Paper |
The range of state complexities of languages resulting from the cascade product -- the unary case (extended abstract) | 2022-03-22 | Paper |
On the computational complexity of reaction systems, revisited | 2022-03-21 | Paper |
Nondeterministic right one-way jumping finite automata | 2022-03-14 | Paper |
Descriptional complexity of regular languages | 2022-02-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016357 | 2021-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016364 | 2021-12-13 | Paper |
Two-Sided Strictly Locally Testable Languages | 2021-11-15 | Paper |
On the number of active states in finite automata | 2021-07-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4994933 | 2021-06-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4994948 | 2021-06-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4994950 | 2021-06-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4988162 | 2021-05-12 | Paper |
Decidability of Right One-Way Jumping Finite Automata | 2021-04-19 | Paper |
The Ranges of Accepting State Complexities of Languages Resulting from Some Operations | 2021-04-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4964015 | 2021-02-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5146524 | 2021-01-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5145152 | 2021-01-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3301012 | 2020-08-11 | Paper |
Properties of right one-way jumping finite automata | 2020-06-30 | Paper |
On the grammatical complexity of finite languages | 2020-06-30 | Paper |
Nondeterministic right one-way jumping finite automata (extended abstract) | 2020-05-12 | Paper |
Non-recursive trade-offs are ``almost everywhere | 2020-05-12 | Paper |
Semi-linear lattices and right one-way jumping finite automata (extended abstract) | 2020-05-06 | Paper |
One-Time Nondeterministic Computations | 2019-12-10 | Paper |
The range of state complexities of languages resulting from the cut operation | 2019-12-04 | Paper |
Properties of right one-way jumping finite automata | 2019-11-07 | Paper |
A mesh of automata | 2019-09-17 | Paper |
On bonded sequential and parallel insertion systems | 2019-07-18 | Paper |
Operational State Complexity and Decidability of Jumping Finite Automata | 2019-06-24 | Paper |
Decidability of right one-way jumping finite automata | 2018-11-22 | Paper |
On minimal grammar problems for finite languages | 2018-11-22 | Paper |
Computational complexity of decision problems on self-verifying finite automata | 2018-11-22 | Paper |
The ranges of accepting state complexities of languages resulting from some operations | 2018-11-07 | Paper |
Structure and Complexity of Some Subregular Language Families | 2018-09-20 | Paper |
Minimal Reversible Deterministic Finite Automata | 2018-05-15 | Paper |
On the computational complexity of problems related to distinguishability sets | 2018-03-21 | Paper |
Reversible nondeterministic finite automata | 2018-03-16 | Paper |
The Degree of Irreversibility in Deterministic Finite Automata | 2018-02-22 | Paper |
Tight Bounds for Cut-Operations on Deterministic Finite Automata* | 2018-01-19 | Paper |
On the Computational Complexity of Partial Word Automata Problems | 2017-11-09 | Paper |
On regular expression proof complexity | 2017-10-13 | Paper |
Operational state complexity and decidability of jumping finite automata | 2017-10-13 | Paper |
On the mother of all automata: the position automaton | 2017-10-13 | Paper |
One-time nondeterministic computations | 2017-08-31 | Paper |
On the number of active states in deterministic and nondeterministic finite automata | 2017-08-22 | Paper |
More on Minimizing Finite Automata with Errors — Nondeterministic Machines | 2017-06-20 | Paper |
More on deterministic and nondeterministic finite cover automata | 2017-06-19 | Paper |
The chop of languages | 2017-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5507063 | 2016-12-16 | Paper |
The Degree of Irreversibility in Deterministic Finite Automata | 2016-11-09 | Paper |
On Measuring Non-Recursive Trade-Offs | 2016-09-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2819402 | 2016-09-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5740421 | 2016-07-26 | Paper |
Minimal and Hyper-Minimal Biautomata | 2016-06-23 | Paper |
On a hierarchy of languages generated by cooperating distributed grammar systems | 2016-06-16 | Paper |
Minimization and Characterizations for Biautomata | 2016-05-11 | Paper |
From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity | 2016-04-15 | Paper |
The Finite Index Restriction Meets Hybrid Modes in Cooperating Distributed Grammar Systems | 2016-04-15 | Paper |
Reversible Shrinking Two-Pushdown Automata | 2016-04-13 | Paper |
Boundary sets of regular and context-free languages | 2015-12-10 | Paper |
Minimal Reversible Deterministic Finite Automata | 2015-11-10 | Paper |
More on Deterministic and Nondeterministic Finite Cover Automata | 2015-09-23 | Paper |
Tight Bounds for Cut-Operations on Deterministic Finite Automata | 2015-09-15 | Paper |
On the Computational Complexity of Problems Related to Distinguishability Sets | 2015-08-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q5178448 | 2015-03-16 | Paper |
Descriptional Complexity of Chop Operations on Unary and Finite Languages. | 2015-03-16 | Paper |
NONDETERMINISTIC BIAUTOMATA AND THEIR DESCRIPTIONAL COMPLEXITY | 2015-02-09 | Paper |
Minimal and Hyper-Minimal Biautomata | 2014-10-14 | Paper |
Boundary Sets of Regular and Context-Free Languages | 2014-08-07 | Paper |
FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS | 2014-08-04 | Paper |
PROVABLY SHORTER REGULAR EXPRESSIONS FROM FINITE AUTOMATA | 2014-07-04 | Paper |
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy | 2014-03-31 | Paper |
Nondeterministic Biautomata and Their Descriptional Complexity | 2013-08-09 | Paper |
Brzozowski’s Minimization Algorithm—More Robust than Expected | 2013-08-07 | Paper |
Generalized Derivations with Synchronized Context-Free Grammars | 2012-11-02 | Paper |
From Equivalence to Almost-Equivalence, and Beyond—Minimizing Automata with Errors | 2012-11-02 | Paper |
On Inverse Operations and Their Descriptional Complexity | 2012-11-02 | Paper |
State Complexity of Chop Operations on Unary and Finite Languages | 2012-11-02 | Paper |
A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems | 2012-11-01 | Paper |
Input-Driven Stack Automata | 2012-09-21 | Paper |
THE MAGIC NUMBER PROBLEM FOR SUBREGULAR LANGUAGE FAMILIES | 2012-08-30 | Paper |
THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS | 2012-08-29 | Paper |
Nondeterministic state complexity of star-free languages | 2012-08-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3113741 | 2012-01-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3102144 | 2011-12-01 | Paper |
Computational Complexity of NURIKABE | 2011-11-22 | Paper |
Chop Operations and Expressions: Descriptional Complexity Considerations | 2011-07-29 | Paper |
Nodes Connected by Path Languages | 2011-07-29 | Paper |
Gaining Power by Input Operations: Finite Automata and Beyond | 2011-07-29 | Paper |
Nondeterministic State Complexity of Star-Free Languages | 2011-07-29 | Paper |
Decidability of operation problems for T0L languages and subclasses | 2011-07-27 | Paper |
Descriptional and computational complexity of finite automata -- a survey | 2011-07-27 | Paper |
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence | 2011-06-24 | Paper |
Equilibria of graphical games with symmetries | 2011-02-21 | Paper |
On the size of inverse semigroups given by generators | 2011-02-21 | Paper |
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction | 2011-01-21 | Paper |
Complexity of multi-head finite automata: origins and directions | 2011-01-10 | Paper |
An \(n\log n\) algorithm for hyper-minimizing a (minimized) deterministic automaton | 2010-10-07 | Paper |
The Complexity of Regular(-Like) Expressions | 2010-08-31 | Paper |
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata | 2010-08-31 | Paper |
Automata that take advice | 2010-06-17 | Paper |
Extending regular expressions with homomorphic replacement | 2010-06-07 | Paper |
A note on cooperating distributed grammar systems working in combined modes | 2010-04-19 | Paper |
The influence of neighbourhood and choice on the complexity of finding pure Nash equilibria | 2010-01-29 | Paper |
ON COMPETENCE IN CD GRAMMAR SYSTEMS WITH PARALLEL REWRITING | 2010-01-29 | Paper |
On input-revolving deterministic and nondeterministic finite automata | 2009-11-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396003 | 2009-09-15 | Paper |
On the uniqueness of shuffle on words and finite languages | 2009-09-10 | Paper |
NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY | 2009-08-21 | Paper |
Determination of finite automata accepting subregular languages | 2009-08-07 | Paper |
Language operations with regular expressions of polynomial size | 2009-08-07 | Paper |
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton | 2009-07-09 | Paper |
Short Regular Expressions from Finite Automata: Empirical Results | 2009-07-09 | Paper |
Tight Bounds on the Descriptional Complexity of Regular Expressions | 2009-07-07 | Paper |
More on the Size of Higman-Haines Sets: Effective Constructions | 2009-06-23 | Paper |
Descriptional and Computational Complexity of Finite Automata | 2009-04-02 | Paper |
Undecidability of Operation Problems for T0L Languages and Subclasses | 2009-04-02 | Paper |
Finding Lower Bounds for Nondeterministic State Complexity Is Hard | 2009-03-26 | Paper |
More on the Size of Higman-Haines Sets: Effective Constructions | 2009-03-05 | Paper |
Symmetries and the complexity of pure Nash equilibrium | 2009-03-02 | Paper |
Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity | 2009-02-12 | Paper |
Deterministic Input-Reversal and Input-Revolving Finite Automata | 2008-11-20 | Paper |
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems | 2008-11-20 | Paper |
Provably Shorter Regular Expressions from Deterministic Finite Automata | 2008-10-30 | Paper |
Finite Automata, Digraph Connectivity, and Regular Expression Size | 2008-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3517104 | 2008-08-12 | Paper |
HYBRID EXTENDED FINITE AUTOMATA | 2008-05-20 | Paper |
The complexity of tensor circuit evaluation | 2008-02-22 | Paper |
On the average state and transition complexity of finite languages | 2007-12-19 | Paper |
The size of Higman-Haines sets | 2007-12-19 | Paper |
Hairpin Finite Automata | 2007-11-28 | Paper |
Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP | 2007-11-28 | Paper |
Sorting the Slow Way: An Analysis of Perversely Awful Randomized Sorting Algorithms | 2007-11-15 | Paper |
The Troubles of Interior Design–A Complexity Analysis of the Game Heyawake | 2007-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5422229 | 2007-10-17 | Paper |
Hybrid Extended Finite Automata | 2007-09-06 | Paper |
Symmetries and the Complexity of Pure Nash Equilibrium | 2007-09-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3431234 | 2007-04-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3416094 | 2007-01-19 | Paper |
Iterated sequential transducers as language generating devices | 2007-01-09 | Paper |
Programmed grammars and their relation to the LBA problem | 2006-11-27 | Paper |
Fundamentals of Computation Theory | 2006-10-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5486002 | 2006-09-06 | Paper |
Developments in Language Theory | 2006-06-23 | Paper |
Developments in Language Theory | 2006-06-23 | Paper |
CD grammar systems with competence based entry conditions in their cooperation protocols | 2006-05-22 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Machines, Computations, and Universality | 2005-12-08 | Paper |
A common algebraic description for probabilistic and quantum computations | 2005-12-06 | Paper |
NONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGES | 2005-10-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5313783 | 2005-09-01 | Paper |
Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
Implementation and Application of Automata | 2005-08-17 | Paper |
LANGUAGE FAMILIES DEFINED BY A CILIATE BIO-OPERATION: HIERARCHIES AND DECISION PROBLEMS | 2005-08-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3022293 | 2005-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4662832 | 2005-03-30 | Paper |
TANTRIX\(^{\text{TM}}\) rotation puzzles are intractable | 2005-02-23 | Paper |
On the descriptional complexity of finite automata with modified acceptance conditions | 2005-02-22 | Paper |
On deterministic finite automata and syntactic monoid size | 2005-01-11 | Paper |
Assembling molecules in ATOMIX is hard | 2004-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4737921 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4465334 | 2004-05-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4458489 | 2004-03-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453201 | 2004-03-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4452075 | 2004-02-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4452076 | 2004-02-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449198 | 2004-02-08 | Paper |
The complexity of tensor calculus | 2003-11-17 | Paper |
McNaughton families of languages. | 2003-08-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4418610 | 2003-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4412577 | 2003-07-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4412108 | 2003-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4412117 | 2003-07-13 | Paper |
Alternating and empty alternating auxiliary stack automata. | 2003-05-25 | Paper |
Hybrid modes in cooperating distributed grammar systems: Combining the \(t\)-mode with the modes \(\leqslant k\) and \(=k\) | 2003-05-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4793127 | 2003-02-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4779143 | 2002-11-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536377 | 2002-11-04 | Paper |
Multi-head finite automata: Data-independent versus data-dependent computations | 2002-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4531370 | 2002-05-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2770675 | 2002-02-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2770679 | 2002-02-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2708974 | 2001-11-07 | Paper |
Hybrid modes in cooperating distributed grammar systems: Internal versus external hybridization | 2001-08-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2709225 | 2001-05-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2708979 | 2001-04-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4762636 | 2001-02-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4531373 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699306 | 2000-08-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4939195 | 2000-06-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4939202 | 2000-02-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4226188 | 1999-01-24 | Paper |
Expressing uniformity via oracles | 1997-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4332157 | 1997-05-25 | Paper |
Inductive counting for width-restricted branching programs | 1997-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4886795 | 1996-10-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4284250 | 1994-08-31 | Paper |