# Sheng Yu

According to our database

^{1}, Sheng Yu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2017

A Digital Polar Transmitter With DC-DC Converter Supporting 256-QAM WLAN and 40-MHz LTE-A Carrier Aggregation.

J. Solid-State Circuits, 2017

Surrogate-assisted feature extraction for high-throughput phenotyping.

JAMIA, 2017

2016

R3: A Lightweight Reactive Ring based Routing Protocol for Wireless Sensor Networks with Mobile Sinks.

TIIS, 2016

An EEG signal classification method based on sparse auto-encoders and support vector machine.

Proceedings of the 2016 IEEE/CIC International Conference on Communications in China, 2016

2015

An optimal single-machine scheduling with linear deterioration rate and rate-modifying activities.

J. Comb. Optim., 2015

Toward high-throughput phenotyping: unbiased automated feature extraction and selection from knowledge sources.

JAMIA, 2015

A Survey on Operational State Complexity.

CoRR, 2015

A Scalable Algorithm for Bichromatic Reverse Nearest Neighbor with Grids.

Proceedings of the Fifth IEEE International Conference on Big Data and Cloud Computing, 2015

Computable Phenotypes enabled by the i2b2 Validation Platform.

Proceedings of the AMIA 2015, 2015

Demonstrating the Advantages of Applying Data Mining Techniques on Time-Dependent Electronic Medical Records.

Proceedings of the AMIA 2015, 2015

2014

Social Network Dynamics: An Attention Economics Perspective.

Proceedings of the Social Networks: A Framework of Computational Intelligence, 2014

Classification of CT pulmonary angiography reports by presence, chronicity, and location of pulmonary embolism with natural language processing.

Journal of Biomedical Informatics, 2014

Routing protocols for wireless sensor networks with mobile sinks: a survey.

IEEE Communications Magazine, 2014

A lightweight ring-based routing protocol for wireless sensor networks with mobile sinks.

Proceedings of the IEEE Global Communications Conference, 2014

Informative mobility scheduling for mobile data collector in wireless sensor networks.

Proceedings of the IEEE Global Communications Conference, 2014

State Complexity of Combined Operations for Prefix-Free Regular Languages.

Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

Analysis of the Suitability of Existing Medical Ontologies for Building a Scalable Semantic Interoperability Solution Supporting Multi-site Collaboration in Oncology.

Proceedings of the 2014 IEEE International Conference on Bioinformatics and Bioengineering, 2014

2013

Online scheduling of simple linear deteriorating jobs to minimize the total general completion time.

Theor. Comput. Sci., 2013

Undecidability of state complexity.

Int. J. Comput. Math., 2013

A Short Introduction to MiniNLP.

CoRR, 2013

An Optimal Single-Machine Scheduling with Linear Deterioration Rate and Rate-Modifying Activities.

Proceedings of the Combinatorial Optimization and Applications, 2013

Pedestrian Counting for a Large Scene Using a GigaPan Panorama and Exemplar-SVMs.

Proceedings of the Ninth International Conference on Computational Intelligence and Security, 2013

2012

Statecharts.

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

State complexity of union and intersection of square and reversal on k regular languages.

Theor. Comput. Sci., 2012

State complexity of union and intersection of star on k regular languages.

Theor. Comput. Sci., 2012

State complexity of combined operations with two basic operations.

Theor. Comput. Sci., 2012

Clinical coverage of an archetype repository over SNOMED-CT.

Journal of Biomedical Informatics, 2012

A note on "An optimal online algorithm for single machine scheduling to minimize total general completion time".

Inf. Process. Lett., 2012

State Complexity and Approximation.

Int. J. Found. Comput. Sci., 2012

State Complexity of Two Combined Operations: Catenation-Star and Catenation-Reversal.

Int. J. Found. Comput. Sci., 2012

State Complexity of Combined Operations with Union, Intersection, Star and Reversal.

Fundam. Inform., 2012

An Empirical Study of How Users Adopt Famous Entities

CoRR, 2012

A Survey of Prediction Using Social Media

CoRR, 2012

Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines.

Proceedings of the Theory and Applications of Models of Computation, 2012

An empirical study of how users adopt famous entities.

Proceedings of the First International Conference on Future Generation Communication Technologies (FGST 2012), 2012

Derivatives of Regular Expressions and an Application.

Proceedings of the Computation, Physics and Beyond, 2012

2011

A Line Segments Matching Method based on Epipolar-line Constraint and Line Segment Features.

JSW, 2011

Detecting Malware Variants by Byte Frequency.

JNW, 2011

Preface.

Int. J. Found. Comput. Sci., 2011

State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection.

Int. J. Found. Comput. Sci., 2011

Transition Complexity of Incomplete DFAs.

Fundam. Inform., 2011

Derick Wood: Always in Our Hearts.

Proceedings of the Implementation and Application of Automata, 2011

Undecidability of the State Complexity of Composed Regular Operations.

Proceedings of the Language and Automata Theory and Applications, 2011

State Complexity Research and Approximation.

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal.

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Optimal Policy for Single-Machine Scheduling with Deterioration Effects, Learning Effects, Setup Times, and Availability Constraints.

Proceedings of the Combinatorial Optimization and Applications, 2011

Performance analysis and assessment of a tf-idf based archetype-SNOMED-CT binding algorithm.

Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

2010

Seventy Years Derick Wood.

J. UCS, 2010

Subword Occurrences, Parikh Matrices and Lyndon Images.

Int. J. Found. Comput. Sci., 2010

On implementing recognizable transductions.

Int. J. Comput. Math., 2010

Transition Complexity of Incomplete DFAs

Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010

State Complexity of Catenation Combined with Star and Reversal

Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010

State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation

CoRR, 2010

State complexity of union and intersection combined with star and reversal

CoRR, 2010

State Complexity of Catenation Combined with Union and Intersection.

Proceedings of the Implementation and Application of Automata, 2010

Fast-flux attack network identification based on agent lifespan.

Proceedings of the IEEE International Conference on Wireless Communications, 2010

2009

Deciding determinism of caterpillar expressions.

Theor. Comput. Sci., 2009

Hierarchy and equivalence of multi-letter quantum finite automata.

Theor. Comput. Sci., 2009

Estimation of state complexity of combined operations.

Theor. Comput. Sci., 2009

Variants of codes and indecomposable languages.

Inf. Comput., 2009

State Complexity Approximation

Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009

Are Statecharts Finite Automata?.

Proceedings of the Implementation and Application of Automata, 2009

State Complexity of Combined Operations for Prefix-Free Regular Languages.

Proceedings of the Language and Automata Theory and Applications, 2009

2008

State complexity of basic language operations combined with reversal.

Inf. Comput., 2008

The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal.

Fundam. Inform., 2008

Hierarchy and equivalence of multi-letter quantum finite automata

CoRR, 2008

Experimental study on the extraction and distribution of textual domain keywords.

Concurrency and Computation: Practice and Experience, 2008

Length Codes, Products of Languages and Primality.

Proceedings of the Language and Automata Theory and Applications, 2008

Estimation of State Complexity of Combined Operations.

Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, 2008

2007

State complexity of combined operations.

Theor. Comput. Sci., 2007

On the existence of prime decompositions.

Theor. Comput. Sci., 2007

A Family of NFAs Free of State Reductions.

Journal of Automata, Languages and Combinatorics, 2007

Sc-Expressions in Object-Oriented Languages.

Int. J. Found. Comput. Sci., 2007

On the State Complexity of Combined Operations and their Estimation.

Int. J. Found. Comput. Sci., 2007

Fuzzification of Rational and Recognizable Sets.

Fundam. Inform., 2007

Cover Automata for Finite Language.

Bulletin of the EATCS, 2007

Representation and uniformization of algebraic transductions.

Acta Inf., 2007

Deterministic Caterpillar Expressions.

Proceedings of the Implementation and Application of Automata, 2007

State Complexity of Basic Operations Combined with Reversal.

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2006

Subword conditions and subword histories.

Inf. Comput., 2006

Nondeterministic Bimachines and Rational Relations with Finite Codomain.

Fundam. Inform., 2006

On the State Complexity of Combined Operations.

Proceedings of the Implementation and Application of Automata, 2006

Experiments Study for Scientific Texts Domain Keyword Acquisition.

Proceedings of the 2006 International Conference on Semantics, 2006

On Weakly Ambiguous Finite Transducers.

Proceedings of the Developments in Language Theory, 10th International Conference, 2006

State Complexity of Catenation and Reversal Combined with Star.

Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006

2005

Mergible states in large NFA.

Theor. Comput. Sci., 2005

Preface.

Int. J. Found. Comput. Sci., 2005

State Complexity: Recent Results and Open Problems.

Fundam. Inform., 2005

Adding States into Object Types.

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Large NFA Without Mergeable States.

Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005

Reducing the Size of NFAs by Using Equivalences and Preorders.

Proceedings of the Combinatorial Pattern Matching, 16th Annual Symposium, 2005

2004

On the state complexity of reversals of regular languages.

Theor. Comput. Sci., 2004

Subword histories and Parikh matrices.

J. Comput. Syst. Sci., 2004

Pattern expressions and pattern automata.

Inf. Process. Lett., 2004

Word Complexity And Repetitions In Words.

Int. J. Found. Comput. Sci., 2004

Process Traces With the Option Operation.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

On NFA Reductions.

Proceedings of the Theory Is Forever, 2004

2003

Reducing NFAs by invariant equivalences.

Theor. Comput. Sci., 2003

A Formal Study Of Practical Regular Expressions.

Int. J. Found. Comput. Sci., 2003

Follow automata.

Inf. Comput., 2003

Fast Algorithms for Extended Regular Expression Matching and Searching.

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Introduction to Process Traces.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Decidability of EDT0L structural equivalence.

Theor. Comput. Sci., 2002

Additive Distances and Quasi-Distances Between Words.

J. UCS, 2002

Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen - J.UCS Special Issue.

J. UCS, 2002

Tight Lower Bound for the State Complexity of Shuffle of Regular Languages.

Journal of Automata, Languages and Combinatorics, 2002

Implementation and Application of Automata - Editor's Foreword.

Int. J. Found. Comput. Sci., 2002

An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages.

Int. J. Found. Comput. Sci., 2002

State Complexity of Finite and Infinite Regular Languages.

Bulletin of the EATCS, 2002

On the robustness of primitive words.

Discrete Applied Mathematics, 2002

Factorizations of Languages and Commutativity Conditions.

Acta Cybern., 2002

Regex and Extended Regex.

Proceedings of the Implementation and Application of Automata, 2002

Algorithms for Computing Small NFAs.

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

Repetition Complexity of Words.

Proceedings of the Fourth International Workshop on Descriptional Complexity of Formal Systems - DCFS 2002, London, Canada, August 21, 2002

Constructing NFA s by Optimal Use of Positions in Regular Expressions.

Proceedings of the Combinatorial Pattern Matching, 13th Annual Symposium, 2002

Repetition Complexity of Words.

Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

2001

Minimal cover-automata for finite languages.

Theor. Comput. Sci., 2001

Class-is-type is inadequate for object reuse.

SIGPLAN Notices, 2001

State Complexity of Regular Languages.

Journal of Automata, Languages and Combinatorics, 2001

On the State Complexity of k-Entry Deterministic Finite Automata.

Journal of Automata, Languages and Combinatorics, 2001

A sharpening of the Parikh mapping.

ITA, 2001

Tree-systems of morphisms.

Acta Inf., 2001

Minimal Covers of Formal Languages.

Proceedings of the Developments in Language Theory, 5th International Conference, 2001

The time dimension of computation models.

Proceedings of the Where Mathematics, 2001

2000

Alternating finite automata and star-free languages.

Theor. Comput. Sci., 2000

Efficient Implementation of Regular Languages Using Reversed Alternating Finite Automata.

Theor. Comput. Sci., 2000

Using DNA to solve the Bounded Post Correspondence Problem.

Theor. Comput. Sci., 2000

On Fairness of Many-Dimensional Trajectories.

Journal of Automata, Languages and Combinatorics, 2000

An O(n

^{2}) Algorithm for Constructing Minimal Cover Automata for Finite Languages.
Proceedings of the Implementation and Application of Automata, 2000

1999

Synchronization Expressions and Languages.

J. UCS, 1999

Towards a DNA Solution to the Shortest Common Superstring Problem.

International Journal on Artificial Intelligence Tools, 1999

On Synchronization in P Systems.

Fundam. Inform., 1999

Generalized Fairness and Context-Free Languages.

Acta Cybern., 1999

State Complexity of Basic Operations on Finite Languages.

Proceedings of the Automata Implementation, 1999

Metric Lexical Analysis.

Proceedings of the Automata Implementation, 1999

On the decomposition of finite languages.

Proceedings of the Developments in Language Theory, 1999

Synchronization Expressions: Characterization Results and Implementation.

Proceedings of the Jewels are Forever, 1999

1998

Synchronization Expressions with Extended Join Operation.

Theor. Comput. Sci., 1998

DNA Computing, Sticker Systems, and Universality.

Acta Inf., 1998

Implementing Reversed Alternating Finite Automaton (r-AFA) Operations.

Proceedings of the Automata Implementation, 1998

Minimal Cover-Automata for Finite Languages.

Proceedings of the Automata Implementation, 1998

Practical Rules for Reduction on the Number of States of a State Diagram.

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Using DNA to solve the Bounded Post Correspondence Problem.

Proceedings of the International Colloquium Universal Machines and Computations, 1998

1997

NFA to DFA Transformation for Finite Languages over Arbitrary Alphabets.

Journal of Automata, Languages and Combinatorics, 1997

Language-theoretic Complexity of Disjunctive Sequences.

Discrete Applied Mathematics, 1997

Efficient Implementation of Regular Languages Using R-AFA.

Proceedings of the Automata Implementation, 1997

Decidability of fairness for context-free languages.

Proceedings of the 3rd International Conference Developments in Language Theory, 1997

At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems.

Proceedings of the DNA Based Computers, 1997

Rewriting Rules for Synchronization Languages.

Proceedings of the Structures in Logic and Computer Science, 1997

1996

Structural Equivalence and ET0L Grammars.

Theor. Comput. Sci., 1996

On Synchronization Languages.

Fundam. Inform., 1996

NFA to DFA Transformation for Finite Languages.

Proceedings of the Automata Implementation, 1996

EDTOL Structural Equivalence is Decidable.

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1995

P, NP and the Post Correspondence Problem

Inf. Comput., September, 1995

Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model.

J. UCS, 1995

Decision Problems for Patterns.

J. Comput. Syst. Sci., 1995

Complexity of E0L Structural Equivalence.

ITA, 1995

Nondeterminism Degrees for Context-Free Languages.

Developments in Language Theory, 1995

1994

The State Complexities of Some Basic Operations on Regular Languages.

Theor. Comput. Sci., 1994

Transducers and the Decidability of Independence in Free Monoids.

Theor. Comput. Sci., 1994

Measures of Nondeterminism for Pushdown Automata.

J. Comput. Syst. Sci., 1994

Pumping and Pushdown Machines.

ITA, 1994

on Sparse Languages L such that LL = Sigma.

Discrete Applied Mathematics, 1994

Synchronization expressions and languages.

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Complexity of E0L Structural Equivalence.

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Rediscovering Pushdown Machines.

Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993

Decidability of the Intercode Property.

Elektronische Informationsverarbeitung und Kybernetik, 1993

Morphisms and rational tranducers.

Bulletin of the EATCS, 1993

Inclusion is Undecidable for Pattern Languages.

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Structural Equivalences and ET0L Grammars (Extended Abstract).

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1992

Attempting guards in parallel: A data flow approach to execute generalized guarded commands.

International Journal of Parallel Programming, 1992

Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization.

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Characterizing Regular Languages with Polynomial Densities.

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Obtaining Tight Upper Bounds for the State Complexities of DFA Operations.

Proceedings of the Computing and Information, 1992

1991

Decidability of Structural Equivalence of E0L Grammars.

Theor. Comput. Sci., 1991

Primary Types of Instances of the Post Correspondence Problem.

Bulletin of the EATCS, 1991

Cellular automata, omegaomega-regular sets, and sofic systems.

Discrete Applied Mathematics, 1991

Data Flow Implementation of Generalized Guarded Commands.

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Degrees of Nondeterminism for Pushdown Automata.

Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

ParC project: practical constructs for parallel programming languages.

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

The Immortality Problem for LAG Systems.

Inf. Process. Lett., 1990

1989

On the Limit Sets of Cellular Automata.

SIAM J. Comput., 1989

1988

Can the catenation of two weakly sparse languages be dense?

Discrete Applied Mathematics, 1988

1986

Real-Time, Pseudo Real-Time, and Linear-Time ITA.

Theor. Comput. Sci., 1986

On the equivalence of grammars inferred from derivation.

Bulletin of the EATCS, 1986

A property of real-time trellis automata.

Discrete Applied Mathematics, 1986

1985

Translation of Systolic Algorithms between Systems of Different Topology.

Proceedings of the International Conference on Parallel Processing, 1985

1984

Iterative Tree Automata.

Theor. Comput. Sci., 1984