Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSheng Yu 0001
Person information
- affiliation: University of Western Ontario, London, ON, Canada
- affiliation (PhD 1986): University of Waterloo, ON, Canada
Other persons with the same name
- Sheng Yu — disambiguation page
- Sheng Yu 0002
![[0000-0002-6347-0507]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-6347-0507")
— Tsinghua University, Center for Statistical Science / Department of Industrial Engineering, Beijing, China (and 3 more) - Sheng Yu 0003 — Zhongnan University of Economics and Law, School of Business Administration, Wuhan, China (and 1 more)
- Sheng Yu 0004 — Oklahoma State University, Department of Computer Science, Stillwater, OK USA
- Sheng Yu 0005 — Dublin Institute of Technology, School of Electrical Engineering Systems, Ireland
- Sheng Yu 0006 — University of Chinese Academy of Sciences, Research Center of Ubiquitous Sensor Networks, Beijing, China
- Sheng Yu 0007 — Shaoguan University, School of Information Science and Engineering / Provincial Demonstration Software Institute, China (and 1 more)
- Sheng Yu 0008 — University of Oxford, Department of Oncology, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2017
[j94]Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu:
A Survey on Operational State Complexity. J. Autom. Lang. Comb. 21(4): 251-310 (2017)- 2015
- [i4]Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu:
A Survey on Operational State Complexity. CoRR abs/1509.03254 (2015) - 2014
- [c62]Hae-Sung Eom, Yo-Sub Han, Kai Salomaa, Sheng Yu:
State Complexity of Combined Operations for Prefix-Free Regular Languages. Discrete Mathematics and Computer Science 2014: 137-151 - 2013
- [j93]Arto Salomaa, Kai Salomaa, Sheng Yu:
Undecidability of state complexity. Int. J. Comput. Math. 90(6): 1310-1320 (2013) - 2012
- [j92]Yuan Gao, Sheng Yu:
State Complexity of Combined Operations with Union, Intersection, Star and Reversal. Fundam. Informaticae 116(1-4): 79-92 (2012) - [j91]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State Complexity of Two Combined Operations: Catenation-Star and Catenation-Reversal. Int. J. Found. Comput. Sci. 23(1): 51-66 (2012) - [j90]Yuan Gao, Sheng Yu:
State Complexity and Approximation. Int. J. Found. Comput. Sci. 23(5): 1085-1098 (2012) - [j89]Yuan Gao, Lila Kari, Sheng Yu:
State complexity of union and intersection of star on k regular languages. Theor. Comput. Sci. 429: 98-107 (2012) - [j88]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State complexity of combined operations with two basic operations. Theor. Comput. Sci. 437: 82-102 (2012) - [j87]Yuan Gao, Lila Kari, Sheng Yu:
State complexity of union and intersection of square and reversal on k regular languages. Theor. Comput. Sci. 454: 164-171 (2012) - [c61]Haiming Chen, Sheng Yu:
Derivatives of Regular Expressions and an Application. Computation, Physics and Beyond 2012: 343-356 - [r1]Hanlin Lu, Sheng Yu:
Statecharts. Handbook of Finite State Based Models and Applications 2012: 317-336 - 2011
- [j86]Yuan Gao, Kai Salomaa, Sheng Yu:
Transition Complexity of Incomplete DFAs. Fundam. Informaticae 110(1-4): 143-158 (2011) - [j85]Sheng Yu:
Preface. Int. J. Found. Comput. Sci. 22(7) (2011) - [j84]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection. Int. J. Found. Comput. Sci. 22(8): 1797-1812 (2011) - [c60]Yuan Gao, Sheng Yu:
State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal. DCFS 2011: 158-171 - [c59]Sheng Yu, Yuan Gao:
State Complexity Research and Approximation. Developments in Language Theory 2011: 46-57 - [c58]Arto Salomaa, Kai Salomaa, Sheng Yu:
Undecidability of the State Complexity of Composed Regular Operations. LATA 2011: 489-498 - [c57]Sheng Yu:
Derick Wood: Always in Our Hearts. CIAA 2011: 1-2 - 2010
- [j83]Stavros Konstantinidis, Nicolae Santean, Sheng Yu:
On implementing recognizable transductions. Int. J. Comput. Math. 87(2): 260-277 (2010) - [j82]Arto Salomaa, Sheng Yu:
Subword Occurrences, Parikh Matrices and Lyndon Images. Int. J. Found. Comput. Sci. 21(1): 91-111 (2010) - [j81]Helmut Jürgensen, Hermann A. Maurer, Arto Salomaa, Sheng Yu:
Seventy Years Derick Wood. J. Univers. Comput. Sci. 16(5): 577-585 (2010) - [c56]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State Complexity of Catenation Combined with Union and Intersection. CIAA 2010: 95-104 - [c55]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State Complexity of Catenation Combined with Star and Reversal. DCFS 2010: 58-67 - [c54]Yuan Gao, Kai Salomaa, Sheng Yu:
Transition Complexity of Incomplete DFAs. DCFS 2010: 99-109 - [e7]Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu:
Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Lecture Notes in Computer Science 6224, Springer 2010, ISBN 978-3-642-14454-7 [contents] - [i3]Yuan Gao, Sheng Yu:
State complexity of union and intersection combined with star and reversal. CoRR abs/1006.3755 (2010) - [i2]Bo Cui, Yuan Gao, Lila Kari, Sheng Yu:
State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation. CoRR abs/1006.4646 (2010)
2000 – 2009
- 2009
- [j80]Arto Salomaa, Kai Salomaa, Sheng Yu:
Variants of codes and indecomposable languages. Inf. Comput. 207(11): 1340-1349 (2009) - [j79]Daowen Qiu, Sheng Yu:
Hierarchy and equivalence of multi-letter quantum finite automata. Theor. Comput. Sci. 410(30-32): 3006-3017 (2009) - [j78]Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu:
Estimation of state complexity of combined operations. Theor. Comput. Sci. 410(35): 3272-3280 (2009) - [j77]Kai Salomaa, Sheng Yu, Jinfeng Zan:
Deciding determinism of caterpillar expressions. Theor. Comput. Sci. 410(37): 3438-3446 (2009) - [c53]Yo-Sub Han, Kai Salomaa, Sheng Yu:
State Complexity of Combined Operations for Prefix-Free Regular Languages. LATA 2009: 398-409 - [c52]Hanlin Lu, Sheng Yu:
Are Statecharts Finite Automata? CIAA 2009: 258-261 - [c51]Yuan Gao, Sheng Yu:
State Complexity Approximation. DCFS 2009: 121-130 - 2008
- [j76]Yuan Gao, Kai Salomaa, Sheng Yu:
The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal. Fundam. Informaticae 83(1-2): 75-89 (2008) - [j75]Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu:
State complexity of basic language operations combined with reversal. Inf. Comput. 206(9-10): 1178-1186 (2008) - [c50]Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu:
Estimation of State Complexity of Combined Operations. DCFS 2008: 168-181 - [c49]Arto Salomaa, Kai Salomaa, Sheng Yu:
Length Codes, Products of Languages and Primality. LATA 2008: 476-486 - [i1]Daowen Qiu, Sheng Yu:
Hierarchy and equivalence of multi-letter quantum finite automata. CoRR abs/0812.0852 (2008) - 2007
- [j74]Stavros Konstantinidis, Nicolae Santean, Sheng Yu:
Representation and uniformization of algebraic transductions. Acta Informatica 43(6): 395-417 (2007) - [j73]Sheng Yu:
Cover Automata for Finite Language. Bull. EATCS 92: 65-74 (2007) - [j72]Stavros Konstantinidis, Nicolae Santean, Sheng Yu:
Fuzzification of Rational and Recognizable Sets. Fundam. Informaticae 76(4): 413-447 (2007) - [j71]Kai Salomaa, Sheng Yu:
On the State Complexity of Combined Operations and their Estimation. Int. J. Found. Comput. Sci. 18(4): 683-698 (2007) - [j70]Sheng Yu, Qing Zhao:
Sc-Expressions in Object-Oriented Languages. Int. J. Found. Comput. Sci. 18(6): 1441-1452 (2007) - [j69]Cezar Câmpeanu, Nicolae Santean, Sheng Yu:
A Family of NFAs Free of State Reductions. J. Autom. Lang. Comb. 12(1-2): 69-78 (2007) - [j68]Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu:
On the existence of prime decompositions. Theor. Comput. Sci. 376(1-2): 60-69 (2007) - [j67]Arto Salomaa, Kai Salomaa, Sheng Yu:
State complexity of combined operations. Theor. Comput. Sci. 383(2-3): 140-152 (2007) - [c48]Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu:
State Complexity of Basic Operations Combined with Reversal. LATA 2007: 355-366 - [c47]Kai Salomaa, Sheng Yu, Jinfeng Zan:
Deterministic Caterpillar Expressions. CIAA 2007: 97-108 - 2006
- [j66]Nicolae Santean, Sheng Yu:
Nondeterministic Bimachines and Rational Relations with Finite Codomain. Fundam. Informaticae 73(1-2): 237-264 (2006) - [j65]Arto Salomaa, Sheng Yu:
Subword conditions and subword histories. Inf. Comput. 204(12): 1741-1755 (2006) - [c46]Yuan Gao, Kai Salomaa, Sheng Yu:
State Complexity of Catenation and Reversal Combined with Star. DCFS 2006: 153-164 - [c45]Nicolae Santean, Sheng Yu:
On Weakly Ambiguous Finite Transducers. Developments in Language Theory 2006: 156-167 - [c44]Sheng Yu:
On the State Complexity of Combined Operations. CIAA 2006: 11-22 - 2005
- [j64]Sheng Yu:
State Complexity: Recent Results and Open Problems. Fundam. Informaticae 64(1-4): 471-480 (2005) - [j63]Kai Salomaa, Sheng Yu:
Preface. Int. J. Found. Comput. Sci. 16(3): 399-401 (2005) - [j62]Cezar Câmpeanu, Nicolae Santean, Sheng Yu:
Mergible states in large NFA. Theor. Comput. Sci. 330(1): 23-34 (2005) - [c43]Lucian Ilie, Roberto Solis-Oba, Sheng Yu:
Reducing the Size of NFAs by Using Equivalences and Preorders. CPM 2005: 310-321 - [c42]Cezar Câmpeanu, Nicolae Santean, Sheng Yu:
Large NFA Without Mergeable States. DCFS 2005: 75-84 - [c41]Haitong Xu, Sheng Yu:
Adding States into Object Types. PLC 2005: 101-107 - [c40]Haitong Xu, Sheng Yu:
Type Theory and Language Constructs for Objects with States. DCM@ICALP 2005: 141-151 - 2004
- [j61]Lucian Ilie, Sheng Yu, Kaizhong Zhang:
Word Complexity And Repetitions In Words. Int. J. Found. Comput. Sci. 15(1): 41-55 (2004) - [j60]Cezar Câmpeanu, Sheng Yu:
Pattern expressions and pattern automata. Inf. Process. Lett. 92(6): 267-274 (2004) - [j59]Alexandru Mateescu, Arto Salomaa, Sheng Yu:
Subword histories and Parikh matrices. J. Comput. Syst. Sci. 68(1): 1-21 (2004) - [j58]Arto Salomaa, Derick Wood, Sheng Yu:
On the state complexity of reversals of regular languages. Theor. Comput. Sci. 320(2-3): 315-329 (2004) - [c39]Lucian Ilie, Gonzalo Navarro, Sheng Yu:
On NFA Reductions. Theory Is Forever 2004: 112-124 - [c38]Sheng Yu, Qing Zhao:
Process Traces With the Option Operation. PDPTA 2004: 750-755 - [e6]Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu:
Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3317, Springer 2004, ISBN 3-540-24318-6 [contents] - 2003
- [j57]Lucian Ilie, Sheng Yu:
Follow automata. Inf. Comput. 186(1): 140-162 (2003) - [j56]Cezar Câmpeanu, Kai Salomaa, Sheng Yu:
A Formal Study Of Practical Regular Expressions. Int. J. Found. Comput. Sci. 14(6): 1007-1018 (2003) - [j55]Lucian Ilie, Sheng Yu:
Reducing NFAs by invariant equivalences. Theor. Comput. Sci. 306(1-3): 373-390 (2003) - [c37]Lucian Ilie, Sheng Yu, Qing Zhao:
Introduction to Process Traces. PDPTA 2003: 1706-1712 - [c36]Lucian Ilie, Baozhen Shan, Sheng Yu:
Fast Algorithms for Extended Regular Expression Matching and Searching. STACS 2003: 179-190 - 2002
- [j54]Alexandru Mateescu, Arto Salomaa, Sheng Yu:
Factorizations of Languages and Commutativity Conditions. Acta Cybern. 15(3): 339-351 (2002) - [j53]Gheorghe Paun, Nicolae Santean, Gabriel Thierrin, Sheng Yu:
On the robustness of primitive words. Discret. Appl. Math. 117(1-3): 239-252 (2002) - [j52]Sheng Yu:
State Complexity of Finite and Infinite Regular Languages. Bull. EATCS 76: 142-152 (2002) - [j51]Sheng Yu:
Implementation and Application of Automata - Editor's Foreword. Int. J. Found. Comput. Sci. 13(1): 1-3 (2002) - [j50]Cezar Câmpeanu, Andrei Paun, Sheng Yu:
An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages. Int. J. Found. Comput. Sci. 13(1): 83-97 (2002) - [j49]Cezar Câmpeanu, Kai Salomaa, Sheng Yu:
Tight Lower Bound for the State Complexity of Shuffle of Regular Languages. J. Autom. Lang. Comb. 7(3): 303-310 (2002) - [j48]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. Univers. Comput. Sci. 8(2): 117-118 (2002) - [j47]Cristian Calude, Kai Salomaa, Sheng Yu:
Additive Distances and Quasi-Distances Between Words. J. Univers. Comput. Sci. 8(2): 141-152 (2002) - [j46]Kai Salomaa, Sheng Yu:
Decidability of EDT0L structural equivalence. Theor. Comput. Sci. 276(1-2): 245-259 (2002) - [c35]Lucian Ilie, Sheng Yu, Kaizhong Zhang:
Repetition Complexity of Words. COCOON 2002: 320-329 - [c34]Lucian Ilie, Sheng Yu:
Constructing NFA s by Optimal Use of Positions in Regular Expressions. CPM 2002: 279-288 - [c33]Lucian Ilie, Sheng Yu, Kaizhong Zhang:
Repetition Complexity of Words. DCFS 2002: 36 - [c32]Lucian Ilie, Sheng Yu:
Algorithms for Computing Small NFAs. MFCS 2002: 328-340 - [c31]Cezar Câmpeanu, Kai Salomaa, Sheng Yu:
Regex and Extended Regex. CIAA 2002: 77-84 - 2001
- [j45]Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu:
Tree-systems of morphisms. Acta Informatica 38(2): 131-153 (2001) - [j44]Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu:
A sharpening of the Parikh mapping. RAIRO Theor. Informatics Appl. 35(6): 551-564 (2001) - [j43]Sheng Yu:
State Complexity of Regular Languages. J. Autom. Lang. Comb. 6(2): 221-234 (2001) - [j42]Markus Holzer, Kai Salomaa, Sheng Yu:
On the State Complexity of k-Entry Deterministic Finite Automata. J. Autom. Lang. Comb. 6(4): 453-466 (2001) - [j41]Sheng Yu:
Class-is-type is inadequate for object reuse. ACM SIGPLAN Notices 36(6): 50-59 (2001) - [j40]Cezar Câmpeanu, Nicolae Santean, Sheng Yu:
Minimal cover-automata for finite languages. Theor. Comput. Sci. 267(1-2): 3-16 (2001) - [c30]Sheng Yu:
The time dimension of computation models. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 161-172 - [c29]Michael Domaratzki, Jeffrey O. Shallit, Sheng Yu:
Minimal Covers of Formal Languages. Developments in Language Theory 2001: 319-329 - [e5]Masami Ito, Gheorghe Paun, Sheng Yu:
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin. World Scientific 2001, ISBN 981-02-4739-7 [contents] - [e4]Sheng Yu, Andrei Paun:
Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Lecture Notes in Computer Science 2088, Springer 2001, ISBN 3-540-42491-1 [contents] - 2000
- [j39]Alexandru Mateescu, Kai Salomaa, Sheng Yu:
On Fairness of Many-Dimensional Trajectories. J. Autom. Lang. Comb. 5(2): 145-157 (2000) - [j38]Kai Salomaa, Xiuming Wu, Sheng Yu:
Efficient Implementation of Regular Languages Using Reversed Alternating Finite Automata. Theor. Comput. Sci. 231(1): 103-111 (2000) - [j37]Lila Kari, Greg Gloor, Sheng Yu:
Using DNA to solve the Bounded Post Correspondence Problem. Theor. Comput. Sci. 231(2): 193-203 (2000) - [j36]Kai Salomaa, Sheng Yu:
Alternating finite automata and star-free languages. Theor. Comput. Sci. 234(1-2): 167-176 (2000) - [c28]Andrei Paun, Nicolae Santean, Sheng Yu:
An O(n2) Algorithm for Constructing Minimal Cover Automata for Finite Languages. CIAA 2000: 243-251 - [p2]Cezar Câmpeanu, Kai Salomaa, Sheng Yu:
State Complexity of Regular Languages: Finite versus Infinite. Finite Versus Infinite 2000: 53-73 - [e3]Arto Salomaa, Derick Wood, Sheng Yu:
A Half-Century of Automata Theory: Celebration and Inspiration. World Scientific 2000, ISBN 981-02-4590-4 [contents]
1990 – 1999
- 1999
- [j35]Kai Salomaa, Sheng Yu:
Generalized Fairness and Context-Free Languages. Acta Cybern. 14(1): 193-203 (1999) - [j34]Gheorghe Paun, Sheng Yu:
On Synchronization in P Systems. Fundam. Informaticae 38(4): 397-410 (1999) - [j33]Greg Gloor, Lila Kari, Michelle Gaasenbeek, Sheng Yu:
Towards a DNA Solution to the Shortest Common Superstring Problem. Int. J. Artif. Intell. Tools 8(4): 385-400 (1999) - [j32]Kai Salomaa, Sheng Yu:
Synchronization Expressions and Languages. J. Univers. Comput. Sci. 5(9): 610-621 (1999) - [c27]Kai Salomaa, Sheng Yu:
Synchronization Expressions: Characterization Results and Implementation. Jewels are Forever 1999: 45-56 - [c26]Arto Salomaa, Sheng Yu:
On the decomposition of finite languages. Developments in Language Theory 1999: 22-31 - [c25]Cristian Calude, Kai Salomaa, Sheng Yu:
Metric Lexical Analysis. WIA 1999: 48-59 - [c24]Cezar Câmpeanu, Karel Culík II, Kai Salomaa, Sheng Yu:
State Complexity of Basic Operations on Finite Languages. WIA 1999: 60-70 - 1998
- [j31]Lila Kari, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu:
DNA Computing, Sticker Systems, and Universality. Acta Informatica 35(5): 401-420 (1998) - [j30]Kai Salomaa, Sheng Yu:
Synchronization Expressions with Extended Join Operation. Theor. Comput. Sci. 207(1): 73-88 (1998) - [c23]Lila Kari, Greg Gloor, Sheng Yu:
Using DNA to solve the Bounded Post Correspondence Problem. MCU (1) 1998: 51-65 - [c22]Jin Ma, Sheng Yu:
Practical Rules for Reduction on the Number of States of a State Diagram. TOOLS (26) 1998: 46- - [c21]Cezar Câmpeanu, Nicolae Santean, Sheng Yu:
Minimal Cover-Automata for Finite Languages. Workshop on Implementing Automata 1998: 43-56 - [c20]Sandra Huerter, Kai Salomaa, Xiuming Wu, Sheng Yu:
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations. Workshop on Implementing Automata 1998: 69-81 - [e2]Derick Wood, Sheng Yu:
Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers. Lecture Notes in Computer Science 1436, Springer 1998, ISBN 3-540-64694-9 [contents] - 1997
- [j29]Cristian Calude, Sheng Yu:
Language-theoretic Complexity of Disjunctive Sequences. Discret. Appl. Math. 80(2-3): 203-209 (1997) - [j28]