| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sheng Yu, Prudence W. H. Wong |
A note on "An optimal online algorithm for single machine scheduling to minimize total general completion time".  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
State Complexity of Two Combined Operations: Catenation-Star and Catenation-Reversal. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Subhash Kak |
A Survey of Prediction Using Social Media |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu, Jude-Thaddeus Ojiaku, Prudence W. H. Wong, Yinfeng Xu |
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiming Chen, Sheng Yu |
Derivatives of Regular Expressions and an Application. |
Computation, Physics and Beyond |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu |
Preface. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jie-xian Zeng, Sheng Yu, Xiang Fu, Chao-xia Li |
A Line Segments Matching Method based on Epipolar-line Constraint and Line Segment Features. |
JSW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Shijie Zhou, Leyuan Liu, Rui Yang, Jiaqing Luo |
Detecting Malware Variants by Byte Frequency. |
JNW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
Transition Complexity of Incomplete DFAs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Undecidability of the State Complexity of Composed Regular Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Damon Berry, Jesús Bisbal |
Performance analysis and assessment of a tf-idf based archetype-SNOMED-CT binding algorithm. |
CBMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Yuan Gao |
State Complexity Research and Approximation. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Yinfeng Xu, Ming Liu, Feifeng Zheng |
Optimal Policy for Single-Machine Scheduling with Deterioration Effects, Learning Effects, Setup Times, and Availability Constraints. |
COCOA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Sheng Yu |
State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu |
Derick Wood: Always in Our Hearts. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Sheng Yu |
Subword Occurrences, Parikh Matrices and Lyndon Images. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Jürgensen, Hermann A. Maurer, Arto Salomaa, Sheng Yu |
Seventy Years Derick Wood. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuan Gao, Sheng Yu |
State complexity of union and intersection combined with star and reversal |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
State Complexity of Catenation Combined with Star and Reversal |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
Transition Complexity of Incomplete DFAs |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, Nicolae Santean, Sheng Yu |
On implementing recognizable transductions. |
Int. J. Comput. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu (eds.) |
Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Shijie Zhou, Sha Wang |
Fast-flux attack network identification based on agent lifespan. |
WCNIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Cui, Yuan Gao, Lila Kari, Sheng Yu |
State Complexity of Catenation Combined with Union and Intersection. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daowen Qiu, Sheng Yu |
Hierarchy and equivalence of multi-letter quantum finite automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu |
Estimation of state complexity of combined operations. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu, Jinfeng Zan |
Deciding determinism of caterpillar expressions. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Variants of codes and indecomposable languages. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Sheng Yu |
State Complexity Approximation |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Sheng Yu |
State Complexity of Combined Operations for Prefix-Free Regular Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanlin Lu, Sheng Yu |
Are Statecharts Finite Automata?. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
interaction machines, statecharts, finite automata |
| 1 | Xiangfeng Luo, Ning Fang, Weimin Xu, Sheng Yu, Kai Yan, Huizhe Xiao |
Experimental study on the extraction and distribution of textual domain keywords. |
Concurrency and Computation: Practice and Experience |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu |
State complexity of basic language operations combined with reversal. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daowen Qiu, Sheng Yu |
Hierarchy and equivalence of multi-letter quantum finite automata |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Length Codes, Products of Languages and Primality. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Catenation of languages, language decomposition, prime decomposition, length code, star language |
| 1 | Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu |
Estimation of State Complexity of Combined Operations. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
State complexity of combined operations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu |
On the existence of prime decompositions. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Qing Zhao |
Sc-Expressions in Object-Oriented Languages. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
On the State Complexity of Combined Operations and their Estimation. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, Nicolae Santean, Sheng Yu |
Representation and uniformization of algebraic transductions. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, Nicolae Santean, Sheng Yu |
Fuzzification of Rational and Recognizable Sets. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Nicolae Santean, Sheng Yu |
A Family of NFAs Free of State Reductions. |
Journal of Automata, Languages and Combinatorics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu |
Cover Automata for Finite Language. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu |
State Complexity of Basic Operations Combined with Reversal. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu, Jinfeng Zan |
Deterministic Caterpillar Expressions. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
tree walking automata, decidability, regular expressions, determinism |
| 1 | Arto Salomaa, Sheng Yu |
Subword conditions and subword histories. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolae Santean, Sheng Yu |
Nondeterministic Bimachines and Rational Relations with Finite Codomain. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nicolae Santean, Sheng Yu |
On Weakly Ambiguous Finite Transducers. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
State Complexity of Catenation and Reversal Combined with Star. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiangfeng Luo, Ning Fang, Weimin Xu, Sheng Yu, Kai Yan, Huizhe Xiao |
Experiments Study for Scientific Texts Domain Keyword Acquisition. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
Domain keyword, Knowledge Acquisition, Semantic Grid, Knowledge Grid |
| 1 | Sheng Yu |
On the State Complexity of Combined Operations. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Nicolae Santean, Sheng Yu |
Mergible states in large NFA. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Preface. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu |
State Complexity: Recent Results and Open Problems. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Haitong Xu, Sheng Yu |
Adding States into Object Types. |
PLC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lucian Ilie, Roberto Solis-Oba, Sheng Yu |
Reducing the Size of NFAs by Using Equivalences and Preorders. |
CPM |
2005 |
DBLP DOI BibTeX RDF |
state complexity, finite automata, equivalences, regular expression matching, preorders |
| 1 | Cezar Câmpeanu, Nicolae Santean, Sheng Yu |
Large NFA Without Mergeable States. |
DCFS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Sheng Yu |
Pattern expressions and pattern automata. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Derick Wood, Sheng Yu |
On the state complexity of reversals of regular languages. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Sheng Yu, Kaizhong Zhang |
Word Complexity And Repetitions In Words. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Mateescu, Arto Salomaa, Sheng Yu |
Subword histories and Parikh matrices. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu, Qing Zhao |
Process Traces With the Option Operation. |
PDPTA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lucian Ilie, Gonzalo Navarro, Sheng Yu |
On NFA Reductions. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu (eds.) |
Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers |
CIAA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lucian Ilie, Sheng Yu |
Reducing NFAs by invariant equivalences. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
A Formal Study Of Practical Regular Expressions. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Sheng Yu |
Follow automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Baozhen Shan, Sheng Yu |
Fast Algorithms for Extended Regular Expression Matching and Searching. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
extended regular expressions, algorithms, complexity, pattern matching, finite automata |
| 1 | Lucian Ilie, Sheng Yu, Qing Zhao |
Introduction to Process Traces. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexandru Mateescu, Arto Salomaa, Sheng Yu |
Factorizations of Languages and Commutativity Conditions. |
Acta Cybern. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Decidability of EDT0L structural equivalence. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu |
Implementation and Application of Automata - Editor's Foreword. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Andrei Paun, Sheng Yu |
An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
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 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Additive Distances and Quasi-Distances Between Words. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
Tight Lower Bound for the State Complexity of Shuffle of Regular Languages. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu |
State Complexity of Finite and Infinite Regular Languages. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gheorghe Paun, Nicolae Santean, Gabriel Thierrin, Sheng Yu |
On the robustness of primitive words. |
Discrete Applied Mathematics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Sheng Yu |
Algorithms for Computing Small NFAs. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata |
| 1 | Lucian Ilie, Sheng Yu |
Constructing NFA s by Optimal Use of Positions in Regular Expressions. |
CPM |
2002 |
DBLP DOI BibTeX RDF |
right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata |
| 1 | Lucian Ilie, Sheng Yu, Kaizhong Zhang |
Repetition Complexity of Words. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
repetition complexity, Lempel-Ziv complexity, subword complexity, infinite words, iterated morphisms, ultimate periodicity, de Bruijn words, algorithms, words |
| 1 | Lucian Ilie, Sheng Yu, Kaizhong Zhang |
Repetition Complexity of Words. |
DCFS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
Regex and Extended Regex. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
regex, extended regex, programming languages, formal languages, Regular expressions |
| 1 | Cezar Câmpeanu, Nicolae Santean, Sheng Yu |
Minimal cover-automata for finite languages. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu |
A sharpening of the Parikh mapping. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Yu |
Class-is-type is inadequate for object reuse. |
SIGPLAN Notices |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu |
Tree-systems of morphisms. |
Acta Inf. |
2001 |
DBLP DOI BibTeX RDF |
membrane computing, closure property, morphism, Lindenmayer system |
| 1 | Markus Holzer, Kai Salomaa, Sheng Yu |
On the State Complexity of k-Entry Deterministic Finite Automata. |
Journal of Automata, Languages and Combinatorics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu |
State Complexity of Regular Languages. |
Journal of Automata, Languages and Combinatorics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Jeffrey Shallit, Sheng Yu |
Minimal Covers of Formal Languages. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Ito, Gheorghe Paun, Sheng Yu (eds.) |
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu |
The time dimension of computation models. |
Where Mathematics, Computer Science, Linguistics and Biology Meet |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu, Andrei Paun (eds.) |
Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers |
CIAA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lila Kari, Greg Gloor, Sheng Yu |
Using DNA to solve the Bounded Post Correspondence Problem. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Alternating finite automata and star-free languages. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Xiuming Wu, Sheng Yu |
Efficient Implementation of Regular Languages Using Reversed Alternating Finite Automata. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")