Publication | Date of Publication | Type |
---|
A survey on automata with translucent letters | 2024-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q6190439 | 2024-02-06 | Paper |
Non-returning deterministic and nondeterministic finite automata with translucent letters | 2024-02-02 | Paper |
One-Way Restarting Automata and Their Sensitivitys | 2023-08-15 | Paper |
Restrictions of congruences generated by finite canonical string-rewriting systems | 2022-12-09 | Paper |
Some independence results for equational unification | 2022-12-09 | Paper |
FDT is undecidable for finitely presented monoids with solvable word problems | 2022-12-09 | Paper |
ON THE POWER OF RRWW-AUTOMATA | 2022-12-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5867524 | 2022-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5061521 | 2022-03-11 | Paper |
On restarting automata with auxiliary symbols and small window size | 2022-01-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016372 | 2021-12-13 | Paper |
Two-Sided Strictly Locally Testable Languages | 2021-11-15 | Paper |
A Complete Taxonomy of Restarting Automata without Auxiliary Symbols* | 2021-11-15 | Paper |
On the expressive power of stateless ordered restart-delete automata | 2021-09-28 | Paper |
Reversibility for stateless ordered RRWW-automata | 2021-07-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4988164 | 2021-05-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4988165 | 2021-05-12 | Paper |
Two-head finite-state acceptors with translucent letters | 2020-10-22 | Paper |
Linear automata with translucent letters and linear context-free trace languages | 2020-07-21 | Paper |
A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata | 2020-07-20 | Paper |
On deterministic ordered restart-delete automata | 2019-10-18 | Paper |
On shrinking restarting automata of window size one and two | 2019-10-15 | Paper |
Automata with cyclic move operations for picture languages | 2019-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4623040 | 2019-02-18 | Paper |
On deterministic ordered restart-delete automata | 2018-11-22 | Paper |
Weighted restarting automata | 2018-10-22 | Paper |
Nondeterministic Ordered Restarting Automata | 2018-07-24 | Paper |
The word matching problem is undecidable for finite special string-rewriting systems that are confluent | 2018-07-04 | Paper |
On the descriptional complexity of stateless deterministic ordered restarting automata | 2018-03-21 | Paper |
Growing context-sensitive languages and Church-Rosser languages | 2017-12-04 | Paper |
Cross-sections for finitely presented monoids with decidable word problems | 2017-11-17 | Paper |
On the property of preserving regularity for string-rewriting systems | 2017-11-17 | Paper |
Deleting deterministic restarting automata with two windows | 2017-10-13 | Paper |
A pumping lemma for ordered restarting automata | 2017-08-31 | Paper |
Regulated variants of limited context restarting automata | 2017-06-15 | Paper |
Some classes of rational functions for pictures | 2017-03-24 | Paper |
Weighted Restarting Automata as Language Acceptors | 2016-11-09 | Paper |
Reversible Ordered Restarting Automata | 2016-09-30 | Paper |
On Ordered RRWW-Automata | 2016-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5740431 | 2016-07-26 | Paper |
Weighted restarting automata and pushdown relations | 2016-05-26 | Paper |
On the Effects of Nondeterminism on Ordered Restarting Automata | 2016-03-10 | Paper |
Deterministic Ordered Restarting Automata that Compute Functions | 2015-11-10 | Paper |
Deterministic ordered restarting automata for picture languages | 2015-10-29 | Paper |
Asynchronous Parallel Communicating Systems of Pushdown Automata | 2015-10-02 | Paper |
Weighted Restarting Automata and Pushdown Relations | 2015-09-22 | Paper |
Restarting transducers, regular languages, and rational relations | 2015-09-04 | Paper |
On Some Decision Problems for Stateless Deterministic Ordered Restarting Automata | 2015-08-07 | Paper |
Free Word-Order and Restarting Automata | 2015-06-26 | Paper |
Lambda-confluence for context rewriting systems | 2015-05-18 | Paper |
Two-dimensional Sgraffito automata | 2015-04-28 | Paper |
On Visibly Pushdown Trace Languages | 2015-02-20 | Paper |
Ordered Restarting Automata for Picture Languages | 2015-01-13 | Paper |
Restarting Automata for Picture Languages: A Survey on Recent Developments | 2014-09-26 | Paper |
Systems of parallel communicating restarting automata | 2014-08-22 | Paper |
On the classes of languages accepted by limited context restarting automata | 2014-08-22 | Paper |
On the Descriptional Complexity of Deterministic Ordered Restarting Automata | 2014-08-07 | Paper |
Extended Two-Way Ordered Restarting Automata for Picture Languages | 2014-03-31 | Paper |
ON THE DESCRIPTIONAL COMPLEXITY OF THE WINDOW SIZE FOR DELETING RESTARTING AUTOMATA | 2014-03-10 | Paper |
ON CENTRALIZED PARALLEL COMMUNICATING GRAMMAR SYSTEMS WITH CONTEXT-SENSITIVE COMPONENTS | 2013-10-23 | Paper |
Globally deterministic CD-systems of stateless R-automata with window size 1 | 2013-10-22 | Paper |
Lambda-Confluence Is Undecidable for Clearing Restarting Automata | 2013-08-07 | Paper |
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata | 2013-08-07 | Paper |
Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata | 2013-08-05 | Paper |
New Results on Deterministic Sgraffito Automata | 2013-06-28 | Paper |
ON PROPER LANGUAGES AND TRANSFORMATIONS OF LEXICALIZED TYPES OF AUTOMATA | 2013-06-03 | Paper |
Asynchronous PC Systems of Pushdown Automata | 2013-03-18 | Paper |
On Centralized PC Grammar Systems with Context-Sensitive Components | 2012-11-02 | Paper |
Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata | 2012-11-02 | Paper |
On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata | 2012-11-01 | Paper |
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata | 2012-09-20 | Paper |
On CD-systems of stateless deterministic R-automata with window size one | 2012-08-17 | Paper |
Characterizing the Rational Functions by Restarting Transducers | 2012-06-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q2882391 | 2012-05-04 | Paper |
CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store | 2012-02-28 | Paper |
Characterizing the Regular Languages by Nonforgetting Restarting Automata | 2011-07-29 | Paper |
On Restarting Automata with Window Size One | 2011-07-29 | Paper |
Globally Deterministic CD-Systems of Stateless R(1)-Automata | 2011-06-03 | Paper |
A hierarchy of monotone deterministic non-forgetting restarting automata | 2011-03-30 | Paper |
An Automata-Theoretical Characterization of Context-Free Trace Languages | 2011-02-15 | Paper |
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata | 2011-02-11 | Paper |
Parallel communicating grammar systems with regular control and skeleton preserving FRR automata | 2011-02-02 | Paper |
On stateless deterministic restarting automata | 2010-12-13 | Paper |
ON STATELESS TWO-PUSHDOWN AUTOMATA AND RESTARTING AUTOMATA | 2010-11-11 | Paper |
On Lexicalized Well-Behaved Restarting Automata That Are Monotone | 2010-08-31 | Paper |
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages | 2010-05-26 | Paper |
ON ALTERNATING PHRASE-STRUCTURE GRAMMARS | 2010-03-09 | Paper |
COOPERATING DISTRIBUTED SYSTEMS OF RESTARTING AUTOMATA | 2010-01-29 | Paper |
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions | 2010-01-28 | Paper |
Two-dimensional hierarchies of proper languages of lexicalized FRR-automata | 2009-11-27 | Paper |
Single-Path Restarting Tree Automata | 2009-11-05 | Paper |
Parallel Communicating Grammar Systems with Regular Control | 2009-11-05 | Paper |
The degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages | 2009-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5192984 | 2009-08-10 | Paper |
Left-to-right regular languages and two-way restarting automata | 2009-07-15 | Paper |
ON DETERMINISTIC CD-SYSTEMS OF RESTARTING AUTOMATA | 2009-04-14 | Paper |
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata | 2009-04-02 | Paper |
On the Gap-Complexity of Simple RL-Automata | 2009-03-26 | Paper |
Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata | 2009-03-05 | Paper |
On Stateless Deterministic Restarting Automata | 2009-02-03 | Paper |
Learning Analysis by Reduction from Positive Data | 2008-11-27 | Paper |
On Alternating Phrase-Structure Grammars | 2008-11-20 | Paper |
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata | 2008-11-20 | Paper |
On determinism versus nondeterminism for restarting automata | 2008-10-08 | Paper |
Restarting Tree Automata and Linear Context-Free Tree Languages | 2008-09-04 | Paper |
A Measure for the Degree of Nondeterminism of Context-Free Languages | 2008-06-10 | Paper |
On the complexity of 2-monotone restarting automata | 2008-06-06 | Paper |
Restarting Tree Automata | 2008-03-07 | Paper |
Strictly Deterministic CD-Systems of Restarting Automata | 2008-02-26 | Paper |
Sequential monotonicity for restarting automata | 2008-02-15 | Paper |
Some decidability and undecidability results on Green's relations for automatic monoids. | 2007-12-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5429978 | 2007-12-05 | Paper |
Correctness Preservation and Complexity of Simple RL-Automata | 2007-09-06 | Paper |
Reduction relations for monoid semirings | 2007-08-24 | Paper |
On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone | 2007-05-02 | Paper |
SHRINKING RESTARTING AUTOMATA | 2007-04-25 | Paper |
Restarting automata with restricted utilization of auxiliary symbols | 2007-01-09 | Paper |
Marcus \(t\)-contextual grammars and cut hierarchies and monotonicity for restarting automata | 2007-01-09 | Paper |
Degrees of non-monotonicity for restarting automata | 2007-01-09 | Paper |
Implementation and Application of Automata | 2006-11-13 | Paper |
Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
Fundamentals of Computation Theory | 2006-10-20 | Paper |
Uniform decision problems for automatic semigroups. | 2006-10-19 | Paper |
Developments in Language Theory | 2006-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q5716611 | 2006-01-10 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Hierarchies of weakly monotone restarting automata | 2005-07-13 | Paper |
On state-alternating context-free grammars | 2005-06-30 | Paper |
On higher order homological finiteness of rewriting systems. | 2005-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3022298 | 2005-06-23 | Paper |
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages | 2005-05-12 | Paper |
FOR REWRITING SYSTEMS THE TOPOLOGICAL FINITENESS CONDITIONS FDT AND FHT ARE NOT EQUIVALENT | 2004-09-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4737921 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4472500 | 2004-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453219 | 2004-03-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4452052 | 2004-02-11 | Paper |
McNaughton families of languages. | 2003-08-17 | Paper |
For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide | 2003-07-30 | Paper |
Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. | 2003-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790443 | 2003-05-22 | Paper |
THE PROPERTY FDT IS UNDECIDABLE FOR FINITELY PRESENTED MONOIDS THAT HAVE POLYNOMIAL-TIME DECIDABLE WORD PROBLEMS | 2002-12-15 | Paper |
ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS | 2002-12-15 | Paper |
SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID | 2002-12-15 | Paper |
Some results on Green's relations for monoids presented by monadic string-rewriting systems | 2002-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4330730 | 2002-09-29 | Paper |
A completion procedure for finitely presented groups that is based on word cycles | 2002-08-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702053 | 2002-02-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2708956 | 2001-11-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2704714 | 2001-09-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4514736 | 2000-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699310 | 2000-10-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4942274 | 2000-10-09 | Paper |
Repetitiveness of languages generated by morphisms | 2000-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4938613 | 2000-02-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4938677 | 2000-02-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4234247 | 1999-09-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3838758 | 1999-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4234299 | 1999-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4246737 | 1999-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4227134 | 1999-05-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q3839075 | 1999-03-14 | Paper |
Some undecidability results concerning the property of preserving regularity | 1999-01-12 | Paper |
Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids | 1999-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421599 | 1999-01-01 | Paper |
Growing context-sensitive languages and Church-Rosser languages | 1998-08-30 | Paper |
Equational unification, word unification, and 2nd-order equational unification | 1998-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349578 | 1998-06-01 | Paper |
Single versus simultaneous equational unification and equational unification for variable-permuting theories | 1998-02-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4364596 | 1997-11-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4347978 | 1997-11-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4348023 | 1997-11-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4348024 | 1997-11-09 | Paper |
For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\) | 1997-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4336275 | 1997-08-07 | Paper |
Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general | 1997-02-28 | Paper |
Finite derivation type implies the homological finiteness condition \(FP_ 3\) | 1996-03-18 | Paper |
Codes modulo finite monadic string-rewriting systems | 1995-11-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4310327 | 1995-08-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4846257 | 1995-08-23 | Paper |
On confluence versus strong confluence for one-rule trace-rewriting systems | 1995-07-24 | Paper |
Seperating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups | 1994-11-24 | Paper |
On the problem of generating small convergent systems | 1994-08-31 | Paper |
Computing presentations for subgroups of polycyclic groups and of context-free groups | 1994-08-29 | Paper |
A finiteness condition for rewriting systems | 1994-08-29 | Paper |
On weakly confluent monadic string-rewriting systems | 1994-01-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4035666 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4036570 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4038766 | 1993-05-18 | Paper |
Completing a finite special string-rewriting system on the congruence class of the empty word | 1992-09-27 | Paper |
The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems | 1992-09-27 | Paper |
It is undecidable whether a finite special string-rewriting system presents a group | 1992-06-28 | Paper |
When is an extension of a specification consistent? Decidable and undecidable cases | 1992-06-28 | Paper |
Decision problems for finite special string-rewriting systems that are confluent on some congruence class | 1991-01-01 | Paper |
Overlaps in free partially commutative monoids | 1991-01-01 | Paper |
On ground-confluence of term rewriting systems | 1990-01-01 | Paper |
About the descriptive power of certain classes of finite string-rewriting systems | 1989-01-01 | Paper |
Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems | 1989-01-01 | Paper |
On deciding confluence of finite string-rewriting systems modulo partial commutativity | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3832775 | 1989-01-01 | Paper |
An example of a one-relator group that is not a one-relation monoid | 1988-01-01 | Paper |
Preperfectness is undecidable for Thue systems containing only length- reducing rules and a single commutation rule | 1988-01-01 | Paper |
Pseudo-natural algorithms for finitely generated presentations of monoids and groups | 1988-01-01 | Paper |
Elements of finite order for finite weight-reducing and confluent Thue systems | 1988-01-01 | Paper |
Commutativity in groups presented by finite Church-Rosser Thue systems | 1988-01-01 | Paper |
Church-Rosser Thue systems and formal languages | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3825236 | 1988-01-01 | Paper |
Using string-rewriting for solving the word problem for finitely presented groups | 1987-01-01 | Paper |
On deciding the confluence of a finite string-rewriting system on a given congruence class | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3026992 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3775714 | 1987-01-01 | Paper |
Finite canonical rewriting systems for congruences generated by concurrency relations | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3787990 | 1987-01-01 | Paper |
On two problems related to cancellativity | 1986-01-01 | Paper |
On deciding whether a monoid is a free monoid or is a group | 1986-01-01 | Paper |
The problems of cyclic equality and conjugacy for finite complete rewriting systems | 1986-01-01 | Paper |
The undecidability of self-embedding for finite semi-Thue and Thue systems | 1986-01-01 | Paper |
Church–Rosser Thue Systems that Present Free Monoids | 1986-01-01 | Paper |
Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems | 1986-01-01 | Paper |
The Verifiability of Two-Party Protocols | 1986-01-01 | Paper |
Classes of regular and context-free languages over countably infinite alphabets | 1985-01-01 | Paper |
On the security of name-stamp protocols | 1985-01-01 | Paper |
Complexity results on the conjugacy problem for monoids | 1985-01-01 | Paper |
Pseudo-natural algorithms for the word problem for finitely presented monoids and groups | 1985-01-01 | Paper |
On the verifiability of two-party algebraic protocols | 1985-01-01 | Paper |
Cancellation rules and extended word problems | 1985-01-01 | Paper |
Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3718694 | 1985-01-01 | Paper |
A note on thue systems with a single defining relation | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4722058 | 1985-01-01 | Paper |
Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group | 1984-01-01 | Paper |
Finite complete rewriting systems and the complexity of word problem | 1984-01-01 | Paper |
Conjugacy in monoids with a special Church-Rosser presentation is decidable | 1984-01-01 | Paper |
Some undecidability results for non-monadic Church-Rosser Thue systems | 1984-01-01 | Paper |
The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3934601 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3902990 | 1980-01-01 | Paper |