| 2026 | Networking | Interactive Path Generation and Selection Policy for Online Network Route Planning. | Zhongxing Ai, Peng Wang, Jing Sun, Bo Wang |
| 2026 | PAKDD | A Novel Attention-Based Approach for Solving the Selective Traveling Salesman Problem. | Kaitong Zhang, Jing Sun, Zhenglai Li |
| 2026 | WWW | TrueLens: Video Fake News Detection with Dual Level Evidence Gathering and Consolidation. | Junyi Chen, Qian Liu, Jing Sun, Yi Zhang |
| 2025 | EMNLP | Equal Truth: Rumor Detection with Invariant Group Fairness. | Junyi Chen, Mengjia Wu, Qian Liu, Jing Sun, Ying Ding, Yi Zhang |
| 2025 | GECCO | An LGBM-aided low-cost evoluationary algorithm for optimizing analog circuit sizing. | Zongchen Han, Chunliang Zhao, Dunwei Gong, Jing Sun |
| 2025 | ICA3PP | Adaptive Heterogeneous PUs Scheduling for Layer-Wise DNN Acceleration. | Youmei Pan, Ming Wang, Jing Sun, Heng Zhang, Jinwen Li, Peng Wang, Fanjiang Xu |
| 2025 | ICCV | Seeing the Unseen: A Semantic Alignment and Context-Aware Prompt Framework for Open-Vocabulary Camouflaged Object Segmentation. | Peng Ren, Tian Bai, Jing Sun, Fuming Sun |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong |
| 2025 | IJCNN | Multivariate Load Interval Prediction Considering Dispatch Costs For Integrated Coal Mine Energy Systems. | Xiaoxuan Xing, Dunwei Gong, Yong Zhang, Xiaoyan Sun, Jing Sun, Yongde Guo |
| 2025 | PERCOM | Supporting Multi-Purpose Satellite with TZ2C Onboard Processing Capabilities. | Fanjiang Xu, Ming Wang, Youmei Pan, Jing Sun, Jinwen Li, Peng Wang |
| 2024 | APWEB | TOP: Taxi Destination Prediction Based on Trajectory Knowledge Graph. | Xiao Pan, Meng Jiang, Shuhai Wang, Ning Li, Jing Sun, Zuocheng Wang |
| 2024 | COMPSAC | Validating Smart Contracts Using GPT Assistant. | Xianhao Zhang, Zhiyuan Wei, Jing Sun, Zijian Zhang, Zixiao Zhao |
| 2024 | COMPSAC | Code Generation Using Self-Interactive Assistant. | Zixiao Zhao, Jing Sun, Cheng-Hao Cai, Zhiyuan Wei |
| 2024 | ICASSP | Semantic Distillation and Structural Alignment Network for Fake News Detection. | Shangdong Liu, Xiaofan Yue, Fei Wu, Jing Sun, Yujian Feng, Yimu Ji |
| 2024 | ICASSP | Reinforcement Learning Compensated Filter for Multi-Agents Cooperative Localization. | Ran Wang, Jing Sun, Cheng Xu, Ruixue Li, Shihong Duan, Xiaotong Zhang |
| 2024 | ICPR | Unsupervised Multi-level Search and Correspondence for Generic Voice-Face Feature Spaces. | Jing Sun, Jianbo Su |
| 2024 | SIGIR | Behavior-Contextualized Item Preference Modeling for Multi-Behavior Recommendation. | Mingshi Yan, Fan Liu, Jing Sun, Fuming Sun, Zhiyong Cheng, Yahong Han |
| 2024 | UAI | Learning Topological Representations with Bidirectional Graph Attention Network for Solving Job Shop Scheduling Problem. | Cong Zhang, Zhiguang Cao, Yaoxin Wu, Wen Song, Jing Sun |
| 2023 | ICPADS | A Cooperative Co-evolutionary Salp Swarm Feature Selection Algorithm with Reverse Escape Strategy for Classification. | Zikang Yu, Hongbin Dong, Jing Sun, Bingxu Zhao |
| 2023 | IECON | Optimization Control Strategy for Electrolysis Efficiency Enhancement in Alkaline Water Electrolyzers. | Jia Xiong, Yanghong Xia, Jing Sun, Zhiyuan Hu, Yukai Han, Wei Wei |
| 2022 | ICIP | Simulator Attack+ for Black-Box Adversarial Attack. | Yimu Ji, Jianyu Ding, Zhiyu Chen, Fei Wu, Chi Zhang, Yiming Sun, Jing Sun, Shangdong Liu |
| 2022 | ICSA | Architectural Refactoring for Functional Properties in Evolutionary Architecture. | Nacha Chondamrongkul, Jing Sun |
| 2022 | QRS | cPV - Simulation and Verification for Membrane Computing. | Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang |
| 2021 | APWEB | Data Cleaning for Indoor Crowdsourced RSSI Sequences. | Jing Sun, Bin Wang, Xiaoxu Song, Xiaochun Yang |
| 2021 | DASC | PSSPR: A Source Location Privacy Protection Scheme Based on Sector Phantom Routing in WSNs. | Jing Sun, Yuling Chen, Tao Li, Jia Liu, Yixian Yang |
| 2021 | HPCC | Sentiments Affect Stock Returns: Evidence Based on Big Data. | Jing Sun, Yingying Xu, Yueqiang Zhao, Yuliang Zhou, Jaime Ortiz, Weipeng Chen |
| 2021 | ICRA | Energy-optimal Path Planning with Active Flow Perception for Autonomous Underwater Vehicles. | Niankai Yang, Dongsik Chang, Matthew Johnson-Roberson, Jing Sun |
| 2021 | ICRA | Design and soft-landing control of a six-legged mobile repetitive lander for lunar exploration. | Ke Yin, Feng Gao, Qiao Sun, Jimu Liu, Tao Xiao, Jianzhong Yang, Shuiqing Jiang, Xianbao Chen, Jing Sun, Renqiang Liu, Chenkun Qi |
| 2021 | UIC | Finding Early Bursting Cohesive Subgraphs in Large Temporal Networks. | Jie Dai, Yuan Li, Xiaolin Fan, Jing Sun, Yuhai Zhao |
| 2020 | ADMA | TOP-R Keyword-Aware Community Search. | Xiaoxu Song, Bin Wang, Jing Sun, Rong Pu |
| 2020 | ADMA | Research of Medical Aided Diagnosis System Based on Temporal Knowledge Graph. | Fanfei Song, Bin Wang, Yifan Tang, Jing Sun |
| 2020 | CEC | High Dimensional Feature Selection Method of Dual Gbest Based on PSO. | Hongbin Dong, Yuyao Pan, Jing Sun |
| 2020 | ECSA | Formal Software Architectural Migration Towards Emerging Architectural Styles. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2020 | ICECCS | Automated Planning for Software Architectural Migration. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2020 | ICECCS | The Semantic Spreadsheet. | Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth |
| 2020 | IJCAI | SEBF: A Single-Chain based Extension Model of Blockchain for Fintech. | Yimu Ji, Weiheng Gu, Fei Chen, Xiaoying Xiao, Jing Sun, Shangdong Liu, Jing He, Yunyao Li, Kaixiang Zhang, Fen Mei, Fei Wu |
| 2020 | ICSA | Automated Security Analysis for Microservice Architecture. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2020 | ICSE | Semantic-based Architecture Smell Analysis. | Nacha Chondamrongkul, Jing Sun, Ian Warren, Scott Uk-Jin Lee |
| 2020 | KSEM | Detecting Statistically Significant Events in Large Heterogeneous Attribute Graphs via Densest Subgraphs. | Yuan Li, Xiaolin Fan, Jing Sun, Yuhai Zhao, Guoren Wang |
| 2020 | SEKE | Formal Security Analysis for Blockchain-based Software Architecture. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2020 | TASE | Measuring the Quality of B Abstract Machines with ISO/IEC 25010. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2019 | APSEC | Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. | Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee |
| 2019 | CEC | A grouping method based on improved PSO for task allocation in rescue environment. | Simeng Lin, Na Geng, Jing Sun, Yong Zhang |
| 2019 | COMPSAC | Purchasing Behavior Analysis Based on Customer's Data Portrait Model. | Jing Sun, Huiqun Zhao, Sanwen Mu, Zimu Li |
| 2019 | ICFEM | Design Model Repair with Formal Verification. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2019 | ICRA | Distributed Motion Tomography for Reconstruction of Flow Fields | Dongsik Chang, Fumin Zhang, Jing Sun |
| 2019 | ISPA | Fault-Tolerant Cycle Embedding into 3-Ary n-Cubes with Structure Faults. | Weibei Fan, Yang Wang, Jing Sun, Zhijie Han, Peng Li, Ruchuan Wang |
| 2019 | PIMRC | Low-complexity Calibration Scheme of Channel Reciprocity for Massive MIMO-OFDM System with IQ Imbalance. | Jing Sun, Yan Liang, Ting Li, Wei Ji, Fei Li |
| 2019 | SEKE | PAT approach to Architecture Behavioural Verification. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2019 | SEKE | Semantic Rule Based Program Monitoring (S). | Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei |
| 2018 | ICECCS | B-Repair: Repairing B-Models Using Machine Learning. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2018 | PACLIC | A Study on the Korean and Chinese Pronunciation of Chinese Characters and Learning Korean as a Second Language. | Xiao Luo, Yike Yang, Jing Sun |
| 2018 | SMC | An Improved Niching Binary Particle Swarm Optimization for Feature Selection. | Hongbin Dong, Jing Sun, Tao Li, Lijie Li |
| 2018 | SEKE | Ontology-based Software Architectural Pattern Recognition and Reasoning (S). | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2018 | SEKE | BackPocketDriver - A Mobile App to Enhance Safe Driving for Youth (S). | Catherine Shanly, Michael Ieti, Ian Warren, Jing Sun |
| 2018 | SEKE | A Knowledge Engineering Approach to UML Modeling (S). | Bingyang Wei, Jing Sun, Yi Wang |
| 2018 | VCIP | Improving Generative Adversarial Networks with Adaptive Control Learning. | Xiaohan Ma, Rize Jin, Kyung-Ah Sohn, Joon-Young Paik, Jing Sun, Tae-Sun Chung |
| 2018 | SENSYS | Automatic Detection of Minimal Repeated Pattern in Printing Fabric Images. | Jian Zhang, Heng Zhang, Yanlong Wang, Liling Bo, Jing Sun |
| 2017 | MICCAI | Retinal Image Quality Classification Using Fine-Tuned CNN. | Jing Sun, Cheng Wan, Jun Cheng, Fengli Yu, Jiang Liu |
| 2017 | QRS | Knowledge Management in Graduate Research. | Jing Sun, Van-Nam Huynh, Yoshiteru Nakamori, Jianguo Wu, Jing Tian, Jianwen Xiang |
| 2017 | VTC | The Impact of Road Configuration on V2V-Based Cooperative Localization. | Macheng Shen, Ding Zhao, Jing Sun |
| 2017 | SEKE | Visual Development Platform for Ruby on Rails. | Anmol Desai, Nicholas Molloy, Jing Sun, Gillian Dobbie |
| 2017 | SEKE | Towards Code Generation from Design Models. | Pengyi Li, Jing Sun, Hai Wang |
| 2017 | SEKE | Named Entity Extraction and Classification in Digital Publications. | Chuan-Yu Wu, Bom Yi Lee, Jing Sun, Yin Yin Latt, Kim Shepherd, Jared Watts |
| 2016 | CEC | A memetic algorithm for multi-objective optimization problems with interval parameters. | Dunwei Gong, Zhuang Miao, Jing Sun |
| 2016 | CEC | Ensemble dominance for solving interval programming problems. | Jing Sun, Dun-Wei Gong, Zhuang Miao, Zhigang Xu, Heng Zhang |
| 2016 | ICECCS | A Collaborative Code Review Platform for GitHub. | Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | ICECCS | From Code to Design: A Reverse Engineering Approach. | Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | ICFEM | Service Adaptation with Probabilistic Partial Models. | Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | ICMLC | Comprehensive evaluation of agricultural circular economy in Hebei province based on rough set theory. | Wei Chen, Jing Sun |
| 2016 | QRS | Exploring Academic Knowledge Creation Models for Graduate Researches. | Jing Sun, Yoshiteru Nakamori, Jing Tian, Jianwen Xiang |
| 2016 | SEKE | From Design to Code: An Educational Approach. | Candice Eckert, Brian Cham, Jing Sun, Gillian Dobbie |
| 2015 | COMPSAC | A Model for Assessing the Dependability of Internetware Software Systems. | Huiqun Zhao, Jing Sun, Ruixue Zhao |
| 2015 | ICECCS | Sports Strategy Analytics Using Probabilistic Reasoning. | Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun |
| 2015 | SIGIR | Multi-source Information Fusion for Personalized Restaurant Recommendation. | Jing Sun, Yun Xiong, Yangyong Zhu, Junming Liu, Chu Guan, Hui Xiong |
| 2015 | TASE | Event and Strategy Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi |
| 2014 | DASFAA | Minimizing Explanations of Why-Not Questions. | Chuanyu Zong, Bin Wang, Jing Sun, Xiaochun Yang |
| 2014 | EMNLP | Building Chinese Discourse Corpus with Connective-driven Dependency Tree Structure. | Yancui Li, Wenhe Feng, Jing Sun, Fang Kong, Guodong Zhou |
| 2014 | HCI | COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform. | Yanfei Liu, Zhiqiang Tian, Yu Zhang, Qi Sun, Junsong Li, Jing Sun, Feng Fu |
| 2014 | ICPR | A Unified Online Dictionary Learning Framework with Label Information for Robust Object Tracking. | Baojie Fan, Jing Sun, Yang Cong, Yingkui Du |
| 2014 | PAKDD | An Efficient Drug-Target Interaction Mining Algorithm in Heterogeneous Biological Networks. | Congcong Li, Jing Sun, Yun Xiong, Guangyong Zheng |
| 2013 | CSCWD | A RFID-based tracking service of Waste Electrical and Electronic Equipment. | Jing Sun, Yinsheng Li, Kuo-Ming Chao |
| 2013 | HCI | Towards Early Status Warning for Driver's Fatigue Based on Cognitive Behavior Models. | Yanfei Liu, Yu Zhang, Junsong Li, Jing Sun, Feng Fu, Jiangsheng Gui |
| 2013 | ICECCS | Web Services Testing via Goal and Mutation. | M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu |
| 2012 | APSCC | A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL. | Huiqun Zhao, Jing Sun, Xiaodong Liu |
| 2012 | CLOSER | Dynamic Evolution of Service Architecture in Mobile Cloud Applications. | Huiqun Zhao, Jing Sun, Xiaodong Liu |
| 2012 | GLOBECOM | Enhancements to CDMA2000 1x for M2M communications. | Rashid Attar, Linhai He, Christopher Lott, Ravindra Patwardhan, Jing Sun |
| 2012 | ICECCS | Translating PDDL into CSP# - The PAT Approach. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | ICIP | Saliency detection based on integration of boundary and soft-segmentation. | Jing Sun, Huchuan Lu, Shifeng Li |
| 2012 | PACLIC | Can Word Segmentation be Considered Harmful for Statistical Machine Translation Tasks between Japanese and Chinese? | Jing Sun, Yves Lepage |
| 2012 | SEW | Planning as Model Checking Tasks. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2011 | GECCO | Solving interval multi-objective optimization problems using evolutionary algorithms with preference polyhedron. | Jing Sun, Dunwei Gong, Xiaoyan Sun |
| 2011 | ICONIP | Optimizing Interval Multi-objective Problems Using IEAs with Preference Direction. | Jing Sun, Dunwei Gong, Xiaoyan Sun |
| 2011 | SEKE | Semantic Enabled Sensor Network Design. | Jing Sun, Hai H. Wang, Hui Gu |
| 2011 | SEKE | Design Software Architecture Models using Ontology. | Jing Sun, Hai H. Wang, Tianming Hu |
| 2010 | ICFEM | Enhanced Semantic Access to Formal Software Models. | Hai H. Wang, Danica Damljanovic, Jing Sun |
| 2010 | ICMLA | Pairwise Constrained Clustering with Group Similarity-Based Patterns. | Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung, Peter A. Ng |
| 2010 | ICNC | Structural time-invariant modal parameters identification from seismic response data. | Maosheng Gong, Toshihide Kashima, Jing Sun, Lili Xie |
| 2009 | HIS | Study of ZigBee Wireless Mesh Networks. | Jing Sun, Xiaofen Zhang |
| 2009 | IM | Rate-based SIP flow management for SLA satisfaction. | Jing Sun, Ruixiong Tian, Jinfeng Hu, Bo Yang |
| 2009 | SNPD | Study of Methodology of Testing Mobile Games Based on TTCN-3. | Huiqun Zhao, Jing Sun, Gongzhu Hu |
| 2009 | TASE | Verifying Semistructured Data Normalization Using SWRL. | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang |
| 2008 | ICECCS | Verifying Semistructured Data Normalization Using PVS. | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves |
| 2008 | ICECCS | A Scalable Approach to Multi-style Architectural Modeling and Verification. | Stephen Wong, Jing Sun, Ian Warren, Jun Sun |
| 2008 | ICFEM | Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. | Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang |
| 2008 | TASE | Bounded Model Checking of Compositional Processes. | Jun Sun, Yang Liu, Jin Song Dong, Jing Sun |
| 2007 | ACC | Model Predictive Control for Constrained Discrete Time Systems: An Optimal Perturbation Analysis Approach. | Reza Ghaemi, Jing Sun, Ilya V. Kolmanovsky |
| 2007 | ACC | Performance of a PEM Fuel Cell Water Management System Using Static Output Feedback. | Amey Y. Karnik, Julia H. Buckland, Jing Sun |
| 2007 | ACC | A Numerically Efficient Iterative Procedure for Hybrid Power System Optimization Using Sensitivity Functions. | Gayathri Seenumani, Jing Sun, Huei Peng |
| 2007 | APCCM | Towards Verifying Semistructured Data. | Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee |
| 2007 | ICNC | An Improved Adaptive Genetic Algorithm for Job-Shop Scheduling Problem. | Yingjie Xing, Zhentong Chen, Jing Sun, Long Hu |
| 2007 | ICNC | Analyzing and Improving of Neural Networks used in Stereo Calibration. | Yingjie Xing, Jing Sun, Zhentong Chen |
| 2007 | SEKE | Evolution and Runtime Monitoring of Software Systems. | Hui Liang, Jin Song Dong, Jing Sun |
| 2007 | SEKE | Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. | Hui Liang, Jing Sun |
| 2006 | APSEC | Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. | Ling Yuan, Jin Song Dong, Jing Sun |
| 2006 | ICDCIT | Research into Verifying Semistructured Data. | Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee |
| 2006 | ICECCS | Formal Specification-based Online Monitoring. | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2006 | ISoLA | Context Awareness Systems Design and Reasoning. | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun |
| 2006 | SEKE | A PVS Approach to Verifying ORA-SS Data Models. | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves |
| 2005 | DASFAA | Schema Driven and Topic Specific Web Crawling. | Qi Guo, Hang Guo, Zhiqiang Zhang, Jing Sun, Jianhua Feng |
| 2005 | ICCS | Genius: Peer-to-Peer Location-Aware Gossip Using Network Coordinates. | Ning Ning, Dongsheng Wang, Yongquan Ma, Jinfeng Hu, Jing Sun, Chongnan Gao, Weimin Zheng |
| 2005 | ICECCS | Formal Semantics and Verification for Feature Modeling. | Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
| 2005 | ICFEM | Visualizing and Simulating Semantic Web Services Ontologies. | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun |
| 2005 | ICFEM | SVG Web Environment for Z Specification Language. | Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
| 2005 | ICWS | An Architecture for Developing Aspect-Oriented Web Services. | Santokh Singh, John C. Grundy, John G. Hosking, Jing Sun |
| 2005 | WWW | Verify Feature Models using protegeowl. | Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang |
| 2005 | SEKE | Reasoning Support for SWRL-FOL Using Alloy. | Hai H. Wang, Jin Song Dong, Jing Sun |
| 2005 | SEKE | TCOZ Approach to OWL-S Process Model Design. | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li |
| 2004 | APSEC | Reasoning about Semantic Web in Isabelle/HOL. | Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony |
| 2003 | FM | Checking and Reasoning about Semantic Web through Alloy. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | APSEC | Specifying and Reasoning about Generic Architecture in TCOZ. | Jing Sun, Jin Song Dong |
| 2002 | FM | Semantic Web for Extending and Linking Formalisms. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | ICFEM | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2002 | ICFEM | Z Approach to Semantic Web. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | VRST | Template-based generation of road networks for virtual city modeling. | Jing Sun, Xiaobo Yu, George Baciu, Mark Green |
| 2001 | APSEC | An XML/XSL Approach to Visualize and Animate TCOZ. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2001 | WWW | Object-Z web environment and projections to UML. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2000 | WCNC | Turbo codes with non-linear constituent codes. | Oscar Y. Takeshita, Jing Sun, Michael P. Fitz |