Xiaoyu Song - RankMe

418 papers A* 8A 6B 21C 28Misc 10Journal 244Unranked 101

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Foldable and Agile Soft Electromagnetic Robot for Multimodal Navigation in Confined and Unstructured Environments. CoRR Zhihao Lv, Xiaoyong Zhang, Mengfan Zhang, Xiaoyu Song, Xingyue Liu, Yide Liu, Shaoxing Qu, Guoyong Mao
2026	J	`jnl`	DPTM: An Adaptive Scheduler Design Utilizing Timeslot Matching and Release Methods for Concurrent and Multi-task Interleaved Pipelining-oriented CGRA. ACM Trans. Design Autom. Electr. Syst. Danping Jiang, Zibin Dai, Yanjiang Liu, Xiaoyu Song, Zhaoxu Zhou
2026	J	`jnl`	Encoder-Free ECG-Language Models. CoRR William Han, Tony Chen, Chaojing Duan, Xiaoyu Song, Yihang Yao, Yuzhe Yang, Michael A. Rosenberg, Emerson Liu, Ding Zhao
2026	J	`jnl`	Mathematical guarantees for trust region policy optimization. Inf. Sci. Li Li, Xiangyu Luo, Xiaoyu Song
2026	J	`jnl`	Sub-Connected Active RIS Assisted Secrecy Communications. IEEE Commun. Lett. Xiaoyu Song, Liang Wu, Zaichen Zhang
2025	J	`jnl`	A Novel Blockchain Transaction Sharding Scheme for Low Cross-Shard and Adaptive Load Balance. IEEE Trans. Netw. Serv. Manag. Jiao Li, Yuanhang Ning, Xiaoyu Song
2025	J	`jnl`	A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Wenjie Zhong, Tao Sun, Jiantao Zhou, Zhuowei Wang, Xiaoyu Song
2025	J	`jnl`	An Effective Genetic Algorithm for Mixed Precision. IEEE Access Wanyu Zhang, Yu Shang, Min Tsao, Yiwei Li, Xiaoyu Song
2025	J	`jnl`	Blockchain Sharding Algorithm Based on Account Degree and Frequency. Comput. Mater. Continua Jiao Li, Xiaoyu Song
2025	J	`jnl`	Field-scale irrigated winter wheat mapping using a novel cross-region slope length index in 3D canopy hydrothermal and spectral feature space. Int. J. Appl. Earth Obs. Geoinformation Youming Zhang, Guijun Yang, Prasad S. Thenkabail, Zhenhong Li, Wenbin Wu, Xiaodong Yang, Xiaoyu Song, Huiling Long, Miao Liu, Jing Zhang, Lijun Zuo, Yang Meng, Meiling Gao, Wu Zhu
2025	A	`conf`	Global Semantic Extraction for Adaptive Cross-Semantic Learning: A Novel Framework for Remote Sensing Change Caption. ICME Qiaoli Sun, Yan Wang, Xiaoyu Song, Hongyi Dong
2025	J	`jnl`	HGCGE: hyperbolic graph convolutional networks-based knowledge graph embedding for link prediction. Knowl. Inf. Syst. Liming Bao, Yan Wang, Xiaoyu Song, Tao Sun
2025	J	`jnl`	HyEED: embedding learning of knowledge graphs with entity description in hyperbolic space. Data Min. Knowl. Discov. Liming Bao, Yan Wang, Xiaoyu Song
2025	J	`jnl`	LRQ-Solver: A Transformer-Based Neural Operator for Fast and Accurate Solving of Large-scale 3D PDEs. CoRR Peijian Zeng, Guan Wang, Haohao Gu, Xiaoguang Hu, Tiezhu Gao, Zhuowei Wang, Aimin Yang, Xiaoyu Song
2025	J	`jnl`	Maximizing Uplink and Downlink Transmissions in RSMA Wirelessly Powered IoT Networks. IEEE Trans. Veh. Technol. Xiaoyu Song, Kwan-Wu Chin
2025	J	`jnl`	Quantum Finite Automaton Using Ternary Rotation Quantum Gates and Chrestenson Family Quantum Gates. Quantum Inf. Comput. Yuchen Huang, Marek A. Perkowski, Xiaoyu Song, John M. Acken
2025	J	`jnl`	Retrieval-Augmented Generation for Electrocardiogram-Language Models. CoRR Xiaoyu Song, William Han, Tony Chen, Chaojing Duan, Michael A. Rosenberg, Emerson Liu, Ding Zhao
2025	B	`conf`	Scene Graph and Dependency Grammar Enhanced Remote Sensing Change Caption Network (SGD-RSCCN). COLING Qiaoli Sun, Yan Wang, Xiaoyu Song
2025	J	`jnl`	Signal, Image, or Symbolic: Exploring the Best Input Representation for Electrocardiogram-Language Models Through a Unified Framework. CoRR William Han, Chaojing Duan, Zhepeng Cen, Yihang Yao, Xiaoyu Song, Atharva Mhaskar, Dylan Leong, Michael A. Rosenberg, Emerson Liu, Ding Zhao
2025	J	`jnl`	Spatially Selective Retinal Ganglion Cell Activation Using Low Invasive Extraocular Temporal Interference Stimulation. Int. J. Neural Syst. Xiaoyu Song, Tianruo Guo, Saidong Ma, Feng Zhou, Jiaxin Tian, Zhengyang Liu, Jiao Liu, Heng Li, Yao Chen, Xinyu Chai, Liming Li
2025	J	`jnl`	The rational application of points of interest data in the evaluation of public toilets population coverage in China. Int. J. Digit. Earth Junxia Miao, Fanglei Zhong, Luyao Ying, Chunlin Huang, Feng Gao, Xiaoyu Song
2025	J	`jnl`	Time Synchronization for 5G and TSN Integrated Networking. IEEE J. Sel. Areas Commun. Zixiao Wang, Zonghui Li, Cheng Long, Yiming Zheng, Bo Ai, Xiaoyu Song
2025	J	`jnl`	Vman: visual-modified attention network for multimodal paradigms. Vis. Comput. Xiaoyu Song, Dezhi Han, Chongqing Chen, Xiang Shen, Huafeng Wu
2024	—	`conf`	A Comprehensive Assessment of Lower Limb Muscle Fatigue Through Fusion of sEMG and VMG Signals. i-CREATe Heng Pan, Xiaoyu Song, Haotian Rao, Can Wang, Xinyu Wu
2024	—	`conf`	A Preliminary Exploration on Ultrasonic Retinal Modulation: A Modelling Study. CISP-BMEI Jiaxin Tian, Jiaxi Li, Zhengyang Liu, Cuixia Dai, Xiaoyu Song, Jiao Liu, Jinhai Niu, Liming Li
2024	J	`jnl`	A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li
2024	B	`conf`	An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. ICECCS Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song
2024	J	`jnl`	Communication-Aware Energy Consumption Model in Heterogeneous Computing Systems. Comput. J. Zhuowei Wang, Hao Wang, Xiaoyu Song, Jiahui Wu
2024	J	`jnl`	Deep Learning Acceleration Optimization of Stress Boundary Value Problem Solvers. IEEE Trans. Computers Yongsheng Chen, Zhuowei Wang, Xiaoyu Song, Zhe Yan, Lianglun Cheng
2024	J	`jnl`	Dual-Branch Domain Adaptation Few-Shot Learning for Hyperspectral Image Classification. IEEE Trans. Geosci. Remote. Sens. Zhuowei Wang, Shihui Zhao, Genping Zhao, Xiaoyu Song
2024	—	`conf`	Estimation of leaf C/N in crops based on hyperspectral measurements and machine learning methods. Agro-Geoinformatics Xingang Xu, Hao Yang, Wenbiao Wu, Guijun Yang, Xiaoyu Song, Xiaodong Yang, Yang Meng, Haikuan Feng
2024	J	`jnl`	Maximizing Uplink and Downlink Transmissions in Wirelessly Powered IoT Networks. CoRR Xiaoyu Song, Kwan-Wu Chin
2024	J	`jnl`	Modeling dynamic crack branching in unsaturated porous media through multi-phase micro-periporomechanics. CoRR Hossein Pashazad, Xiaoyu Song
2024	J	`jnl`	Modeling localized failure in geomaterials by large-deformation-plasticity periporomechanics. CoRR Xiaoyu Song, Hossein Pashazad
2024	J	`jnl`	POI recommendation for occasional groups Based on hybrid graph neural networks. Expert Syst. Appl. Lingqiang Meng, Zhizhong Liu, Dianhui Chu, Quan Z. Sheng, Jian Yu, Xiaoyu Song
2024	J	`jnl`	POI recommendation for random groups based on cooperative graph neural networks. Inf. Process. Manag. Zhizhong Liu, Lingqiang Meng, Quan Z. Sheng, Dianhui Chu, Jian Yu, Xiaoyu Song
2024	J	`jnl`	Real-time monitoring of maize phenology with the VI-RGS composite index using time-series UAV remote sensing images and meteorological data. Comput. Electron. Agric. Ziheng Feng, Zhida Cheng, Lipeng Ren, Bowei Liu, Chengjian Zhang, Dan Zhao, Heguang Sun, Haikuan Feng, Huiling Long, Bo Xu, Hao Yang, Xiaoyu Song, Xinming Ma, Guijun Yang, Chunjiang Zhao
2024	J	`jnl`	Rice yield and quality estimation coupling hierarchical linear model with remote sensing. Comput. Electron. Agric. Hanyu Xue, Xingang Xu, Qingzhen Zhu, Yang Meng, Huiling Long, Heli Li, Xiaoyu Song, Guijun Yang, Min Yang, Yafeng Li, Xiangtai Jiang
2024	J	`jnl`	Time Synchronization for 5G and TSN Integrated Networking. CoRR Zixiao Wang, Zonghui Li, Xuan Qiao, Yiming Zheng, Bo Ai, Xiaoyu Song
2024	J	`jnl`	Well Logs Reconstruction Based on Deep Learning Technology. IEEE Geosci. Remote. Sens. Lett. Haoyu Zhang, Wensheng Wu, Xiaoyu Song
2023	—	`conf`	A Railway Passenger Flow Prediction Model Based on Improved Prophet. ICMLCA Jiahao Chang, Xiaoyu Song
2023	J	`jnl`	A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai
2023	J	`jnl`	A memetic algorithm for high-strength covering array generation. IET Softw. Xu Guo, Xiaoyu Song, Jiantao Zhou, Fei-Yue Wang, Kecheng Tang, Zhuowei Wang
2023	J	`jnl`	A tolerance-based memetic algorithm for constrained covering array generation. Memetic Comput. Xu Guo, Xiaoyu Song, Jiantao Zhou, Fei-Yue Wang
2023	J	`jnl`	Alzheimer's disease classification using distilled multi-residual network. Appl. Intell. Xuehu Liang, Zhuowei Wang, Ziyang Chen, Xiaoyu Song
2023	J	`jnl`	An Effective Approach to High Strength Covering Array Generation in Combinatorial Testing. IEEE Trans. Software Eng. Xu Guo, Xiaoyu Song, Jiantao Zhou, Feiyu Wang, Kecheng Tang
2023	J	`jnl`	Assessing Progress and Interactions toward SDG 11 Indicators Based on Geospatial Big Data at Prefecture-Level Cities in the Yellow River Basin between 2015 and 2020. Remote. Sens. Yaya Feng, Chunlin Huang, Xiaoyu Song, Juan Gu
2023	J	`jnl`	Circuit optimization of Grover quantum search algorithm. Quantum Inf. Process. Xi Wu, Qingyi Li, Zhiqiang Li, Donghan Yang, Hui Yang, Wenjie Pan, Marek A. Perkowski, Xiaoyu Song
2023	J	`jnl`	Comparison of Different Dimensional Spectral Indices for Estimating Nitrogen Content of Potato Plants over Multiple Growth Periods. Remote. Sens. Yiguang Fan, Haikuan Feng, Jibo Yue, Yang Liu, Xiuliang Jin, Xingang Xu, Xiaoyu Song, Yanpeng Ma, Guijun Yang
2023	J	`jnl`	Computational multiphase micro-periporomechanics for dynamic shear banding and fracturing of unsaturated porous media. CoRR Hossein Pashazad, Xiaoyu Song
2023	J	`jnl`	Constructing High Radix Quotient Digit Selection Tables for SRT Division and Square Root. IEEE Trans. Computers Zixuan Liu, Xiaoyu Song, Zhuowei Wang, Yan Wang, Jian-tao Zhou
2023	J	`jnl`	Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation. Comput. J. Xiao Zeng, Guowu Yang, Xiaoyu Song, Marek A. Perkowski, Gang Chen
2023	J	`jnl`	Distributed Deep Learning Optimization of Heat Equation Inverse Problem Solvers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuowei Wang, Le Yang, Haoran Lin, Genping Zhao, Zixuan Liu, Xiaoyu Song
2023	J	`jnl`	Estimating potato above-ground biomass by using integrated unmanned aerial system-based optical, structural, and textural canopy measurements. Comput. Electron. Agric. Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Mingbo Bian, Yanpeng Ma, Xiuliang Jin, Xiaoyu Song, Guijun Yang
2023	J	`jnl`	Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xiao Zeng, Huijun Liang, Jun Yuan, Xiaoyu Song, Guowu Yang
2023	J	`jnl`	Hyperspectral estimation of wheat stripe rust using fractional order differential equations and Gaussian process methods. Comput. Electron. Agric. Jie Zhang, Xia Jing, Xiaoyu Song, Teng Zhang, Weina Duan, Jing Su
2023	J	`jnl`	Improved potato AGB estimates based on UAV RGB and hyperspectral images. Comput. Electron. Agric. Yang Liu, Haikuan Feng, Jibo Yue, Xiuliang Jin, Yiguang Fan, Riqiang Chen, Mingbo Bian, Yanpeng Ma, Xiaoyu Song, Guijun Yang
2023	—	`conf`	Improving Spatial Resolution and Selectivity of Transcorneal Electrical Stimulation by Temporal Interference Technology. EMBC Saidong Ma, Xiaoyu Song, Tianruo Guo, Feng Zhou, Zhengyang Liu, Xinyu Chai, Liming Li
2023	J	`jnl`	Maximizing Packets Collection in Wireless Powered IoT Networks With Charge-or-Data Time Slots. IEEE Trans. Cogn. Commun. Netw. Xiaoyu Song, Kwan-Wu Chin
2023	J	`jnl`	Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2023	J	`jnl`	Multi-branch detection network based on trigger attention for pedestrian detection under occlusion. Appl. Intell. Zhuowei Wang, Weida Lin, Lianglun Cheng, Xiaoyu Song, Yang Wang
2023	—	`conf`	Multimodal Intent Recognition Based on Contrastive Learning. ICSS Yuxuan Wu, Zhizhong Liu, Zhaohui Su, Xiaoyu Song
2023	J	`jnl`	Potato late blight severity monitoring based on the relief-mRmR algorithm with dual-drone cooperation. Comput. Electron. Agric. Heguang Sun, Xiaoyu Song, Wei Guo, Mei Guo, Yanzhi Mao, Guijun Yang, Haikuan Feng, Jie Zhang, Ziheng Feng, Jiao Wang, Yuanyuan Ma, Chunkai Zheng, Pingping Li, Di Pan
2023	—	`conf`	Proactive Perception of Preferences Evolution Based on Graph Neural Networks. ICSS Lixin Pang, Zhizhong Liu, Lingqiang Meng, Linxia Li, Xiaoyu Song
2023	J	`jnl`	SCPAT-GAN: Structural Constrained and Pathology Aware Convolutional Transformer-GAN for Virtual Histology Staining of Human Coronary OCT images. CoRR Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan
2023	—	`conf`	Structural Constrained Virtual Histology Staining for Human Coronary Imaging Using Deep Learning. ISBI Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan
2023	—	`conf`	Suprachoroidal Retinal Stimulation Leveraging Temporal Interference Technology: A Modelling Study. CISP-BMEI Jiao Liu, Xiaoyu Song, Feng Zhou, Saidong Ma, Zhengyang Liu, Jiaxi Li, Xinyu Chai, Liming Li, Tianruo Guo
2023	J	`jnl`	Sustainable Development Goal 6 Assessment and Attribution Analysis of Underdeveloped Small Regions Using Integrated Multisource Data. Remote. Sens. Junxia Miao, Xiaoyu Song, Fanglei Zhong, Chunlin Huang
2023	A	`conf`	Toward Exascale Computation for Turbomachinery Flows. SC Yuhang Fu, Weiqi Shen, Jiahuan Cui, Yao Zheng, Guangwen Yang, Zhao Liu, Jifa Zhang, Tingwei Ji, Fangfang Xie, Xiaojing Lv, Hanyue Liu, Xu Liu, Xiyang Liu, Xiaoyu Song, Guocheng Tao, Yan Yan, Paul Tucker, Steven A. E. Miller, Shirui Luo, Seid Koric, Weimin Zheng
2023	J	`jnl`	Towards Exascale Computation for Turbomachinery Flows. CoRR Yuhang Fu, Weiqi Shen, Jiahuan Cui, Yao Zheng, Guangwen Yang, Zhao Liu, Jifa Zhang, Tingwei Ji, Fangfang Xie, Xiaojing Lv, Hanyue Liu, Xu Liu, Xiyang Liu, Xiaoyu Song, Guocheng Tao, Yan Yan, Paul Tucker, Steven A. E. Miller, Shirui Luo, Seid Koric, Weimin Zheng
2023	J	`jnl`	Underwater image enhancement via complementary advantage fusion of global and local contrast. Comput. Electr. Eng. Ling Zhou, Qingmin Liu, Yuqian Fan, Xiaoyu Song, Xipeng Pan, Weidong Zhang
2023	—	`conf`	Using Canopy Hyperspectral Measurements to Evaluate Nitrogen Status in Different Leaf Layers of Winter Wheat. Agro-Geoinformatics Xingang Xu, Xiaoyu Song, Huiling Long, Yang Meng, Haikuan Feng
2023	J	`jnl`	Using an optimized texture index to monitor the nitrogen content of potato plants over multiple growth stages. Comput. Electron. Agric. Yiguang Fan, Haikuan Feng, Jibo Yue, Xiuliang Jin, Yang Liu, Riqiang Chen, Mingbo Bian, Yanpeng Ma, Xiaoyu Song, Guijun Yang
2023	J	`jnl`	Visco-Cosserat periporomechanics for dynamic shear bands and crack branching in porous media. CoRR Xiaoyu Song, Hossein Pashazad
2023	J	`jnl`	Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang
2022	—	`conf`	A Hypertension Risk Prediction Model Based on Improve Random Forest. BIC Hongyang Wu, Xiaoyu Song, Lin Zhu, Xiaobei Feng, Yifan Li, Jiahao Chang
2022	—	`conf`	A Preliminary Exploration on Dynamic Virtual Channel for Epiretinal Stimulation: A Modelling Study. CISP-BMEI Zhengyang Liu, Xiaoyu Song, Shiwei Zheng, Liming Li
2022	J	`jnl`	A Utility Game Driven QoS Optimization for Cloud Services. IEEE Trans. Serv. Comput. Yan Wang, Jiantao Zhou, Xiaoyu Song
2022	J	`jnl`	A synergic quantum particle swarm optimisation for constrained combinatorial test generation. IET Softw. Xu Guo, Xiaoyu Song, Jiantao Zhou
2022	B	`conf`	AI-Enabled Health 4.0: An IoT-Based COVID-19 Diagnosis Use-Case. GLOBECOM Xiaoyu Song, Wei Pan, Ismaeel Al Ridhawi, Ali Abbas, Safa Otoum
2022	J	`jnl`	An elastic recommender process for cloud service recommendation scalability. Concurr. Comput. Pract. Exp. Rui-dong Qi, Jiantao Zhou, Zhuowei Wang, Xiaoyu Song
2022	J	`jnl`	An explainable XGBoost model improved by SMOTE-ENN technique for maize lodging detection based on multi-source unmanned aerial vehicle images. Comput. Electron. Agric. Liang Han, Guijun Yang, Xiaodong Yang, Xiaoyu Song, Bo Xu, Zhenhai Li, Jintao Wu, Hao Yang, Jianwei Wu
2022	J	`jnl`	Automatic Block-wise Pruning with Auxiliary Gating Structures for Deep Convolutional Neural Networks. CoRR Zhaofeng Si, Honggang Qi, Xiaoyu Song
2022	J	`jnl`	Computational coupled large-deformation periporomechanics for dynamic failure and fracturing in variably saturated porous media. CoRR Shashank Menon, Xiaoyu Song
2022	J	`jnl`	Estimation of Potato Above-Ground Biomass Based on Vegetation Indices and Green-Edge Parameters Obtained from UAVs. Remote. Sens. Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Xiuliang Jin, Xiaoyu Song, Hao Yang, Guijun Yang
2022	J	`jnl`	Estimation of Potato Above-Ground Biomass Using UAV-Based Hyperspectral images and Machine-Learning Regression. Remote. Sens. Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Xiuliang Jin, Yu Zhao, Xiaoyu Song, Huiling Long, Guijun Yang
2022	J	`jnl`	Improved Artificial Bee Colony Algorithm with Adaptive Parameter for Numerical Optimization. Appl. Artif. Intell. Ming Zhao, Xiaoyu Song, Shuangyun Xing
2022	J	`jnl`	Maximal Rank of ${m}\times{n}\times 2$ Tensors over Arbitrary Fields. SIAM J. Matrix Anal. Appl. Xiaoyu Song, Baodong Zheng, Riguang Huang
2022	J	`jnl`	Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2022	J	`jnl`	Multi-Scale Reconstruction of Undersampled Spectral-Spatial OCT Data for Coronary Imaging Using Deep Learning. IEEE Trans. Biomed. Eng. Xueshen Li, Shengting Cao, Hongshan Liu, Xinwen Yao, Brigitta C. Brott, Silvio H. Litovsky, Xiaoyu Song, Yuye Ling, Yu Gan
2022	J	`jnl`	Multi-scale reconstruction of undersampled spectral-spatial OCT data for coronary imaging using deep learning. CoRR Xueshen Li, Shengting Cao, Hongshan Liu, Xinwen Yao, Brigitta C. Brott, Silvio H. Litovsky, Xiaoyu Song, Yuye Ling, Yu Gan
2022	J	`jnl`	Remote Sensing Monitoring of Rice Grain Protein Content Based on a Multidimensional Euclidean Distance Method. Remote. Sens. Jie Zhang, Xiaoyu Song, Xia Jing, Guijun Yang, Chenghai Yang, Haikuan Feng, Jiaojiao Wang, Shikang Ming
2022	J	`jnl`	Remote Sensing Monitoring of Rice and Wheat Canopy Nitrogen: A Review. Remote. Sens. Jie Zheng, Xiaoyu Song, Guijun Yang, Xiaochu Du, Xin Mei, Xiaodong Yang
2022	J	`jnl`	Remote-sensing estimation of potato above-ground biomass based on spectral and spatial features extracted from high-definition digital camera images. Comput. Electron. Agric. Yang Liu, Haikuan Feng, Jibo Yue, Zhenhai Li, Guijun Yang, Xiaoyu Song, Xiaodong Yang, Yu Zhao
2022	J	`jnl`	Structural constrained virtual histology staining for human coronary imaging using deep learning. CoRR Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan
2022	J	`jnl`	Transfer-Learning-Based Approach for Yield Prediction of Winter Wheat from Planet Data and SAFY Model. Remote. Sens. Yu Zhao, Shaoyu Han, Yang Meng, Haikuan Feng, Zhenhai Li, Jingli Chen, Xiaoyu Song, Yan Zhu, Guijun Yang
2022	J	`jnl`	Winter Wheat Nitrogen Estimation Based on Ground-Level and UAV-Mounted Sensors. Sensors Xiaoyu Song, Guijun Yang, Xingang Xu, Dongyan Zhang, Chenghai Yang, Haikuan Feng
2021	J	`jnl`	A Formal Proof of PG Recurrence Equations of Parallel Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gang Chen, Xiaoyu Song, Guowu Yang, Ting Wang, Xiaoqiao Mu, Yongqian Fan
2021	J	`jnl`	A Novel Hybrid Access Point Channel Access Method for Wireless-Powered IoT Networks. IEEE Internet Things J. Xiaoyu Song, Kwan-Wu Chin
2021	J	`jnl`	A stabilized computational nonlocal poromechanics model for dynamic analysis of saturated porous media. CoRR Shashank Menon, Xiaoyu Song
2021	J	`jnl`	Activity-Driven Task Allocation in Energy-Constrained Heterogeneous GPUs Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hao Wang
2021	J	`jnl`	Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2021	J	`jnl`	CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems. IEEE Trans. Cybern. Zhengang Guo, Yingfeng Zhang, Xibin Zhao, Xiaoyu Song
2021	—	`conf`	Combined Forecast Model of LSTM-CNN Hypertension Based on EEMD. SPML Xiaoyu Song, Lin Zhu, Xiaobei Feng, Hongyang Wu, Yifan Li
2021	J	`jnl`	Computational multiphase periporomechanics for unguided cracking in unsaturated porous media. CoRR Shashank Menon, Xiaoyu Song
2021	J	`jnl`	Improved Estimation of Winter Wheat Aboveground Biomass Using Multiscale Textures Extracted from UAV-Based Digital Images and Hyperspectral Feature Analysis. Remote. Sens. Yuanyuan Fu, Guijun Yang, Xiaoyu Song, Zhenhong Li, Xingang Xu, Haikuan Feng, Chunjiang Zhao
2021	—	`conf`	Influence of Morphological and Electrophysiological Parameters on Retinal Ganglion Cells Threshold under Temporal Interference Stimulation. CISP-BMEI Feng Zhou, Xiaoyu Song, Zhengyang Liu, Xinyu Chai, Liming Li
2021	—	`conf`	Insights from computational modelling: Characterising Midget and Parasol Retinal Ganglion Cells using Electrical Stimulation. CISP-BMEI Xiaoyu Song, Donglin Wu, Shirong Qiu, Zhengyang Liu, Feng Zhou, Saidong Ma, Liming Li, Tianruo Guo
2021	J	`jnl`	Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs. J. Supercomput. Hao Wu, Xin Chen, Xiaoyu Song, Chi Zhang, He Guo
2021	—	`conf`	Three Classifications of Big Data-based Software Testing. DSA Pan Liu, Jiaqi Yan, Xiaoyu Song
2020	J	`jnl`	A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song
2020	J	`jnl`	A computational periporomechanics model for localized failure in unsaturated porous media. CoRR Shashank Menon, Xiaoyu Song
2020	J	`jnl`	A multi-strategy fusion artificial bee colony algorithm with small population. Expert Syst. Appl. Xiaoyu Song, Ming Zhao, Shuangyun Xing
2020	J	`jnl`	A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song
2020	J	`jnl`	Cost minimization of scheduling scientific workflow applications on clouds. Concurr. Comput. Pract. Exp. Hao Wu, Xin Chen, Xiaoyu Song, He Guo
2020	J	`jnl`	Effective User Preference Clustering in Web Service Applications. Comput. J. Yan Wang, Jiantao Zhou, Xinyuan Li, Xiaoyu Song
2020	J	`jnl`	Energy Optimization by Software Prefetching for Task Granularity in GPU-Based Embedded Systems. IEEE Trans. Ind. Electron. Zhuowei Wang, Lianglun Cheng, Hao Wang, Wuqing Zhao, Xiaoyu Song
2020	J	`jnl`	Evaluating and Constraining Hardware Assertions with Absent Scenarios. J. Comput. Sci. Technol. Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
2020	J	`jnl`	Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2020	J	`jnl`	Parameter co-evolution mechanism of particle swarm optimisation algorithm. Int. J. Simul. Process. Model. Ming Zhao, Xiaoyu Song, Yichen Gao
2020	J	`jnl`	Prediction of Wheat Grain Protein by Coupling Multisource Remote Sensing Imagery and ECMWF Data. Remote. Sens. Xiaobin Xu, Cong Teng, Yu Zhao, Ying Du, Chunqi Zhao, Guijun Yang, Xiuliang Jin, Xiaoyu Song, Xiaohe Gu, Raffaele Casa, Liping Chen, Zhenhai Li
2020	J	`jnl`	Progress of hyperspectral data processing and modelling for cereal crop nitrogen monitoring. Comput. Electron. Agric. Yuanyuan Fu, Guijun Yang, Zhenhai Li, Heli Li, Zhenhong Li, Xingang Xu, Xiaoyu Song, Yunhe Zhang, Dandan Duan, Chunjiang Zhao, Liping Chen
2020	J	`jnl`	Realization of Quantum Oracles using Symmetries of Boolean Functions. Quantum Inf. Comput. Peng Gao, Yiwei Li, Marek A. Perkowski, Xiaoyu Song
2020	J	`jnl`	Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2020	J	`jnl`	Winter Wheat Nitrogen Status Estimation Using UAV-Based RGB Imagery and Gaussian Processes Regression. Remote. Sens. Yuanyuan Fu, Guijun Yang, Zhenhai Li, Xiaoyu Song, Zhenhong Li, Xingang Xu, Pei Wang, Chunjiang Zhao
2019	J	`jnl`	A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
2019	J	`jnl`	A Group Algebraic Approach to NPN Classification of Boolean Functions. Theory Comput. Syst. Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski
2019	J	`jnl`	A New Integrated Vegetation Index for the Estimation of Winter Wheat Leaf Chlorophyll Content. Remote. Sens. Bei Cui, Qianjun Zhao, Wenjiang Huang, Xiaoyu Song, Huichun Ye, Xianfeng Zhou
2019	J	`jnl`	A framework for shopfloor material delivery based on real-time manufacturing big data. J. Ambient Intell. Humaniz. Comput. Shan Ren, Xibin Zhao, Binbin Huang, Zhe Wang, Xiaoyu Song
2019	J	`jnl`	A high-efficiency adaptive artificial bee colony algorithm using two strategies for continuous optimization. Swarm Evol. Comput. Xiaoyu Song, Ming Zhao, Qifeng Yan, Shuangyun Xing
2019	—	`conf`	A preliminary study on virtual electrode for subretinal prostheses by computational model. EMBC Ning Wang, Xiaoyu Song, Tong Li, Tianruo Guo, Liming Li
2019	J	`jnl`	Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao
2019	J	`jnl`	An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2019	C	`conf`	Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services. CSCWD Yan Wang, Jian-tao Zhou, Yan Jiao, Xiaoyu Song
2019	—	`conf`	Generating Conditions of Focused Virtual Channels Under Simultaneous Electrical Stimulation of Epiretinal Prostheses: A Modeling Study. CISP-BMEI Tong Li, Shirong Qiu, Xiaoyu Song, Liming Li
2019	J	`jnl`	Hierarchical Routing for Vehicular Ad Hoc Networks via Reinforcement Learning. IEEE Trans. Veh. Technol. Fan Li, Xiaoyu Song, Huijie Chen, Xin Li, Yu Wang
2019	J	`jnl`	Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems. CoRR Sahar Daraeizadeh, Shavindra P. Premaratne, Xiaoyu Song, Marek A. Perkowski, Anne Y. Matsuura
2019	C	`conf`	Monitoring Maize Lodging Disaster Via Multi-Temporal Remote Sensing Images. IGARSS Xiaohe Gu, Qian Sun, Guijun Yang, Xiaoyu Song, Xingang Xu
2019	C	`conf`	Monitoring Spatial Variance of Winter Wheat Growth Via Chris Image. IGARSS Xiaohe Gu, Meiyan Shu, Guijun Yang, Xiaoyu Song, Xingang Xu
2019	J	`jnl`	Monitoring of Nitrogen and Grain Protein Content in Winter Wheat Based on Sentinel-2A Data. Remote. Sens. Haitao Zhao, Xiaoyu Song, Guijun Yang, Zhenhai Li, Dongyan Zhang, Haikuan Feng
2019	J	`jnl`	Mutual Exclusion Sizing for Hoi Polloi. IEEE Trans. Circuits Syst. II Express Briefs Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland, Xiaoyu Song
2019	—	`conf`	Solar Cell Defect Recognition based on Orthogonal Learning Strategy. DMIP Xiaoyu Song, Qianqian Qi, Zhili Chen
2019	J	`jnl`	Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu
2019	J	`jnl`	Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	—	`conf`	A Cloud Workflow Model Based on Resources Selection. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Jiantao Zhou, Xianyang Li, Yan Wang, Xiaoyu Song
2018	J	`jnl`	A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
2018	—	`conf`	A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi
2018	—	`conf`	A Method to Build Multi-Scene Datasets for CNN for Camera Pose Regression. AIVR Yuhao Ma, Hao Guo, Hong Chen, Mengxiao Tian, Xin Huo, Chengjiang Long, Shiye Tang, Xiaoyu Song, Qing Wang
2018	J	`jnl`	A RaaS Model Based on Emotion Analysis and Double Labeling Applied to Mobile Terminal. IEEE Access Yan Wang, Jiantao Zhou, Xiaoyu Song
2018	—	`conf`	A Software Popularity Recommendation Method Based on Evaluation Model. COMPSAC (1) Yan Wang, Pei-Xiang Bai, De-Yu Yang, Jiantao Zhou, Xiaoyu Song
2018	—	`conf`	A Synergistic Cloud Service Approach for Cold Start Problems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Rui-dong Qi, Jiantao Zhou, Xiaoyu Song
2018	—	`conf`	An Effective Clustering Method for Finding Density Peaks. ISPA/IUCC/BDCloud/SocialCom/SustainCom Rui-dong Qi, Jian-tao Zhou, Xiaoyu Song
2018	—	`conf`	Comparison of Leaf and Canopy Parameters for Estimating Wheat Nitrogen and Grain Protein Content. Agro-Geoinformatics Xiaoyu Song, Xiaohe Gu, Guijun Yang, Luo Chen, Qianqiu Ma, Zhenghai Li
2018	J	`jnl`	Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. YueXing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	J	`jnl`	Discriminative feature selection for on-line signature verification. Pattern Recognit. Xinghua Xia, Xiaoyu Song, Fangun Luan, Jungang Zheng, Zhili Chen, Xiaofu Ma
2018	—	`conf`	Effective Discrete Memetic Algorithms for Covering Array Generation. COMPSAC (1) Xu Guo, Xiaoyu Song, Jiantao Zhou
2018	J	`jnl`	Formal analysis of the kinematic Jacobian in screw theory. Formal Aspects Comput. Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song
2018	J	`jnl`	From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
2018	J	`jnl`	Grover-based Ashenhurst-Curtis decomposition using quantum language quipper. Quantum Inf. Comput. Yiwei Li, Edison Tsai, Marek A. Perkowski, Xiaoyu Song
2018	J	`jnl`	Litho-Aware Machine Learning for Hotspot Detection. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jea Woo Park, Andres Torres, Xiaoyu Song
2018	J	`jnl`	Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	—	`conf`	Predicting Grain Protein Content in Winter Wheat Using Hyperspectral and Meteorological Factor. Agro-Geoinformatics Zhenhai Li, Jianwen Wang, Chang Liu, Xiaoyu Song, Xingang Xu, Zhenhong Li
2018	—	`conf`	SMT-Based Timing Analysis and Verification of Real-Time Task. COMPSAC (1) Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi
2018	C	`conf`	Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song
2018	—	`conf`	Spectral Response of Soil Organic Matter by Principal Component Analysis. Agro-Geoinformatics Xiaohe Gu, Meiyan Shu, Guijun Yang, Xingang Xu, Xiaoyu Song
2018	J	`jnl`	Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018	—	`conf`	Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	—	`conf`	A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) YueXing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	A*	`conf`	A static analysis tool with optimizations for reachability determination. ASE YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	J	`jnl`	An Improved Combination of Spectral and Spatial Features for Vegetation Classification in Hyperspectral Images. Remote. Sens. Yuanyuan Fu, Chunjiang Zhao, Jihua Wang, Xiuping Jia, Guijun Yang, Xiaoyu Song, Haikuan Feng
2017	J	`jnl`	An adaptive artificial bee colony algorithm based on objective function value information. Appl. Soft Comput. Xiaoyu Song, Qifeng Yan, Ming Zhao
2017	—	`conf`	Assertion Recommendation for Formal Program Verification. COMPSAC (1) Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
2017	J	`jnl`	CondioSense: high-quality context-aware service for audio sensing system via active sonar. Pers. Ubiquitous Comput. Fan Li, Huijie Chen, Xiaoyu Song, Qian Zhang, Youqi Li, Yu Wang
2017	J	`jnl`	Evaluation of Orthomosics and Digital Surface Models Derived from Aerial Imagery for Crop Type Mapping. Remote. Sens. Mingquan Wu, Chenghai Yang, Xiaoyu Song, Wesley Clint Hoffmann, Wenjiang Huang, Zheng Niu, Changyao Wang, Wang Li
2017	J	`jnl`	Evaluation of Sentinel-2A Satellite Imagery for Mapping Cotton Root Rot. Remote. Sens. Xiaoyu Song, Chenghai Yang, Mingquan Wu, Chunjiang Zhao, Guijun Yang, Wesley Clint Hoffmann, Wenjiang Huang
2017	B	`conf`	Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
2017	J	`jnl`	Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	A	`conf`	Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. IROS Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song
2017	A	`conf`	Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment. ICWS Yan Wang, Jiantao Zhou, Xinyuan Li, Xiaoyu Song
2017	Misc	`conf`	How to think about self-timed systems. ACSSC Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen
2017	A*	`conf`	IntPTI: automatic integer error repair with proper-type inference. ASE Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	C	`conf`	Keyword generation by native speaker is quick and useful in conversation between native and non-native speaker. CSCWD Hiromi Hanawa, Xiaoyu Song, Tomoo Inoue
2017	J	`jnl`	Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun
2017	—	`conf`	On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. ATS Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li
2017	J	`jnl`	Online Signature Verification Based on Stable Features Extracted Dynamically. IEEE Trans. Syst. Man Cybern. Syst. Xiaoyu Song, Xinghua Xia, Fangjun Luan
2017	J	`jnl`	Partitioning the Wheat Grains by the Uniformity of protein Quality based on Remote Sensing. Int. J. Robotics Autom. Tian Weixin, Chen Chen, Xiaoyu Song, Dong Ren, Jihua Wang
2017	J	`jnl`	QRank: a novel quantile regression tool for eQTL discovery. Bioinform. Xiaoyu Song, Gen Li, Zhenwei Zhou, Xianling Wang, Iuliana Ionita-Laza, Ying Wei
2017	—	`conf`	Research on QoS Optimization Method of Cloud Service Based on Utility Game between Users and Service Providers in the Cloud Market. SCC Yan Wang, Jiantao Zhou, Jing Liu, Gang Xu, Xiaoyu Song
2017	J	`jnl`	Signature alignment based on GMM for on-line signature verification. Pattern Recognit. Xinghua Xia, Zhili Chen, Fangjun Luan, Xiaoyu Song
2017	J	`jnl`	Spatial Variability Analysis of Within-Field Winter Wheat Nitrogen and Grain Quality Using Canopy Fluorescence Sensor Measurements. Remote. Sens. Xiaoyu Song, Guijun Yang, Chenghai Yang, Jihua Wang, Bei Cui
2017	—	`conf`	Speakers' Empowerment with Keywords: The Speaking Competency Development for Multilingual to Contribute in a Real-Time Interaction. CRIWG Hiromi Hanawa, Xiaoyu Song, Mengyuan Tang, Tomoo Inoue
2017	—	`conf`	Study the Spatial-Temporal Variation of Wheat Growth Under Different Site-Specific Nitrogen Fertilization Approaches. CCTA (1) Bei Cui, Wenjiang Huang, Xiaoyu Song, Huichun Ye, Yingying Dong
2016	—	`conf`	A QoS Evolutionary Method of Cloud Service Based on User Utility Model. SCC Yan Wang, Jiantao Zhou, Jing Liu, Tenghe Au, Xiaoyu Song
2016	B	`conf`	Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016	J	`jnl`	Estimating Winter Wheat Leaf Area Index From Ground and Hyperspectral Observations Using Vegetation Indices. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Qiaoyun Xie, Wenjiang Huang, Bing Zhang, Pengfei Chen, Xiaoyu Song, Simone Pascucci, Stefano Pignatti, Giovanni Laneve, Yingying Dong
2016	J	`jnl`	Geometric Pattern Match Using Edge Driven Dissected Rectangles and Vector Space. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jea Woo Park, Robert Todd, Xiaoyu Song
2016	B	`conf`	Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. COMPSAC Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song
2016	—	`conf`	Key-Typing on Teleconference: Collaborative Effort on Cross-Cultural Discussion. CollabTech Hiromi Hanawa, Xiaoyu Song, Tomoo Inoue
2016	J	`jnl`	Modular Timing Constraints for Delay-Insensitive Systems. J. Comput. Sci. Technol. Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland
2016	—	`conf`	Scanning Line Based Random Sample Consensus algorithm for fast arc detection. ROBIO Xiaoyu Song, Ting Jing, Shuai Yuan, Song Guo, Yuxin Li
2016	J	`jnl`	Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016	J	`jnl`	Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song
2016	B	`conf`	Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation. SMC Xiaoyu Song, Yuming Zhu, Fen Lv
2015	J	`jnl`	A Quantitative Characterization of Cross Coverage. IEEE Trans. Computers Jiantao Zhou, Caihe Lan, William N. N. Hung, Xinrui Guo, Xiaoyu Song
2015	J	`jnl`	Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2015	J	`jnl`	Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory Comput. Syst. Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
2015	J	`jnl`	First, Debug the Test Oracle. IEEE Trans. Software Eng. Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	J	`jnl`	Pareto optimal mapping for tile-based network-on-chip under reliability constraints. Int. J. Comput. Math. Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Xinpeng Zhang
2015	J	`jnl`	Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2014	J	`jnl`	A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
2014	J	`jnl`	A Synthesis Algorithm for 4-Bit Reversible Logic Circuits with Minimum Quantum Cost. ACM J. Emerg. Technol. Comput. Syst. Zhiqiang Li, Hanwu Chen, Xiaoyu Song, Marek A. Perkowski
2014	Misc	`conf`	Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014	J	`jnl`	Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2014	J	`jnl`	Estimating Leaf Nitrogen Concentration In Barley By Coupling Hyperspectral Measurements With Optimal Combination Principle. Intell. Autom. Soft Comput. Xingang Xu, Chunjiang Zhao, Xiaoyu Song, Xiaodong Yang, Guijun Yang
2014	C	`conf`	Evaluation of arable land yield potential through remote sensing monitoring. IGARSS Xiaoyu Song, Xiaohe Gu, Jihua Wang, Hong Chang
2014	J	`jnl`	Exploring the Best Hyperspectral Features for LAI Estimation Using Partial Least Squares Regression. Remote. Sens. Xinchuan Li, Youjing Zhang, Yansong Bao, Juhua Luo, Xiuliang Jin, Xingang Xu, Xiaoyu Song, Guijun Yang
2014	J	`jnl`	Functional Verification of High Performance Adders in COQ. J. Appl. Math. Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	J	`jnl`	Intelligent Modeling and Verification 2014. J. Appl. Math. Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman
2014	A*	`conf`	Motion planning with Satisfiability Modulo Theories. ICRA William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao
2014	J	`jnl`	Network planning for distributed antenna-based high-speed railway mobile communications. Trans. Emerg. Telecommun. Technol. Jin-Yuan Wang, Jun-Bo Wang, Xiaoyu Song, Ming Chen, Jie Zhang
2014	J	`jnl`	Performance analysis for free-space optical communications using parallel all-optical relays over composite channels. IET Commun. Jin-Yuan Wang, Jun-Bo Wang, Ming Chen, Xiaoyu Song
2014	J	`jnl`	Performance-driven assignment and mapping for reliable networks-on-chips. J. Zhejiang Univ. Sci. C Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Fuyou Fan
2014	J	`jnl`	Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks. Wirel. Pers. Commun. Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu
2014	J	`jnl`	Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. EURASIP J. Wirel. Commun. Netw. Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu
2014	C	`conf`	Spatial variability of winter wheat growth based on the individual index and the population index. IGARSS Bei Cui, Xiaoyu Song, Wude Yang, Meichen Feng, Jihua Wang
2014	J	`jnl`	Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	A*	`conf`	Timed automata based motion planning for a self-assembly robot system. ICRA Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song
2014	—	`conf`	Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	J	`jnl`	Winter Wheat Cropland Grain Protein Content Evaluation through Remote Sensing. Intell. Autom. Soft Comput. Xiaoyu Song, Jihua Wang, Guijun Yang, Haikuan Feng
2014	Misc	`conf`	iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2013	J	`jnl`	A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems. IEEE Commun. Lett. Jun-Bo Wang, Qin Su, Jiangzhou Wang, Ming Chen, Xiaoyu Song
2013	J	`jnl`	A Transformation-Based Approach to Implication of GSTE Assertion Graphs. J. Appl. Math. Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo
2013	J	`jnl`	Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	J	`jnl`	Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song
2013	—	`conf`	Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
2013	—	`conf`	Dimming scheme analysis for pulse amplitude modulated visible light communications. WCSP Jin-Yuan Wang, Jun-Bo Wang, Ming Chen, Xiaoyu Song
2013	J	`jnl`	Distributed SNR-Based Power Allocation in Wireless Parallel Amplify-and-Forward Relay Transmissions Using Cournot Game. Wirel. Pers. Commun. Jun-Bo Wang, Jin-Yuan Wang, Xiaoyu Song, Zhe Cao, Ming Chen
2013	J	`jnl`	Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CoRR Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013	A*	`conf`	Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CAV Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013	B	`conf`	Formal Modelling of PLC Systems by BIP Components. COMPSAC Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang
2013	J	`jnl`	Formal component-based modeling and synthesis for PLC systems. Comput. Ind. Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
2013	J	`jnl`	Imperfect CSI Based Joint Bit Loading and Power Allocation for Deadline Constrained Transmission. IEEE Commun. Lett. Jun-Bo Wang, Min Feng, Xiaoyu Song, Ming Chen
2013	J	`jnl`	Intelligent Modeling and Verification. J. Appl. Math. Guiming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang
2013	C	`conf`	Inversion of paddy leaf area index using Beer-Lambert law and HJ-1/2 CCD image. IGARSS Xiaohe Gu, Jingcheng Zhang, Guijun Yang, Xiaoyu Song, Jinling Zhao, Bei Cui
2013	J	`jnl`	Optimizing communication in mobile ad hoc network clustering. Comput. Ind. Xibin Zhao, William N. N. Hung, Yafei Yang, Xiaoyu Song
2013	—	`conf`	Outage probability analysis of multi-hop free space optical communications over strong turbulence channels. WCSP Qing-Song Hu, Jun-Bo Wang, Jin-Yuan Wang, Ming Chen, Xiaoyu Song
2013	—	`conf`	Sequential dependency and reliability analysis of embedded systems. ASP-DAC Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	—	`conf`	System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	B	`conf`	Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2012	J	`jnl`	An Improved Base State with Amendments Spatio-Temporal Data Model. J. Softw. Yonghui Wang, Xiaoyu Song, Shoujin Wang
2012	J	`jnl`	Comments on 'BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'. IEEE Commun. Lett. Jun-Bo Wang, Ming Sheng, Xiaoyu Song, Yuan Jiao, Ming Chen
2012	J	`jnl`	Maxterm Covering for Satisfiability. IEEE Trans. Computers Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2012	J	`jnl`	Monitoring Winter Wheat Maturity By Hyperspectral Vegetation Indices. Intell. Autom. Soft Comput. Qian Wang, Cunjun Li, Jihua Wang, Yuanfang Huang, Xiaoyu Song, Wenjiang Huang
2012	C	`conf`	On the Formal Modeling of Inductive Verification for Cryptographical Protocols. PDCAT Yongjian Li, Xiaoyu Song, Xiaojuan Li
2012	—	`conf`	Reliability Analysis of PLC Systems by Bayesian Network. SERE Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu
2012	—	`conf`	Study on the Spatial - Temporal Variability of Soil Nutrients during Winter Wheat Growth Season. CCTA (2) Bei Cui, Wude Yang, Meichen Feng, Wenjiang Huang, Xiaoyu Song
2012	—	`conf`	Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2011	J	`jnl`	A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. Yongjian Li, William N. N. Hung, Xiaoyu Song
2011	J	`jnl`	A study on the relationship between dynamic change of vegetation coverage and precipitation in Beijing's mountainous areas during the last 20 years. Math. Comput. Model. Xia Jing, Wan-Qiang Yao, Jihua Wang, Xiaoyu Song
2011	—	`conf`	An Iterative Method for Generating Loop Invariants. FAW-AAIM Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li
2011	—	`conf`	Base state with amendments spatio-temporal data model on time-slot retrieval based on temporary base-state. FSKD Yonghui Wang, Shoujin Wang, Xiaoyu Song
2011	—	`conf`	Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2011	J	`jnl`	Competent predicate abstraction in model checking. Sci. China Inf. Sci. Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo
2011	—	`conf`	Design and implementation of villages and towns housing construction products intelligent service system. BMEI Shoujin Wang, Xiaoyu Song, Yonghui Wang, Jingke Xu
2011	C	`conf`	Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
2011	C	`conf`	Enhanced symbolic simulation of a round-robin arbiter. ICCD Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
2011	J	`jnl`	Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng
2011	J	`jnl`	Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2011	J	`jnl`	Formal modeling and synthesis of programmable logic controllers. Comput. Ind. Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu
2011	J	`jnl`	Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2011	Misc	`conf`	Proving Computational Geometry Algorithms in TLA+2. TASE Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2011	J	`jnl`	Realization and synthesis of reversible functions. Theor. Comput. Sci. Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
2011	—	`conf`	Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network. CCTA (2) Cunjun Li, Qian Wang, Jihua Wang, Yan Wang, Xiaodong Yang, Xiaoyu Song, Wenjiang Huang
2011	—	`conf`	Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data. CCTA (3) Xiaoyu Song, Wenjiang Huang, Bei Cui, Jihong Zhou
2011	—	`conf`	Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM. CCTA (3) Xingang Xu, Jihua Wang, Wenjiang Huang, Cunjun Li, Xiaoyu Song, Xiaodong Yang, Hao Yang
2010	C	`conf`	A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. DSD Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song
2010	—	`conf`	A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu
2010	—	`conf`	AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI Feng Liu, Qingping Tan, Xiaoyu Song, Naeem Abbasi
2010	—	`conf`	Algorithm of arcs recognition based on bar tracking. FSKD Yonghui Wang, Xiaoyu Song, Shoujin Wang
2010	J	`jnl`	An Analytical Congestion Model with Bounded-Bend Detours. J. Circuits Syst. Comput. Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
2010	—	`conf`	Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data. CCTA (1) Xingang Xu, Xiaohe Gu, Xiaoyu Song, Cunjun Li, Wenjiang Huang
2010	Misc	`conf`	Compositional Abstraction Refinement for Timed Systems. TASE Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu
2010	J	`jnl`	Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
2010	J	`jnl`	Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2010	—	`conf`	Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) Feng Liu, Qingping Tan, Xiaoyu Song, Gang Chen
2010	—	`conf`	GM(1, 1) based grey programming model for emergency goods scheduling. FSKD Xiaoyu Song, Chunguang Chang, Chunhui Liu
2010	J	`jnl`	Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2010	—	`conf`	Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. IIP Xiaoyu Song, Zhenhua Duan, Cong Tian
2010	Misc	`conf`	Parameterized Specification and Verification of PLC Systems in Coq. TASE Hai Wan, Xiaoyu Song, Ming Gu
2010	B	`conf`	Specifying Time-Sensitive Systems with TLA+. COMPSAC Hehua Zhang, Ming Gu, Xiaoyu Song
2010	—	`conf`	Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems. IITSI Xiaoyu Song, Lihua Sun
2010	Misc	`conf`	Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem. ICNC Xiaoyu Song, Lihua Sun, Yang Cao
2010	B	`conf`	Synthesizing hybrid quantum circuits without ancilla qudits. IEEE Congress on Evolutionary Computation Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
2009	C	`conf`	A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, Qingping Tan
2009	—	`conf`	A case study on system-level modeling by aspect-oriented programming. ISQED Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, Qingping Tan
2009	B	`conf`	Data mining based decomposition for assume-guarantee reasoning. FMCAD He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2009	B	`conf`	Formal Specification and Code Generation of Programable Logic Controllers. ICECCS Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan
2009	J	`jnl`	Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Math. Comput. Model. Hai Wan, Ming Gu, Xiaoyu Song
2009	—	`conf`	Formalization and Verification of PLC Timers in Coq. COMPSAC (1) Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2009	J	`jnl`	Heuristic-Guided Abstraction Refinement. Comput. J. Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2009	—	`conf`	Translation-Based Model Checking for PLC Programs. COMPSAC (1) Min Zhou, Fei He, Ming Gu, Xiaoyu Song
2008	—	`conf`	A Hybrid Algorithm of PSO and SA for Solving JSP. FSKD (1) Xiaoyu Song, Yang Cao, Chunguang Chang
2008	B	`conf`	A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang
2008	—	`conf`	A Mini Arc Recognition Algorithm Based on the Topological Inference. ISCSCT (2) Xiaoyu Song, Bin He, Yonghui Wang
2008	C	`conf`	A New Approach for the Construction of Multiway Decision Graphs. ICTAC Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song
2008	—	`conf`	A Novel Parallel Hybrid Algorithms for Job Shop Problem. ICNC (6) Xiaoyu Song, Chunguang Chang, Feng Zhang
2008	J	`jnl`	A fast congestion estimator for routing with bounded detours. Integr. Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao
2008	C	`conf`	A simple latency tolerant processor. ICCD Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song
2008	—	`conf`	An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams. ISCSCT (1) Xiaoyu Song, Lanyang Yu, Huanliang Sun
2008	J	`jnl`	Bi-Directional Synthesis of 4-Bit Reversible Circuits. Comput. J. Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
2008	B	`conf`	Component-Based Abstraction and Refinement. ICSR Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song
2008	—	`conf`	Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP. ICNC (7) Xiaoyu Song, Limei Sun, Qiuhong Meng
2008	—	`conf`	Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost. ICNC (3) Zhiqiang Li, Hanwu Chen, Baowen Xu, Xiaoyu Song, Xiling Xue
2008	Misc	`conf`	Effective Predicate Abstraction for Program Verification. TASE Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang
2008	B	`conf`	Fast algorithm for 4-qubit reversible logic circuits synthesis. IEEE Congress on Evolutionary Computation Zhiqiang Li, Hanwu Chen, Baowen Xu, Wenjie Liu, Xiaoyu Song, Xilin Xue
2008	J	`jnl`	Minimal universal library for n×n reversible circuits. Comput. Math. Appl. Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo
2008	—	`conf`	Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium Hehua Zhang, Ming Gu, Xiaoyu Song
2008	—	`conf`	Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES Hehua Zhang, Ming Gu, Xiaoyu Song
2008	B	`conf`	The probability logics for nanoscale inverterscascade. IEEE Congress on Evolutionary Computation Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung
2008	J	`jnl`	Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
2008	—	`conf`	Verifying programmable logic controllers with abstraction. SIES Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang
2007	J	`jnl`	A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. Gang Chen, Xiaoyu Song, Feng Liu, Qingping Tan, Fei He
2007	J	`jnl`	Component-based hardware/software co-verification for building trustworthy embedded systems. J. Syst. Softw. Fei Xie, Guowu Yang, Xiaoyu Song
2007	J	`jnl`	Defect-Tolerant CMOL Cell Assignment via Satisfiability CoRR William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom
2007	—	`conf`	Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2007	J	`jnl`	Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory CoRR Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
2007	J	`jnl`	Four-level realisation of 3-qubit reversible functions. IET Comput. Digit. Tech. Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang
2007	J	`jnl`	Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques CoRR Osama Neiroukh, Xiaoyu Song
2007	J	`jnl`	Modelling and verification of program logic controllers using timed automata. IET Softw. Rui Wang, Xiaoyu Song, Ming Gu
2007	C	`conf`	Non-Functional Requirements Elicitation and Incorporation into Functional Models. APSEC Xiaoyu Song
2007	—	`conf`	Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. CCTA Wenjiang Huang, Jihua Wang, Xiaoyu Song, Chunjiang Zhao, Liangyun Liu
2006	B	`conf`	A Constructive Algorithm for Reversible Logic Synthesis. IEEE Congress on Evolutionary Computation Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
2006	B	`conf`	A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2006	J	`jnl`	A clustering-based method for unsupervised intrusion detections. Pattern Recognit. Lett. Shengyi Jiang, Xiaoyu Song, Hui Wang, Jian-Jun Han, Qing-Hua Li
2006	J	`jnl`	A combinatorial congestion estimation approach with generalized detours. Comput. Math. Appl. Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun
2006	J	`jnl`	Algebraic Characterization of Reversible Logic Gates. Theory Comput. Syst. Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang
2006	—	`conf`	An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
2006	C	`conf`	Component-based hardware/software co-verification. MEMOCODE Fei Xie, Guowu Yang, Xiaoyu Song
2006	B	`conf`	Compositional Reasoning for Hardware/Software Co-verification. ATVA Fei Xie, Guowu Yang, Xiaoyu Song
2006	J	`jnl`	Congestion estimation for hexagonal routing. Int. J. Comput. Math. Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
2006	C	`conf`	Group Theory Based Synthesis of Binary Reversible Circuits. TAMC Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski
2006	C	`conf`	Maximal Models of Assertion Graph in GSTE. TAMC Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie
2006	J	`jnl`	Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
2006	J	`jnl`	Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun
2006	C	`conf`	Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski
2006	—	`conf`	Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
2005	—	`conf`	A Hierachical Method for Wiring and Congestion Prediction. ISVLSI Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
2005	Misc	`conf`	A Theoretical Upper Bound for IP-Based Floorplanning. COCOON Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie
2005	—	`conf`	Bi-Direction Synthesis for Reversible Circuits. ISVLSI Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
2005	A	`conf`	Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. DATE Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
2005	—	`conf`	Fast synthesis of exact minimal reversible circuits using group theory. ASP-DAC Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
2005	—	`conf`	Implication of assertion graphs in GSTE. ASP-DAC Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song
2005	A	`conf`	Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. DATE Osama Neiroukh, Xiaoyu Song
2005	J	`jnl`	Majority-based reversible logic gates. Theor. Comput. Sci. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
2005	J	`jnl`	Multiterminal net assignments by scatter search. Math. Comput. Model. Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun
2005	J	`jnl`	On Theoretical Upper Bounds for Routing Estimation. J. Univers. Comput. Sci. Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2005	J	`jnl`	On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
2005	J	`jnl`	Probabilistic Estimation for Routing Space. Comput. J. Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
2005	—	`conf`	Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2005	C	`conf`	Translation-based co-verification. MEMOCODE Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi
2004	J	`jnl`	A comparative study on search strategies for cell assignments. Int. J. Comput. Math. Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
2004	—	`conf`	A fast congestion estimator for routing with bounded detours. ASP-DAC Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang
2004	J	`jnl`	A stochastic model for cellassignments in PCS networks. Math. Comput. Model. Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song
2004	—	`conf`	Congestion Estimation for 3D Routing. ISVLSI Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
2004	J	`jnl`	Congestion estimation for 3-D circuit architectures. IEEE Trans. Circuits Syst. II Express Briefs Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
2004	—	`conf`	Formal Specification of an Asynchronous Processor via Action Refinement. MTV Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum
2004	J	`jnl`	MDG-Based State Enumeration By Retiming And Circuit Transformation. J. Circuits Syst. Comput. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou
2004	C	`conf`	Methods and application of remote sensing to forecast wheat grain quality. IGARSS Chunjiang Zhao, Liangyun Liu, Jihua Wang, Wenjiang Huang, Xiaoyu Song, Cunjun Li, Zhijie Wang
2004	J	`jnl`	Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). Comput. J. Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed
2004	—	`conf`	On the Formal Characterization of Covert Channel. AWCC Shiguang Ju, Xiaoyu Song
2004	A*	`conf`	Quantum logic synthesis by symbolic reachability analysis. DAC William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
2004	J	`jnl`	Routability checking for three-dimensional architectures. IEEE Trans. Very Large Scale Integr. Syst. William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang
2004	J	`jnl`	Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst. William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola
2004	C	`conf`	Study on winter wheat yield estimation model based on NDVI and seedtime. IGARSS Liangyun Liu, Jihua Wang, Xiaoyu Song, Cunjun Li, Wenjiang Huang, Chunjiang Zhao
2004	C	`conf`	Use of airborne hyperspectral image data to assess winter wheat yield. IGARSS Xiaoyu Song, Jihua Wang, Liangyun Liu, Xuzhang Xue, Chunjiang Zhao
2003	J	`jnl`	Board-level multiterminal net assignment for the partial cross-bar architecture. IEEE Trans. Very Large Scale Integr. Syst. Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Andrew A. Kennings, Alan J. Coppola
2003	J	`jnl`	On reachability graphs of Petri nets. Comput. Electr. Eng. Xinming Ye, Jiantao Zhou, Xiaoyu Song
2003	J	`jnl`	On the non-termination of M-based abstract state enumeration. Theor. Comput. Sci. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
2002	J	`jnl`	Adder based residue to binary number converters for (2 IEEE Trans. Signal Process. Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen
2002	J	`jnl`	BDD minimization by scatter search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll
2002	—	`conf`	Board-level multiterminal net assignment. ACM Great Lakes Symposium on VLSI Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Alan J. Coppola, Andrew A. Kennings
2002	—	`conf`	On data address computation for embedded DSP systems. ISCAS (4) William N. N. Hung, Xiaoyu Song
2002	—	`conf`	On segmented channel routability. ISCAS (1) William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings
2001	C	`conf`	BDD Variable Ordering by Scatter Search. ICCD William N. N. Hung, Xiaoyu Song
2001	J	`jnl`	Fault diagnosis in hypercube multiprocessor systems. Int. J. Comput. Math. Xiaoyu Song, Xinming Ye, Jiantao Zhou
2001	J	`jnl`	On conformance testing of non-deterministic systems. Int. J. Comput. Math. Xinming Ye, Jiantao Zhou, Xiaoyu Song, Yongmei Liu
2001	C	`conf`	Regular Realization of Symmetric Functions Using Reversible Logic. DSD Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Józwiak, Alan J. Coppola
2001	J	`jnl`	Single-faced Boolean Functions and their Minimization. Comput. J. Yuke Wang, Carl McCrosky, Xiaoyu Song
2000	—	`conf`	Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
2000	J	`jnl`	Wire space estimation and routability analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xiaoyu Song, Qian-Yu Tang, Dian Zhou, Yuke Wang
1999	—	`conf`	A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. Great Lakes Symposium on VLSI Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
1999	J	`jnl`	Diagnosis of Parallel Computers with Arbitrary Connectivity. IEEE Trans. Computers Qian-Yu Tang, Xiaoyu Song
1999	J	`jnl`	Diagnosis of clustered faults for identical degree topologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qian-Yu Tang, Xiaoyu Song, Yuke Wang
1999	J	`jnl`	Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed
1999	J	`jnl`	On the crossing distribution problem. ACM Trans. Design Autom. Electr. Syst. Xiaoyu Song, Yuke Wang
1999	J	`jnl`	Routing Multiterminal Nets on a Hexagonal Grid. Discret. Appl. Math. Xuehou Tan, Xiaoyu Song
1998	—	`conf`	MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song
1998	A*	`conf`	Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed
1998	C	`conf`	Model checking of a real ATM switch. ICCD Jianping Lu, Sofiène Tahar, Dan Voicu, Xiaoyu Song
1998	—	`conf`	Residue to Binary Number Converters for (2 Great Lakes Symposium on VLSI Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
1997	Misc	`conf`	Hexagonal Routings of Multiterminal Nets. COCOON Xuehou Tan, Xiaoyu Song
1997	J	`jnl`	Multiway Decision Graphs for Automated Hardware Verification. Formal Methods Syst. Des. Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny
1997	—	`conf`	On the non-termination of MDGs-based abstract state enumeration. CHARME Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
1997	—	`conf`	Verification with Abstract State Machines Using MDGs. Formal Hardware Verification Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou
1996	C	`conf`	Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny
1996	—	`conf`	Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin
1996	B	`conf`	Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin
1996	A*	`conf`	MDG Tools for the Verification of RTL Designs. CAV K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
1995	J	`jnl`	Hexagonal Three-Layer Channel Routing. Inf. Process. Lett. Xuehou Tan, Xiaoyu Song
1995	—	`conf`	Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin
1995	—	`conf`	State enumeration with abstract descriptions of state machines. CHARME Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song
1994	J	`jnl`	An Optimum Channel Routing Algorithm in the Knock-knee Diagonal Model. VLSI Design Xiaoyu Song
1994	J	`jnl`	An efficient DM switchbox router. Microprocess. Microprogramming Xiaoyu Song
1994	J	`jnl`	An optimal channel-routing algorithm in the times square model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xiaoyu Song, Xuehou Tan
1992	J	`jnl`	An algorithm for L-shaped channel routing in a diagonal model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xiaoyu Song
1991	J	`jnl`	A 2d channel router for the diagonal model. Integr. Elena Lodi, Fabrizio Luccio, Xiaoyu Song