Selected Publications and Presentations
-
J. Huang, C. Huang, C. Xing, Z. Chang, Y. Zhao, and Q. Zhao,
“An Energy-Efficient Communication Scheme for
Collaborative Mobile Clouds in Content Sharing: Design and Optimization,”
IEEE Transactions on Industrial Informatics,
vol. 15, no. 10, 2019.
-
J.Huang, C. Huang, C. Xing
"Harnessing D2D Communications in Collaborative Mobile Clouds for
Content Sharing: An Energy Efficient Communication Scheme",
The 12th EAI International Conference on Mobile
Multimedia Communications (MOBIMEDIA 2019),
Weihai, China, July 2019
(Best Paper Award)
-
Jun Huang; Yide Zhou; Qiang Duan; Cong-Cong Xing,
"Fast approaches for semantic service composition in big data environment,"
International Journal of Big Data Intelligence,
Vol.6 No.1,
January, 2019
-
J. Huang, Y. Liao, C.-C. Xing, and Z. Chang,
“Multi-hop D2D Communications with Network Coding: From A Performance Perspective,”
IEEE Transactions on Vehicular Technology,
Volume: 68 , Issue: 3, 2019
-
C. Xing, J. Huang
"Understanding the Identity Function in SML by Theory,"
Journal of Computing Sciences in Colleges, vol 34, no 7, 2019.
-
J. Huang, J. Y. Zou, C.-C. Xing,
"Energy-Efficient Mode Selection for D2D Communications in Cellular Networks",
IEEE Transactions on Cognitive Communications and Networking,
Vol 4, Issue 4, 2018.
-
J. Huang, Y. Liao, C.-C. Xing
"Efficient Power Control for D2D with SWIPT",
2018 ACM Conference on Research in
Adaptive and Convergent Systems (RACS 2018), Honolulu, HI, USA,
2018
-
Jun Huang, Hao Xiang, Cong-Cong Xing, Qiang Duan,
"Multi-priority fork-join scheduling in SDN for high-performance
data transmissions in mobile crowdsourcing",
Pervasive and Mobile Computing (Elsevier)
Volume 49, September 2018, Pages 153-167.
-
J.Huang, J. Y. Zou, C.-C. Xing,
"Competitions among Service Providers
in Cloud Computing: A New Economic Model",
IEEE Transactions on Network and Service Management,
Vol 15, Issue 2, 2018.
-
J. Huang, S. Huang, C.-C. Xing, Y. Qian,
"Game-Theoretic Power Control Mechanisms for
Device-to-Device Communications Underlaying Cellular System",
IEEE Transactions on Vehicular Technology,
Vol 67, Issue 6, 2018.
-
Cong-Cong Xing, Jun Huang
"ADDING GAME THEORY INTO COMPUTER SCIENCE",
Journal of Computing Science in Colleges, vol. 33, no. 4, 2018.
-
Lin, Zhaowen; xiao, fei; Sun, Yi; Ma, Yan; Xing, Cong-Cong; Huang, Jun
"A Secure Encryption-Based Malware Detection System,"
KSII Transactions on Internet and Information Systems,
Vol 12, Issue 4, 2018.
-
J. Huang, M. Zhao, Y. Zhou, and C. Xing,
"In-Vehicle Networking: Protocols,
Challenges, and Solutions,"
IEEE Network, Vol 33, Issue 1, 2018.
-
J. Huang, C. Xing, Y. Qian, Z. J. Hass,
"Resource Allocation for Multi-cell Device-to-Device Communications Underlaying 5G Networks:
A Game-Theoretic Mechanism with Incomplete Information".
IEEE Transactions on Vehicular Technology. 2017. (in press)
-
Jun. Huang, Shuai Huang, Cong-Cong Xing
"When D2D meets Network coding: A tutorial"
Proceedings of the ACM International Conference on Research in Adaptive
and Convergent Systems (ACM RACS 2017), Poland, Sept., 2017.
-
Jun Huang, Yide Zhou, Qiang Duan, Cong-Cong Xing
"Semantic Web Service Composition in Big Data Environment".
IEEE Global Communications Conference (IEEE GLOBECOM 2017),
Singapore, Dec., 2017.
-
J. Huang, H. Gharavi, H. Yan, C. Xing, “Network Coding in Relay-based Device-to-Device Communications,”
IEEE Network, vol. 31, no. 4, 2017.
-
J. Huang, C. Xing, S. Shin, F. Hou, C. Hsu, “Optimizing M2M Communications and Quality of Service in the IoT for Sustainable Smart Cities,”
IEEE Transactions on Sustainable Computing, 2017 (in press).
-
J. Huang, C. Xing, and C. Wang, “Simultaneous Wireless Information and Power Transfer:
Technologies, Applications, and Research Challenges,”
IEEE Communications Magazine, vol. 55, no. 11, 2017.
-
J. Huang, F. Fang, C. Xing, and Y. Qian, “IP Flow Mobility in the
Industry: From an Economic Perspective,” IEEE Access, Feb., 2017.
-
J. Huang, L. Xu, Q. Duan, C. Xing, J. Luo, and S. Yu, “Modeling and Performance
Analysis for Multimedia Data Flows Scheduling in Software Defined Networks,”
Journal of Network and Computer Applications, Elsevier, vol. 83, Apr., 2017.
-
C. Xing and J. Huang, "Programming the Prisoners' Dilemma Problem,"
Journal of Computing Science in Colleges, vol. 32, no. 5, 2017.
-
J. Huang, M. Zeng, C. Xing, J. Luo, and F. Hou, “Modeling and Analysis for Admission
Control of M2M Communications Using Network Calculus,”
in Proc. 2017 IEEE International Conference on Communications (IEEE ICC 2017), Paris, France, May, 2017.
-
Cong-cong. Xing, Jun.Huang, Shui Yu,
"Modeling and Tracing Events in RFID-enabled Supply Chain Systems" (book chapter).
Chapter 5 of “Managing the Internet of Things: Architectures, Theories and Applications” (IET Telecommunications Series 67).
The Institution of Engineering and Technology, London, UK. 2016
-
Cong-cong Xing, Jun Huang, Kun Hua, Song Guo.
"A New Clone Detection Approach in RFID-Enabled Supply Chains” (book chapter).
Chapter 6 of “Managing the Internet of Things: Architectures, Theories and Applications” (IET Telecommunications Series 67) .
The Institution of Engineering and Technology, London, UK. 2016
-
J. Huang, Q. Duan, C. Xing
"Topology Control for Building Scalable Energy Efficient Internet of Things” (book chapter).
Chapter 1 of “Managing the Internet of Things: Architectures, Theories and Applications” (IET Telecommunications Series 67).
The Institution of Engineering and Technology, London, UK. 2016
-
Jun Huang, Qiang Duan, Cong-cong Xing, and Honggang
Wang. Topology Control for Building A Large-scale and
Energy-ecient Internet of Things. IEEE Wireless Communications
(Special Issue on Architecture for Next Gen Wireless Networks: Scalability, Flexibility and Interoperability). 2016 (in press)
-
Cong-Cong Xing. Seven Different Proofs for |P(A)|=2^n. Journal of Computing Sciences in College. Vol 31, No 5, May 2016.
-
Cong-Cong Xing. A mutually beneficial assignment to mathematics and computer programming.
Journal of Computing Sciences in College. Vol 31, No 5, May 2016.
-
Cong-Cong Xing. Category Theory and Wireless/Mobile Computing.
Chongqing University of Posts and Telecommunications,Electronic Information and Networking Research Institute, Chongqing, China.
Invited address. 2015.
-
J. Huang, F. Fang, Y. Sun, H. Yan, C. Xing, Q. Duan, W. Wang.
'A New Economic Model in Cloud Computing: Cloud Service Provider vs. Network Service Provider'.
2015 IEEE Global Communications Conference: Communication QoS, Reliability and Modeling (Globecom 2015), 2015.
-
Jun Huang, Yi Sun, Cong-cong Xing, Yanxiao Zhao, and Qianbin Chen.
A Distributed Game-Theoretic Power Control
Mechanism for Device-to-Device
Communications Underlaying Cellular Network.
The 10th International Conference on Wireless Algorithms, Systems, and Applications (WASA 2015), LNCS 9204, 2015.
-
Jun Huang, Liqian Xu, Mengxi Zeng, Cong-cong Xing, Qiang Duan, Yuhong Yan.
Hybrid Scheduling for Quality of Service Guarantee in Software-Defined Networks to Support Multimedia Cloud Services.
12th International Conference on Services Computing (SCC 2015), 2015.
-
Jun Huang, Yi Sun, Fang Fang, Cong-Cong Xing, Yanxiao Zhao and Kun Hua. Multiple Service Providers with IP Flow Mobility: From An Economic Perspective.
The 24th International Conference on Computer Communications and Networks (ICCCN 2015), 2015.
-
Jun Huang, Liqian Xu, Mengxi Zeng, Huifang Yan, Qiang Duan, Cong-Cong Xing.
Hybrid Scheduling for Quality of Service Guarantee of Multimedia Data Flows in Software Defined Networks
8th International Conference on Mobile Multimedia Communications (MOBIMEDIA 2015), 2015.
-
Jun Huang, Xiang Li, Cong-Cong Xing, Wei Wang, Kun Hua, Song Guo. {\em
DTD: A Novel Double-Track Approach to Clone Detection for RFID-enabled Supply Chains}.
IEEE Transactions on Emerging Topics in Computing. In press, 2015.
-
Cong-Cong Xing. How can memory bits and power sets benefit each other? Journal of Computing Sciences in College. Vol 30, No 5, 2015.
-
Jun Huang, Liqian Xu, Cong-Cong Xing and Qiang Duan. {\em A Novel Bio-Inspired Multi-objective Optimization
Algorithm for Designing Wireless Senor Networks in the Internet of Things}. J. of Sensors. In press, 2015.
-
J. Huang, Y. Ying, Y. Sun, Y. Zhao, C. Xing, Q. Duan. Game Theoretic Resource Allocation for Multicell D2D Communications with Incomplete Information.
IEEE International Conference on Communications (ICC 2015), 2015.
-
Jun Huang, Meisong Sun, Shitong Zhu, Cong-cong Xing. {\em A Source-location Privacy Protection Strategy via Pseudo Normal Distribution-based
Phantom Routing in WSNs}. The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015, Wireless Communications and Networking Track), 2015.
-
Qiang Duan, Mengxi Zeng, Jun Huang, Cong-cong Xing. {\em Performance Analysis for A Service Delivery Platform in
Software Defined Network}. The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015, Software Platforms Track), 2015.
-
Yanbing Liu, Bo Gong, Cong-Cong Xing and Yi Jian
{\em A Virtual Machine Migration Strategy Based on Time Series Workload Prediction Using Cloud Model}.
Mathematical Problems in Engineering, Volume 2014, Article ID 973069, 2014.
-
J. Huang, X. Li, Y. Ying, Y. Sun, Q. Duan, C. Xing, and K. Sohraby {\em FAMOUS: A Novel Fast Multi-Constrained Multicast Routing Algorithm}.
ACM 2014 International Conference on Research in Adaptive and Convergent Systems (RACS 2014), 2014.
- Cong-Cong Xing. {\em Addding Coinduction into Discrete Mathematics}.
Journal of Computing Sciences in Colleges. Vol 29, No 5, 2014.
-
Y. Liu, X. Gong, and C. Xing {\em A Novel Trust-Based Secure Data Aggregation for Internet of Things}.
The 9th International Conference on Computer Science & Education (ICCSE 2014), 2014.
-
Hong Tang, Hai Cen Shen, Cong-Cong Xing. {\em A Teamwork Approach to Improving the Downloading Time in BitTorrent-like Systems}.
International Journal of Computational Science and Engineering.
In press, 2014.
- Cong-Cong Xing. {\em The struggle with syntactic sugar, what it denotes, and the meaning of programs}.
Journal of Computing Sciences in Colleges. Vol 28, No 5, 2013.
-
Hong Tang, Wenke Hu, Guofeng Zhao, Yu Yan, Cong-Cong Xing. {\em Traffic Measurement between Peers
in BitTorrent-Like Networks}. Applied Mechanics and Materials, Vol. 380-384 (Main Theme Vehicle,
Mechatronics and Information Technologies), 2013.
- Cong-Cong Xing. {\em The struggle with syntactic sugar, what it denotes, and the meaning of programs}.
Journal of Computing Sciences in Colleges. Vol 28, No 5, 2013.
- Cong-Cong Xing, Wendy Zhang, Jiahao Li. {\em On the Dovetailing Counting Method}. Journal of
Computing Sciences in Colleges. Vol. 28, No. 5, 2013.
- Cong-Cong Xing, DesLey Plaisance. {\em Toward Improving MyMathLab}. 2013 Research Council of Mathematics Learning (RCML) Annual Conference, Tulsa, OK, 2013.
- Hong Tang, Yu Yan, Rong Hu, Cong-Cong Xing, {\em Traffic Modeling and Analysis on BitTorrent-Like Peer-to-Peer Networks},
International Journal of Convergence Information Technology, Vol. 8, No. 4, 2013.
- Yanbing Liu, Shousheng Jia, Cong-Cong Xing, {\em A Novel Behavior-Based Virus Detection Method for Smart Mobile Terminals,}
Discrete Dynamics in Nature and Society, vol. 2012, Article ID 262193, 2012.
- Hong Tang, Sha-sha Xiao, Guo-feng Zhao, Cong-Cong Xing. {\em Traffic Behaviors on the Mobile Internet},
International Journal of Convergence Information Technology, Vol. 7, No. 7, 2012.
- Chuan Xu, Hong Tang, Cong-Cong Xing. {\em P2P Traffic Localization Based on Peer-List Caching},
International Journal of Advancements in Computing Technology, Vol. 4, No. 5, 2012.
- Yanbing Liu, Simei Tan, Wenping Hu, Cong-Cong Xing. {\em Design and statistical analysis of a new chaotic block
cipher for wireless sensor networks}, Communications in Nonlinear Science and Numerical Simulation
, Elsevier, Vol 17, No. 8, 2012.
- Cong-Cong Xing. {\em What Exactly to Prove?
}, Journal of Computing Sciences in Colleges, vol. 27, No. 5, 2012.
- Cong-Cong Xing. {\em A Web-based Graphical Set Theory Proof Assistance System
}, Journal of Computing Sciences in Colleges, Vol. 26, No. 5, 2011.
- Cong-Cong Xing. {\em Function Composition is A Good Practice},
Journal of Computing Sciences in Colleges, Vol. 26, No. 5, 2011.
- Cong-Cong Xing. {\em A Graphical Framework for Assisting Proofs},
Journal of Computing Sciences in Colleges, Vol. 25, No. 5, 2010.
- Cong-Cong Xing. {\em How Interpreters Work: An Overlooked Issue in Computer Science Education},
Journal of Computing Sciences in Colleges, Vol.25, No.2, 2009.
- Cong-Cong Xing. {\em A Graph-Based Type Representation for Objects (Revised)}. Electronic Communica-
tions of the European Association of Software Science and Technology, Vol. 10, 2008.
- Cong-Cong Xing. {\em Binary Methods and Parameterized Types in Java: A Conflicting Point between Theory and Practice}.
2008 International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, 2008.
- Cong-Cong Xing. {\em Enhancing the Teaching and Learning of Functions through Functional Programming in ML}. Journal of Computing Sciences in Colleges, Vol 23, No 4, 2008.
- Cong-Cong Xing. {\em A Graph-based Representation for Object Types}.
2008 European Joint Conference on Theory and Practice of Software (ETAPS 2008), Budapest, Hungary, 2008.
- Cong-Cong Xing. {\em An Object Type Graph System}. In Proceedings of the 1st IEEE \& IFIP
International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, 2007
- Cong-cong Xing. {\em Program Verifications, Object Interdependencies, and Object Types }.
eInformatica International Software Engineering Journal, Vol. 1, No.1, 2007.
- Cong-Cong Xing. {\em Proof Diagrams: A Graphical Tool for Assisting Set Proofs}. Journal of
Computing Sciences in Colleges, Vol. 22, No. 5, 2007.
- Cong-cong Xing. {\em Enhancing Program Verifications by Restricting Object Types}. In Proceedings
of the 21st ACM Symposium on Applied Computing, Vol. 2, Dijon, France, 2006.
- Cong-cong Xing. {\em Contravariant Methods in Java and C++: A Case Study}. Journal of Computing
Sciences in Colleges, Vol. 21, No. 5, May 2006.
- Cong-cong Xing. {\em An Algorithm for Computing Links}. In Proceedings of the 44th ACM Southeast
Conference, Melbourne, Florida, 2006.
- Cong-cong Xing. {\em Integrating Object Component Interdependencies into Object Types}. In
Proceedings of 8th International Conference for Young Computer Scientists, Beijing, China, 2005.
- Cong-cong Xing. {\em Object Interdependencies, Behaviors, Semantics, and Types}. In Proceedings of
2005 International Conference on Programming Languages and Compilers, Las Vegas, NV, 2005.
- Cong-cong Xing and Bill Buckles. {\em On the Size of the Search Space of Join Optimization}.
Journal of Computing Sciences in Colleges, Vol. 20, No. 6, 2005
- Cong-cong Xing and B. Belkhouche. {\em The Movable Point Problem and Its Resolution in Object
Type Graphs}. In Proceedings of 43rd ACM-SE Conference, Kennesaw, GA, 2005.
(Best Paper Award )
- Cong-cong Xing and B. Belkhouche. {\em Repr\'{e}sentation graphique des objets et sous-typage}.
Revue des sciences et technologies de l'information (RSTI) - L'Objet Journal, Vol. 11, No. 1-2, Hermes
and Lavoisier, 2005.
- Cong-cong Xing and B. Belkhouche. {\em On Pseudo Object-oriented Programming Considered Harmful}.
Communications of the ACM, Vol. 46, No. 10, 2003.
- Cong-cong Xing. {\em Object Type Graphs}.
Ph.D. dissertation, (published as a book, ISBN:0-493-21125-X),
ProQuest/UMI, 2001.