Sheng Yu
According to our database1, Sheng Yu
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
On csauthors.net:
Bibliography
2017
Stratified pooling based deep convolutional neural networks for human action recognition.
Multimedia Tools Appl., 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
A Survey on Operational State Complexity.
Journal of Automata, Languages and Combinatorics, 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(n2) 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.
Proceedings of the Developments in Language Theory II, 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
Undecidability of CA Classification Schemes.
Complex Systems, 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