Cong-Cong Xing

J. Comput. Sci. Coll., 2025

2024

The Interplay of 2D Arrays and Nested Loops.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2024

2022

A Fine-Grained Video Traffic Control Mechanism in Software-Defined Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2022

On Searching Multiple Disjoint Shortest Paths in Scale-Free Networks With Hyperbolic Geometry.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2022

A way to visualize higher dimensional arrays, matrices, and spaces: nifty assignment.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2022

2021

Online Energy Scheduling Policies in Energy Harvesting Enabled D2D Communications.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

How can it be fixed in terms of typing?: nifty assignment.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2021

2020

Power Allocation for D2D Communications With SWIPT.

[BibT_eX]

[DOI]

Mohsen Guizani

IEEE Trans. Wirel. Commun., 2020

Energy-Efficient SWIPT-Empowered D2D Mode Selection.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2020

Abstract syntax BNF is not ambiguous/inadequate.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2020

POET: An Energy-efficient Resource Management Mechanism for One-to-Many D2D Communications.

[BibT_eX]

[DOI]

Guohuan Wang

Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

2019

Multi-Hop D2D Communications With Network Coding: From a Performance Perspective.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2019

An Energy-Efficient Communication Scheme for Collaborative Mobile Clouds in Content Sharing: Design and Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2019

Understanding the identity function in SML by theory.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2019

Fast approaches for semantic service composition in big data environment.

[BibT_eX]

[DOI]

Int. J. Big Data Intell., 2019

2018

Resource Allocation for Multicell Device-to-Device Communications Underlaying 5G Networks: A Game-Theoretic Mechanism With Incomplete Information.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2018

Game-Theoretic Power Control Mechanisms for Device-to-Device Communications Underlaying Cellular System.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2018

Optimizing M2M Communications and Quality of Services in the IoT for Sustainable Smart Cities.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2018

Competitions Among Service Providers in Cloud Computing: A New Economic Model.

[BibT_eX]

[DOI]

Jinyun Zou

IEEE Trans. Netw. Serv. Manag., 2018

Energy-Efficient Mode Selection for D2D Communications in Cellular Networks.

[BibT_eX]

[DOI]

Jinyun Zou

IEEE Trans. Cogn. Commun. Netw., 2018

Multi-priority fork-join scheduling in SDN for high-performance data transmissions in mobile crowdsourcing.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2018

In-Vehicle Networking: Protocols, Challenges, and Solutions.

[BibT_eX]

[DOI]

IEEE Netw., 2018

Adding game theory into computer science.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2018

A Secure Encryption-Based Malware Detection System.

[BibT_eX]

[DOI]

KSII Trans. Internet Inf. Syst., 2018

Efficient power control for D2D with SWIPT.

[BibT_eX]

[DOI]

Yong Liao

Proceedings of the 2018 Conference on Research in Adaptive and Convergent Systems, 2018

2017

Topology Control for Building a Large-Scale and Energy-Efficient Internet of Things.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2017

DTD: A Novel Double-Track Approach to Clone Detection for RFID-Enabled Supply Chains.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2017

Network Coding in Relay-Based Device-to-Device Communications.

[BibT_eX]

[DOI]

IEEE Netw., 2017

Modeling and performance analysis for multimedia data flows scheduling in software defined networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2017

Programming the prisoners' dilemma problem.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2017

Simultaneous Wireless Information and Power Transfer: Technologies, Applications, and Research Challenges.

[BibT_eX]

[DOI]

Chonggang Wang

IEEE Commun. Mag., 2017

IP Flow Mobility in the Industry: From An Economic Perspective.

[BibT_eX]

[DOI]

IEEE Access, 2017

When D2D Meets Network Coding: A Tutorial Case Study.

[BibT_eX]

[DOI]

Shuai Huang

Proceedings of the International Conference on Research in Adaptive and Convergent Systems, 2017

Modeling and analysis for admission control of M2M communications using network calculus.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2017

Semantic Web Service Composition in Big Data Environment.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Global Communications Conference, 2017

2016

A mutually beneficial assignment to mathematics and computer programming: nifty assignment.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2016

Seven different proofs for |P(A)|=2n.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2016

A teamwork approach to improving the downloading time in BitTorrent-like systems.

[BibT_eX]

[DOI]

Hong Tang

Haichen Shen

Int. J. Comput. Sci. Eng., 2016

2015

A Novel Bioinspired Multiobjective Optimization Algorithm for Designing Wireless Sensor Networks in the Internet of Things.

[BibT_eX]

[DOI]

J. Sensors, 2015

How can memory bits and power sets benefit each other?: nifty assignment.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2015

Hybrid Scheduling for Quality of Service Guarantee of Multimedia Data Flows in Software Defined Networks.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Cloud Syst., 2015

A behavioral anomaly detection strategy based on time series process portraits for desktop virtualization systems.

[BibT_eX]

[DOI]

Clust. Comput., 2015

A Distributed Game-Theoretic Power Control Mechanism for Device-to-Device Communications Underlaying Cellular Network.

[BibT_eX]

[DOI]

Proceedings of the Wireless Algorithms, Systems, and Applications, 2015

A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Performance analysis for a service delivery platform in software defined network.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Multiple Service Providers with IP Flow Mobility: From an Economic Perspective.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Computer Communication and Networks, 2015

Game theoretic resource allocation for multicell D2D communications with incomplete information.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Communications, 2015

A New Economic Model in Cloud Computing: Cloud Service Provider vs. Network Service Provider.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Global Communications Conference, 2015

Hybrid Scheduling for Quality of Service Guarantee in Software Defined Networks to Support Multimedia Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Adding coinduction into discrete mathematics.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2014

FAMOUS: a novel fast multi-constrained multicast routing algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2014 Conference on Research in Adaptive and Convergent Systems, 2014

2013

On the dovetail counting method.

[BibT_eX]

[DOI]

Wendy Zhang

Jiahao Li

J. Comput. Sci. Coll., 2013

The struggle with syntactic sugar, what it denotes, and the meaning of programs.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2013

2012

What exactly to prove?

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2012

2011

Function composition is a good practice: nifty assignment.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2011

A web-based graphical set theory proof assistance system.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2011

2010

A graphical framework for assisting proofs.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2010

2009

How interpreters work: an overlooked topic in undergraduate computer science education.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2009

2008

Enhancing the learning and teaching of functions through programming in ML.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2008

A Graph-Based Type Representation for Objects.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice.

[BibT_eX]

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007

Proof diagrams: a graphical tool for assisting set proofs.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2007

Program Verifications, Object Interdependencies, and Object Types.

[BibT_eX]

[DOI]

e Informatica Softw. Eng. J., 2007

An Object Type Graph System.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Contravariant methods in Java and C++.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2006

Enhancing program verifications by restricting object types.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

An algorithm for computing links.

[BibT_eX]

[DOI]

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

On the size of the search space of join optimization.

[BibT_eX]

[DOI]

Bill P. Buckles

J. Comput. Sci. Coll., 2005

Représentation graphique des objets et sous-typage.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2005

Object Interdependencies, Behaviors, Semantics, and Types.

[BibT_eX]

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

The movable point problem and its resolution in object type graphs.

[BibT_eX]

[DOI]

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2003

On pseudo object-oriented programming considered harmful.

[BibT_eX]

[DOI]