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
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
https://portal.mardi4nfdi.de/entity/Q28933012012-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 Research and Approximation2011-07-29Paper
Derick Wood: Always in Our Hearts2011-07-29Paper
State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal2011-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/Q44741492004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44741502004-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
https://portal.mardi4nfdi.de/entity/Q27706912002-02-13Paper
https://portal.mardi4nfdi.de/entity/Q27312792002-01-31Paper
https://portal.mardi4nfdi.de/entity/Q27142352001-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49552552001-06-05Paper
https://portal.mardi4nfdi.de/entity/Q27089482001-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
A pumping lemma for deterministic context-free languages1989-01-01Paper
On the Limit Sets of Cellular Automata1989-01-01Paper
Can the catenation of two weakly sparse languages be dense?1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38059071988-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
Real-time, pseudo real-time, and linear-time ITA1986-01-01Paper
On a public-key cryptosystem based on iterated morphisms and substitutions1986-01-01Paper
Iterative tree arrays with logarithmic depth1986-01-01Paper
Iterative tree automata1984-01-01Paper

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: Sheng Yu