Selected Peer-Reviewed Publications

• Hong Tang, Wenke Hu, Guofeng Zhao, Yu Yan, Cong-Cong Xing. {\em Traffic Measurement between Peers in BitTorrent-Like Networks}. 2013 International Conference on Systems Control, Simulation and Modeling (ICSCSM'13), Beijing, China. Accepted, to appear 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 Towards a New Definition of Object Types}. ACM 2009 Conference on Programming Language Design and Implementation (Fun Ideas and Thoughts session) (PLDI-FIT'09, online inclusion/publication only), Dublin, Ireland, 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.