Search results for: Mingsheng Ying
Formal Aspects of Computing > 2019 > 31 > 1 > 3-25
IEEE Transactions on Information Theory > 2014 > 60 > 4 > 2069 - 2079
Acta Informatica > 2014 > 51 > 1 > 1-24
Journal of Computer and System Sciences > 2013 > 79 > 7 > 1181-1198
Science of Computer Programming > 2013 > 78 > 9 > 1679-1700
Journal of Computer and System Sciences > 2013 > 79 > 1 > 152-172
Theoretical Computer Science > 2012 > 446 > Complete > 75-97
Chinese Science Bulletin > 2012 > 57 > 16 > 1903-1909
IEEE Transactions on Software Engineering > 2011 > 37 > 4 > 466 - 485
Artificial Intelligence > 2010 > 174 > 12-13 > 951-983
Artificial Intelligence > 2010 > 174 > 2 > 162-176
Acta Informatica > 2010 > 47 > 4 > 221-250
IEEE Transactions on Computers > 2009 > 58 > 6 > 728 - 743
IEEE Transactions on Information Theory > 2009 > 55 > 3 > 1320 - 1330
Theoretical Computer Science > 2008 > 403 > 2-3 > 192-201