Sheng Yu

From MaRDI portal
Person:418765

Available identifiers

zbMath Open yu.shengWikidataQ102244560 ScholiaQ102244560MaRDI QIDQ418765

List of research outcomes





PublicationDate of PublicationType
Rediscovering pushdown machines2024-01-29Paper
Characterizing regular languages with polynomial densities2022-08-18Paper
Complexity of EOL structural equivalence2022-08-18Paper
https://portal.mardi4nfdi.de/entity/Q49640102021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640142021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q51465222021-01-26Paper
Inclusion is undecidable for pattern languages2019-03-29Paper
https://portal.mardi4nfdi.de/entity/Q45909102017-11-20Paper
Computing Supply Function Equilibria via Spline Approximations2015-02-02Paper
https://portal.mardi4nfdi.de/entity/Q54182602014-06-03Paper
Online scheduling of simple linear deteriorating jobs to minimize the total general completion time2013-12-11Paper
An Optimal Single-Machine Scheduling with Linear Deterioration Rate and Rate-Modifying Activities2013-12-10Paper
Undecidability of state complexity2013-10-22Paper
Type theory and language constructs for objects with states2013-10-02Paper
STATE COMPLEXITY AND APPROXIMATION2013-01-18Paper
State complexity of union and intersection of square and reversal on \(k\) regular languages2012-10-11Paper
State complexity of two combined operations: catenation-star and catenation-reversal2012-08-30Paper
State complexity of combined operations with two basic operations2012-08-08Paper
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines2012-07-16Paper
State complexity of combined operations with union, intersection, star and reversal2012-06-20Paper
Derivatives of Regular Expressions and an Application2012-06-15Paper
State complexity of union and intersection of star on \(k\) regular languages2012-05-30Paper
STATE COMPLEXITY OF TWO COMBINED OPERATIONS: CATENATION-UNION AND CATENATION-INTERSECTION2012-03-13Paper
A note on ``An optimal online algorithm for single machine scheduling to minimize total general completion time2012-03-09Paper
Transition Complexity of Incomplete DFAs2011-11-22Paper
Introducing the Adaptive Convex Enveloping2011-11-10Paper
Optimal Policy for Single-Machine Scheduling with Deterioration Effects, Learning Effects, Setup Times, and Availability Constraints2011-08-12Paper
State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal2011-07-29Paper
State Complexity Research and Approximation2011-07-29Paper
Derick Wood: Always in Our Hearts2011-07-29Paper
Undecidability of the State Complexity of Composed Regular Operations2011-06-03Paper
State Complexity of Catenation Combined with Union and Intersection2011-02-11Paper
https://portal.mardi4nfdi.de/entity/Q49294002010-09-22Paper
SUBWORD OCCURRENCES, PARIKH MATRICES AND LYNDON IMAGES2010-03-09Paper
SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES2010-01-29Paper
On implementing recognizable transductions2010-01-26Paper
Variants of codes and indecomposable languages2009-11-27Paper
https://portal.mardi4nfdi.de/entity/Q33966152009-09-19Paper
Deciding determinism of caterpillar expressions2009-09-14Paper
Pattern expressions and pattern automata2009-08-27Paper
Hierarchy and equivalence of multi-letter quantum finite automata2009-08-07Paper
Estimation of state complexity of combined operations2009-08-07Paper
Are Statecharts Finite Automata?2009-07-09Paper
State Complexity of Combined Operations for Prefix-Free Regular Languages2009-04-02Paper
On Weakly Ambiguous Finite Transducers2009-03-26Paper
Length Codes, Products of Languages and Primality2008-11-20Paper
State complexity of basic language operations combined with reversal2008-10-08Paper
https://portal.mardi4nfdi.de/entity/Q35170952008-08-12Paper
https://portal.mardi4nfdi.de/entity/Q35058862008-06-11Paper
Deterministic Caterpillar Expressions2008-06-10Paper
https://portal.mardi4nfdi.de/entity/Q54222302007-10-17Paper
State complexity of combined operations2007-09-19Paper
On the State Complexity of Combined Operations2007-09-06Paper
https://portal.mardi4nfdi.de/entity/Q52941712007-07-24Paper
On the existence of prime decompositions2007-05-11Paper
Subword conditions and subword histories2007-01-22Paper
Representation and uniformization of algebraic transductions2007-01-05Paper
https://portal.mardi4nfdi.de/entity/Q34099962006-11-21Paper
https://portal.mardi4nfdi.de/entity/Q54859942006-09-06Paper
Combinatorial Pattern Matching2005-12-14Paper
A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS2005-10-19Paper
WORD COMPLEXITY AND REPETITIONS IN WORDS2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q46813202005-06-23Paper
AN EFFICIENT ALGORITHM FOR CONSTRUCTING MINIMAL COVER AUTOMATA FOR FINITE LANGUAGES2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q46719502005-04-28Paper
https://portal.mardi4nfdi.de/entity/Q46657482005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46628232005-03-30Paper
Mergible states in large NFA2005-02-22Paper
Theory Is Forever2005-01-18Paper
Subword histories and Parikh matrices2004-09-08Paper
https://portal.mardi4nfdi.de/entity/Q48086522004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47377072004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47379192004-08-11Paper
On the state complexity of reversals of regular languages2004-08-10Paper
https://portal.mardi4nfdi.de/entity/Q44741502004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44741492004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48078242004-03-28Paper
https://portal.mardi4nfdi.de/entity/Q44584922004-03-18Paper
Follow automata.2004-03-14Paper
Reducing NFAs by invariant equivalences.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44534662004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44313422003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44302962003-10-20Paper
https://portal.mardi4nfdi.de/entity/Q44186002003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44186482003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47085812003-06-18Paper
https://portal.mardi4nfdi.de/entity/Q47821042002-11-27Paper
https://portal.mardi4nfdi.de/entity/Q31528112002-10-23Paper
A sharpening of the Parikh mapping2002-09-18Paper
Tree-systems of morphisms2002-08-14Paper
https://portal.mardi4nfdi.de/entity/Q45409712002-07-28Paper
Decidability of EDT0L structural equivalence2002-07-15Paper
On the robustness of primitive words2002-05-15Paper
Minimal cover-automata for finite languages2002-03-03Paper
Loop-free alternating finite automata2002-02-13Paper
State complexity of regular languages2002-01-31Paper
Generalized fairness and context-free languages2001-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49552552001-06-05Paper
On the decomposition of finite languages2001-04-04Paper
https://portal.mardi4nfdi.de/entity/Q45207922001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45313732001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42636942000-10-17Paper
https://portal.mardi4nfdi.de/entity/Q49411472000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q45003692000-09-04Paper
Efficient implementation of regular languages using reversed alternating finite automata2000-08-23Paper
Using DNA to solve the bounded Post correspondence problem2000-08-23Paper
Alternating finite automata and star-free languages2000-08-21Paper
Pattern languages with and without erasing2000-07-04Paper
Transducers and the decidability of independence in free monoids2000-06-27Paper
https://portal.mardi4nfdi.de/entity/Q49552522000-05-25Paper
https://portal.mardi4nfdi.de/entity/Q42665311999-10-03Paper
https://portal.mardi4nfdi.de/entity/Q42176081999-06-21Paper
Synchronization expressions with extended join operation1999-01-12Paper
DNA computing, sticker systems, and universality1998-11-08Paper
https://portal.mardi4nfdi.de/entity/Q43905371998-08-10Paper
Physical versus computational complementarity. I1998-06-02Paper
Language-theoretic complexity of disjunctive sequences1998-03-25Paper
https://portal.mardi4nfdi.de/entity/Q43627391997-11-13Paper
Pumping and pushdown machines1997-10-30Paper
Complexity of E0L structural equivalence1997-10-08Paper
Structural equivalence and ET0L grammars1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q49422491996-01-01Paper
P, NP, and the Post correspondence problem1995-11-14Paper
Measures of nondeterminism for pushdown automata1995-10-09Paper
https://portal.mardi4nfdi.de/entity/Q48401701995-07-20Paper
Decision problems for patterns1995-06-08Paper
On sparse languages \(L\) such that \(LL= \Sigma^*\)1994-09-27Paper
https://portal.mardi4nfdi.de/entity/Q42842641994-04-17Paper
The state complexities of some basic operations on regular languages1994-04-05Paper
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems1992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q47133731992-06-25Paper
Decidability of structural equivalence of E0L grammars1991-01-01Paper
Computation theoretic aspects of cellular automata1990-01-01Paper
Formal languages and global cellular automaton behavior1990-01-01Paper
The immortality problem for Lag systems1990-01-01Paper
On the Limit Sets of Cellular Automata1989-01-01Paper
A pumping lemma for deterministic context-free languages1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38059071988-01-01Paper
Can the catenation of two weakly sparse languages be dense?1988-01-01Paper
Decision problems resulting from grammatical inference1987-01-01Paper
Fault-tolerant schemes for some systolic systems1987-01-01Paper
A property of real-time trellis automata1986-01-01Paper
On a public-key cryptosystem based on iterated morphisms and substitutions1986-01-01Paper
Real-time, pseudo real-time, and linear-time ITA1986-01-01Paper
Iterative tree arrays with logarithmic depth1986-01-01Paper
Iterative tree automata1984-01-01Paper

Research outcomes over time

This page was built for person: Sheng Yu