Journal Papers:
Yuan Gao, Lila Kari, and Sheng Yu, State complexity of union and intersection
of star on k regular languages, Theoretical Computer Science Science (TCS), Volume 429, (2012) 98-107
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of two combined
operations: catenation-star and catenation-reversal, International
Journal of Foundations of Computer Science (IJFCS), Volume 23, Number 1, (2012) 51-66
Yuan Gao, Kai Salomaa, and Sheng Yu, Transition complexity of incomplete DFAs,
Fundamenta Informaticae (FI), Volume 110, Number 1-4 (2011) 143-158
Yuan Gao, Lila Kari, and Sheng Yu, State complexity of union and intersection of square and reversal on k regular languages, Theoretical Computer Science Science (TCS), submitted by invitation, (2011) 15 pages
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of combined operations
with two basic operations, Theoretical Computer Science Science (TCS), accepted, (2011) 37 pages
Yuan Gao and Sheng Yu, State complexity of combined operations with union,
intersection, star and reversal, Fundamenta Informaticae (FI), accepted, (2011) 15 pages
Sheng Yu and Yuan Gao, State complexity and approximation, International Journal of Foundations of
Computer Science (IJFCS), submitted by invitation, (2011) 12 pages
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of two combined
operations: catenation-union and catenation-intersection, International
Journal of Foundations of Computer Science (IJFCS), Volume 22, Number 8 (2011) 1797-1812
Yuan Gao and Sheng Yu, State complexity approximation of combined
operations, Journal of Computer and System Sciences (JCSS), submitted, (2009) 16 pages
Zoltan Esik, Yuan Gao, Guangwu Liu, and Sheng Yu, Estimation of state
complexity of combined operations, Theoretical Computer Science,
Volume 410, Issue 35 (2009) 3272-3280
Yuan Gao, Kai Salomaa, and Sheng Yu, The state complexity of two combined
operations: star of catenation and star of reversal, Fundamenta
Informaticae, Volume 83, Number 1-2 (2008) 75-89
Yuan Gao, Ge Yu, Fangfang Li, and Yaxin Yu, A data stream operator scheduling
algorithm for multiple goals, Journal of Huazhong University of Science
And Technology (Nature Science) (2005) Volume 33 Number z1
|
Conference Papers:
Yuan Gao and Sheng Yu, State complexity of four combined operations composed
of union, intersection, star and reversal, Descriptional
Complexity of Formal Systems 13th Workshop (DCFS 2011), Limburg/Giessen, Germany 2011, 158-171
Sheng Yu and Yuan Gao, State complexity research and
approximation, 15th Conference on Developments in Language Theory (DLT
2011), invited talk, LNCS 6795, 2011, 46-57
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of catenation
combined with union and intersection, Proceedings of the 15th
International Conference on Implementation and Application of Automata (CIAA 2010),
Winnipeg, Canada, 2010, 89-98
Yuan Gao, Kai Salomaa, and Sheng Yu, Transition complexity of incomplete
DFAs (preliminary version), Proceedings of Descriptional Complexity of Formal Systems 12th
Workshop (DCFS 2010), Saskatoon, Canada, 2010, 123-134
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of catenation
combined with star and reversal, Proceedings of Descriptional Complexity
of Formal Systems 12th Workshop (DCFS 2010), Saskatoon, Canada, 2010, 74-85
Yuan Gao and Sheng Yu, State complexity approximation, Proceedings of
Descriptional Complexity of Formal Systems (DCFS 2009), Magdeburg, (2009) 163-174
Zoltan Esik, Yuan Gao, Guangwu Liu, and Sheng Yu, Estimation of state
complexity of combined operations (preliminary version), Proceedings of
Descriptional Complexity of Formal Systems (DCFS 2008), Charlottetown, (2008) 168-181
Yuan Gao, Kai Salomaa, Sheng Yu, State complexity of star of catenation and
reversal, Proceedings of Descriptional Complexity of Formal Systems (DCFS 2006),
(2006) 153-164
Yuan Gao, Ge Yu, Fangfang Li, and Yaxin Yu, A data stream operator scheduling
algorithm for multiple goals (preliminary version), Proceedings of the 2nd
China National Computer Conference, Wuhan, (2005)
|
Technical Reports:
Yuan Gao and Sheng Yu, State complexity of union and intersection combined
with star and reversal, Computing Research Repository (2010)
arXiv:1006.3755v1
Bo Cui, Yuan Gao, Lila Kari, and Sheng Yu, State complexity of two combined
operations: reversal-catenation and star-catenation, Computing Research
Repository (2010) arXiv:1006.4646v1
Yuan Gao, Zoltan Esik, Guangwu Liu, and Sheng Yu, State complexity of
intersection, union and catenation on k regular languages, Technical Report
715, Department of Computer Science, the University of Western Ontario, 2008
|
