Termination of nondeterministic quantum programs Yangjia LiNengkun YuMingsheng Ying Original Article 30 October 2013 Pages: 1 - 24
Visibly rational expressions Laura BozzelliCésar Sánchez Original Article 04 December 2013 Pages: 25 - 49
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks Suo Ping LiYong Qiang ZhouYong Zhou Original Article 08 January 2014 Pages: 51 - 60