On pseudo object-oriented programming considered harmful. - Cong-Cong Xing; Boumediene Belkhouche (Commun. ACM, 2003)

The movable point problem and its resolution in object type graphs. - Cong-Cong Xing; Boumediene Belkhouche (ACM Southeast Regional Conference (2), 2005)

Object Interdependencies, Behaviors, Semantics, and Types. - Cong-Cong Xing; Boumediene Belkhouche (PLC, 2005)

Représentation graphique des objets et sous-typage. - Cong-Cong Xing; Boumediene Belkhouche (Obj. Logiciel Base données Réseaux, 2005)

On the size of the search space of join optimization. - Cong-Cong Xing; Bill P. Buckles (J. Comput. Sci. Coll., 2005)

An algorithm for computing links. - Cong-Cong Xing (ACM Southeast Regional Conference, 2006)

Enhancing program verifications by restricting object types. - Cong-Cong Xing (SAC, 2006)

Contravariant methods in Java and C++. - Cong-Cong Xing (J. Comput. Sci. Coll., 2006)

An Object Type Graph System. - Cong-Cong Xing (TASE, 2007)

Program Verifications, Object Interdependencies, and Object Types. - Cong-Cong Xing (e Informatica Softw. Eng. J., 2007)

Proof diagrams: a graphical tool for assisting set proofs. - Cong-Cong Xing (J. Comput. Sci. Coll., 2007)

Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice. - Cong-Cong Xing (Software Engineering Research and Practice, 2008)

A Graph-Based Type Representation for Objects. - Cong-Cong Xing (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Enhancing the learning and teaching of functions through programming in ML. - Cong-Cong Xing (J. Comput. Sci. Coll., 2008)

How interpreters work: an overlooked topic in undergraduate computer science education. - Cong-Cong Xing (J. Comput. Sci. Coll., 2009)

A graphical framework for assisting proofs. - Cong-Cong Xing (J. Comput. Sci. Coll., 2010)

A web-based graphical set theory proof assistance system. - Cong-Cong Xing (J. Comput. Sci. Coll., 2011)

Function composition is a good practice: nifty assignment. - Cong-Cong Xing (J. Comput. Sci. Coll., 2011)

What exactly to prove? - Cong-Cong Xing (J. Comput. Sci. Coll., 2012)

The struggle with syntactic sugar, what it denotes, and the meaning of programs. - Cong-Cong Xing (J. Comput. Sci. Coll., 2013)

On the dovetail counting method. - Cong-Cong Xing; Wendy Zhang; Jiahao Li (J. Comput. Sci. Coll., 2013)

FAMOUS: a novel fast multi-constrained multicast routing algorithm. - Jun Huang 002; Xiang Li; Yin Ying; Yi Sun 006; Qiang Duan; Cong-Cong Xing (RACS, 2014)

Adding coinduction into discrete mathematics. - Cong-Cong Xing (J. Comput. Sci. Coll., 2014)

Hybrid Scheduling for Quality of Service Guarantee in Software Defined Networks to Support Multimedia Cloud Services. - Jun Huang 002; Liqian Xu; Mengxi Zeng; Cong-Cong Xing; Qiang Duan; Yuhong Yan (SCC, 2015)

A New Economic Model in Cloud Computing: Cloud Service Provider vs. Network Service Provider. - Jun Huang 002; Fang Fang 004; Yi Sun 006; Huifang Yan; Cong-Cong Xing; Qiang Duan; Wei Wang 015 (GLOBECOM, 2015)

Game theoretic resource allocation for multicell D2D communications with incomplete information. - Jun Huang 002; Ying Yin; Yi Sun 006; Yanxiao Zhao; Cong-Cong Xing; Qiang Duan (ICC, 2015)

Multiple Service Providers with IP Flow Mobility: From an Economic Perspective. - Jun Huang 002; Yi Sun 006; Fang Fang 004; Cong-Cong Xing; Yanxiao Zhao; Kun Hua (ICCCN, 2015)

Performance analysis for a service delivery platform in software defined network. - Qiang Duan; Mengxi Zeng; Jun Huang 002; Cong-Cong Xing (SAC, 2015)

A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs. - Jun Huang 002; Meisong Sun; Shitong Zhu; Yi Sun 006; Cong-Cong Xing; Qiang Duan (SAC, 2015)

A Distributed Game-Theoretic Power Control Mechanism for Device-to-Device Communications Underlaying Cellular Network. - Jun Huang 002; Yi Sun 006; Cong-Cong Xing; Yanxiao Zhao; Qianbin Chen (WASA, 2015)

A behavioral anomaly detection strategy based on time series process portraits for desktop virtualization systems. - Yanbing Liu; Zhong Yuan; Cong-Cong Xing; Bo Gong; Yunpeng Xiao 001; Hong Liu 025 (Clust. Comput., 2015)

Hybrid Scheduling for Quality of Service Guarantee of Multimedia Data Flows in Software Defined Networks. - Jun Huang 002; Liqian Xu; Mengxi Zeng; Huifang Yan; Qiang Duan; Cong-Cong Xing (EAI Endorsed Trans. Cloud Syst., 2015)

How can memory bits and power sets benefit each other?: nifty assignment. - Cong-Cong Xing (J. Comput. Sci. Coll., 2015)

A Novel Bioinspired Multiobjective Optimization Algorithm for Designing Wireless Sensor Networks in the Internet of Things. - Jun Huang 002; Liqian Xu; Cong-Cong Xing; Qiang Duan (J. Sensors, 2015)

A teamwork approach to improving the downloading time in BitTorrent-like systems. - Hong Tang; Haichen Shen; Cong-Cong Xing (Int. J. Comput. Sci. Eng., 2016)

Seven different proofs for |P(A)|=2n. - Cong-Cong Xing (J. Comput. Sci. Coll., 2016)

A mutually beneficial assignment to mathematics and computer programming: nifty assignment. - Cong-Cong Xing (J. Comput. Sci. Coll., 2016)

Semantic Web Service Composition in Big Data Environment. - Jun Huang 002; Yide Zhou; Qiang Duan; Cong-Cong Xing (GLOBECOM, 2017)

Modeling and analysis for admission control of M2M communications using network calculus. - Jun Huang 002; Mengxi Zeng; Cong-Cong Xing; Jiangtao Luo; Fen Hou (ICC, 2017)

When D2D Meets Network Coding: A Tutorial Case Study. - Jun Huang 002; Shuai Huang; Cong-Cong Xing (RACS, 2017)

IP Flow Mobility in the Industry: From An Economic Perspective. - Jun Huang 002; Fang Fang 004; Cong-Cong Xing; Yi Qian 001 (IEEE Access, 2017)

Simultaneous Wireless Information and Power Transfer: Technologies, Applications, and Research Challenges. - Jun Huang 002; Cong-Cong Xing; Chonggang Wang (IEEE Commun. Mag., 2017)

Programming the prisoners' dilemma problem. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2017)

Modeling and performance analysis for multimedia data flows scheduling in software defined networks. - Jun Huang 002; Liqian Xu; Qiang Duan; Cong-Cong Xing; Jiangtao Luo; Shui Yu 001 (J. Netw. Comput. Appl., 2017)

Network Coding in Relay-Based Device-to-Device Communications. - Jun Huang 002; Hamid Gharavi; Huifang Yan; Cong-Cong Xing (IEEE Netw., 2017)

DTD: A Novel Double-Track Approach to Clone Detection for RFID-Enabled Supply Chains. - Jun Huang 002; Xiang Li; Cong-Cong Xing; Wei Wang 015; Kun Hua; Song Guo 001 (IEEE Trans. Emerg. Top. Comput., 2017)

Topology Control for Building a Large-Scale and Energy-Efficient Internet of Things. - Jun Huang 002; Qiang Duan; Cong-Cong Xing; Honggang Wang 001 (IEEE Wirel. Commun., 2017)

Efficient power control for D2D with SWIPT. - Jun Huang 002; Yong Liao; Cong-Cong Xing (RACS, 2018)

A Secure Encryption-Based Malware Detection System. - Zhaowen Lin; Fei Xiao; Yi Sun 006; Yan Ma 003; Cong-Cong Xing; Jun Huang 002 (KSII Trans. Internet Inf. Syst., 2018)

Adding game theory into computer science. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2018)

In-Vehicle Networking: Protocols, Challenges, and Solutions. - Jun Huang 002; Mingli Zhao; Yide Zhou; Cong-Cong Xing (IEEE Netw., 2018)

Multi-priority fork-join scheduling in SDN for high-performance data transmissions in mobile crowdsourcing. - Jun Huang 002; Hao Xiang; Cong-Cong Xing; Qiang Duan (Pervasive Mob. Comput., 2018)

Energy-Efficient Mode Selection for D2D Communications in Cellular Networks. - Jun Huang 002; Jinyun Zou; Cong-Cong Xing (IEEE Trans. Cogn. Commun. Netw., 2018)

Competitions Among Service Providers in Cloud Computing: A New Economic Model. - Jun Huang 002; Jinyun Zou; Cong-Cong Xing (IEEE Trans. Netw. Serv. Manag., 2018)

Optimizing M2M Communications and Quality of Services in the IoT for Sustainable Smart Cities. - Jun Huang 002; Cong-Cong Xing; Sung Y. Shin; Fen Hou; Ching-Hsien Hsu (IEEE Trans. Sustain. Comput., 2018)

Game-Theoretic Power Control Mechanisms for Device-to-Device Communications Underlaying Cellular System. - Jun Huang 002; Shuai Huang; Cong-Cong Xing; Yi Qian 001 (IEEE Trans. Veh. Technol., 2018)

Resource Allocation for Multicell Device-to-Device Communications Underlaying 5G Networks: A Game-Theoretic Mechanism With Incomplete Information. - Jun Huang 002; Cong-Cong Xing; Yi Qian 001; Zygmunt J. Haas (IEEE Trans. Veh. Technol., 2018)

Fast approaches for semantic service composition in big data environment. - Jun Huang 002; Yide Zhou; Qiang Duan; Cong-Cong Xing (Int. J. Big Data Intell., 2019)

Understanding the identity function in SML by theory. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2019)

An Energy-Efficient Communication Scheme for Collaborative Mobile Clouds in Content Sharing: Design and Optimization. - Jun Huang 002; Chao Huang; Cong-Cong Xing; Zheng Chang 001; Yanxiao Zhao; Qinglin Zhao (IEEE Trans. Ind. Informatics, 2019)

Multi-Hop D2D Communications With Network Coding: From a Performance Perspective. - Jun Huang 002; Yong Liao; Cong-Cong Xing; Zheng Chang 001 (IEEE Trans. Veh. Technol., 2019)

POET: An Energy-efficient Resource Management Mechanism for One-to-Many D2D Communications. - Jun Huang 002; Guohuan Wang; Cong-Cong Xing (WCNC, 2020)

Abstract syntax BNF is not ambiguous/inadequate. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2020)

Energy-Efficient SWIPT-Empowered D2D Mode Selection. - Jun Huang 002; Jingjing Cui; Cong-Cong Xing; Hamid Gharavi (IEEE Trans. Veh. Technol., 2020)

Power Allocation for D2D Communications With SWIPT. - Jun Huang 002; Cong-Cong Xing; Mohsen Guizani (IEEE Trans. Wirel. Commun., 2020)

How can it be fixed in terms of typing?: nifty assignment. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2021)

Online Energy Scheduling Policies in Energy Harvesting Enabled D2D Communications. - Jun Huang 002; Baohua Yu; Cong-Cong Xing; Tomás Cerný; Zhaolong Ning (IEEE Trans. Ind. Informatics, 2021)

A way to visualize higher dimensional arrays, matrices, and spaces: nifty assignment. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2022)

On Searching Multiple Disjoint Shortest Paths in Scale-Free Networks With Hyperbolic Geometry. - Qiang Wang 027; Hao Jiang 010; Ying Jiang 002; Shuwen Yi; Lixia Li; Cong-Cong Xing; Jun Huang 002 (IEEE Trans. Netw. Sci. Eng., 2022)

A Fine-Grained Video Traffic Control Mechanism in Software-Defined Networks. - Jun Huang 002; Qiang Duan; Cong-Cong Xing; Bo Gu; Guodong Wang 002; Sherali Zeadally; Erich J. Baker (IEEE Trans. Netw. Serv. Manag., 2022)

The Interplay of 2D Arrays and Nested Loops. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2024)

Programming the Prisoner's Dilemma Problem: A Case Study. - Cong-Cong Xing; Jun Huang 002 (J. Comput. Sci. Coll., 2025)