default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaoyu Song
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j203]Liming Bao, Yan Wang, Xiaoyu Song, Tao Sun:
HGCGE: hyperbolic graph convolutional networks-based knowledge graph embedding for link prediction. Knowl. Inf. Syst. 67(1): 661-687 (2025)- [j202]Xiaoyu Song, Dezhi Han, Chongqing Chen, Xiang Shen, Huafeng Wu:
Vman: visual-modified attention network for multimodal paradigms. Vis. Comput. 41(4): 2737-2754 (2025) - [c172]Qiaoli Sun, Yan Wang, Xiaoyu Song:
Scene Graph and Dependency Grammar Enhanced Remote Sensing Change Caption Network (SGD-RSCCN). COLING 2025: 2121-2130 - 2024
- [j201]Hanyu Xue
, Xingang Xu, Qingzhen Zhu, Yang Meng, Huiling Long, Heli Li, Xiaoyu Song, Guijun Yang, Min Yang, Yafeng Li, Xiangtai Jiang:
Rice yield and quality estimation coupling hierarchical linear model with remote sensing. Comput. Electron. Agric. 218: 108731 (2024) - [j200]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:
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. 224: 109212 (2024) - [j199]Zhuowei Wang, Hao Wang, Xiaoyu Song, Jiahui Wu:
Communication-Aware Energy Consumption Model in Heterogeneous Computing Systems. Comput. J. 67(1): 78-94 (2024) - [j198]Lingqiang Meng, Zhizhong Liu, Dianhui Chu, Quan Z. Sheng, Jian Yu, Xiaoyu Song:
POI recommendation for occasional groups Based on hybrid graph neural networks. Expert Syst. Appl. 237(Part B): 121583 (2024) - [j197]Zhizhong Liu, Lingqiang Meng, Quan Z. Sheng, Dianhui Chu, Jian Yu, Xiaoyu Song:
POI recommendation for random groups based on cooperative graph neural networks. Inf. Process. Manag. 61(2): 103676 (2024) - [j196]Haoyu Zhang, Wensheng Wu, Xiaoyu Song:
Well Logs Reconstruction Based on Deep Learning Technology. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024) - [j195]Yongsheng Chen, Zhuowei Wang, Xiaoyu Song, Zhe Yan, Lianglun Cheng:
Deep Learning Acceleration Optimization of Stress Boundary Value Problem Solvers. IEEE Trans. Computers 73(12): 2844-2854 (2024) - [j194]Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li:
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(7): 2112-2125 (2024) - [j193]Zhuowei Wang, Shihui Zhao, Genping Zhao, Xiaoyu Song:
Dual-Branch Domain Adaptation Few-Shot Learning for Hyperspectral Image Classification. IEEE Trans. Geosci. Remote. Sens. 62: 1-16 (2024) - [c171]Xingang Xu, Hao Yang, Wenbiao Wu, Guijun Yang, Xiaoyu Song, Xiaodong Yang, Yang Meng, Haikuan Feng:
Estimation of leaf C/N in crops based on hyperspectral measurements and machine learning methods. Agro-Geoinformatics 2024: 1-5 - [c170]Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song:
An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. ICECCS 2024: 290-300 - [c169]Heng Pan, Xiaoyu Song, Haotian Rao, Can Wang, Xinyu Wu:
A Comprehensive Assessment of Lower Limb Muscle Fatigue Through Fusion of sEMG and VMG Signals. i-CREATe 2024: 1-6 - [i22]Hossein Pashazad, Xiaoyu Song:
Modeling dynamic crack branching in unsaturated porous media through multi-phase micro-periporomechanics. CoRR abs/2401.04694 (2024) - [i21]Zixiao Wang, Zonghui Li, Xuan Qiao, Yiming Zheng, Bo Ai, Xiaoyu Song:
Time Synchronization for 5G and TSN Integrated Networking. CoRR abs/2401.17721 (2024) - [i20]Xiaoyu Song, Kwan-Wu Chin:
Maximizing Uplink and Downlink Transmissions in Wirelessly Powered IoT Networks. CoRR abs/2407.01890 (2024) - [i19]Xiaoyu Song, Hossein Pashazad:
Modeling localized failure in geomaterials by large-deformation-plasticity periporomechanics. CoRR abs/2407.05129 (2024) - 2023
- [j192]Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics 57: 102099 (2023) - [j191]Zhuowei Wang, Weida Lin, Lianglun Cheng, Xiaoyu Song, Yang Wang:
Multi-branch detection network based on trigger attention for pedestrian detection under occlusion. Appl. Intell. 53(6): 6119-6132 (2023) - [j190]Xuehu Liang, Zhuowei Wang, Ziyang Chen, Xiaoyu Song:
Alzheimer's disease classification using distilled multi-residual network. Appl. Intell. 53(10): 11934-11950 (2023) - [j189]Jie Zhang, Xia Jing, Xiaoyu Song, Teng Zhang, Weina Duan, Jing Su:
Hyperspectral estimation of wheat stripe rust using fractional order differential equations and Gaussian process methods. Comput. Electron. Agric. 206: 107671 (2023) - [j188]Yiguang Fan, Haikuan Feng, Jibo Yue, Xiuliang Jin, Yang Liu, Riqiang Chen, Mingbo Bian, Yanpeng Ma, Xiaoyu Song, Guijun Yang:
Using an optimized texture index to monitor the nitrogen content of potato plants over multiple growth stages. Comput. Electron. Agric. 212: 108147 (2023) - [j187]Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Mingbo Bian, Yanpeng Ma, Xiuliang Jin, Xiaoyu Song, Guijun Yang:
Estimating potato above-ground biomass by using integrated unmanned aerial system-based optical, structural, and textural canopy measurements. Comput. Electron. Agric. 213: 108229 (2023) - [j186]Yang Liu, Haikuan Feng, Jibo Yue, Xiuliang Jin, Yiguang Fan, Riqiang Chen, Mingbo Bian, Yanpeng Ma, Xiaoyu Song, Guijun Yang:
Improved potato AGB estimates based on UAV RGB and hyperspectral images. Comput. Electron. Agric. 214: 108260 (2023) - [j185]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:
Potato late blight severity monitoring based on the relief-mRmR algorithm with dual-drone cooperation. Comput. Electron. Agric. 215: 108438 (2023) - [j184]Ling Zhou, Qingmin Liu, Yuqian Fan, Xiaoyu Song, Xipeng Pan, Weidong Zhang:
Underwater image enhancement via complementary advantage fusion of global and local contrast. Comput. Electr. Eng. 112: 108990 (2023) - [j183]Xiao Zeng, Guowu Yang, Xiaoyu Song, Marek A. Perkowski, Gang Chen:
Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation. Comput. J. 66(9): 2220-2229 (2023) - [j182]Xu Guo, Xiaoyu Song, Jiantao Zhou, Fei-Yue Wang, Kecheng Tang, Zhuowei Wang:
A memetic algorithm for high-strength covering array generation. IET Softw. 17(4): 538-553 (2023) - [j181]Xu Guo, Xiaoyu Song, Jiantao Zhou, Fei-Yue Wang:
A tolerance-based memetic algorithm for constrained covering array generation. Memetic Comput. 15(3): 319-340 (2023) - [j180]Xi Wu, Qingyi Li, Zhiqiang Li, Donghan Yang, Hui Yang, Wenjie Pan, Marek A. Perkowski, Xiaoyu Song:
Circuit optimization of Grover quantum search algorithm. Quantum Inf. Process. 22(1): 69 (2023) - [j179]Yiguang Fan, Haikuan Feng, Jibo Yue, Yang Liu, Xiuliang Jin, Xingang Xu, Xiaoyu Song, Yanpeng Ma, Guijun Yang:
Comparison of Different Dimensional Spectral Indices for Estimating Nitrogen Content of Potato Plants over Multiple Growth Periods. Remote. Sens. 15(3): 602 (2023) - [j178]Yaya Feng, Chunlin Huang, Xiaoyu Song, Juan Gu:
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. 15(6): 1668 (2023) - [j177]Junxia Miao, Xiaoyu Song, Fanglei Zhong, Chunlin Huang:
Sustainable Development Goal 6 Assessment and Attribution Analysis of Underdeveloped Small Regions Using Integrated Multisource Data. Remote. Sens. 15(15): 3885 (2023) - [j176]Zixuan Liu, Xiaoyu Song, Zhuowei Wang, Yan Wang, Jian-Tao Zhou:
Constructing High Radix Quotient Digit Selection Tables for SRT Division and Square Root. IEEE Trans. Computers 72(7): 2111-2119 (2023) - [j175]Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang:
Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1676-1690 (2023) - [j174]Xiao Zeng, Huijun Liang, Jun Yuan, Xiaoyu Song, Guowu Yang:
Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9): 2966-2979 (2023) - [j173]Zhuowei Wang, Le Yang, Haoran Lin, Genping Zhao, Zixuan Liu, Xiaoyu Song:
Distributed Deep Learning Optimization of Heat Equation Inverse Problem Solvers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(12): 4831-4843 (2023) - [j172]Xiaoyu Song, Kwan-Wu Chin:
Maximizing Packets Collection in Wireless Powered IoT Networks With Charge-or-Data Time Slots. IEEE Trans. Cogn. Commun. Netw. 9(4): 1067-1079 (2023) - [j171]Xu Guo, Xiaoyu Song, Jiantao Zhou, Feiyu Wang, Kecheng Tang:
An Effective Approach to High Strength Covering Array Generation in Combinatorial Testing. IEEE Trans. Software Eng. 49(10): 4566-4593 (2023) - [c168]Xingang Xu, Xiaoyu Song, Huiling Long, Yang Meng, Haikuan Feng:
Using Canopy Hyperspectral Measurements to Evaluate Nitrogen Status in Different Leaf Layers of Winter Wheat. Agro-Geoinformatics 2023: 1-4 - [c167]Jiao Liu, Xiaoyu Song, Feng Zhou, Saidong Ma, Zhengyang Liu, Jiaxi Li, Xinyu Chai, Liming Li, Tianruo Guo:
Suprachoroidal Retinal Stimulation Leveraging Temporal Interference Technology: A Modelling Study. CISP-BMEI 2023: 1-4 - [c166]Saidong Ma, Xiaoyu Song, Tianruo Guo, Feng Zhou, Zhengyang Liu, Xinyu Chai, Liming Li:
Improving Spatial Resolution and Selectivity of Transcorneal Electrical Stimulation by Temporal Interference Technology. EMBC 2023: 1-4 - [c165]Jiahao Chang, Xiaoyu Song:
A Railway Passenger Flow Prediction Model Based on Improved Prophet. ICMLCA 2023: 798-804 - [c164]Yuxuan Wu, Zhizhong Liu, Zhaohui Su, Xiaoyu Song:
Multimodal Intent Recognition Based on Contrastive Learning. ICSS 2023: 179-193 - [c163]Lixin Pang, Zhizhong Liu, Lingqiang Meng, Linxia Li, Xiaoyu Song:
Proactive Perception of Preferences Evolution Based on Graph Neural Networks. ICSS 2023: 383-398 - [c162]Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan:
Structural Constrained Virtual Histology Staining for Human Coronary Imaging Using Deep Learning. ISBI 2023: 1-5 - [c161]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:
Toward Exascale Computation for Turbomachinery Flows. SC 2023: 4:1-4:12 - [i18]Xiaoyu Song, Hossein Pashazad:
Visco-Cosserat periporomechanics for dynamic shear bands and crack branching in porous media. CoRR abs/2306.17357 (2023) - [i17]Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan:
SCPAT-GAN: Structural Constrained and Pathology Aware Convolutional Transformer-GAN for Virtual Histology Staining of Human Coronary OCT images. CoRR abs/2307.12138 (2023) - [i16]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:
Towards Exascale Computation for Turbomachinery Flows. CoRR abs/2308.06605 (2023) - [i15]Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai:
A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR abs/2309.11902 (2023) - [i14]Hossein Pashazad, Xiaoyu Song:
Computational multiphase micro-periporomechanics for dynamic shear banding and fracturing of unsaturated porous media. CoRR abs/2311.00253 (2023) - 2022
- [j170]Ming Zhao, Xiaoyu Song, Shuangyun Xing:
Improved Artificial Bee Colony Algorithm with Adaptive Parameter for Numerical Optimization. Appl. Artif. Intell. 36(1) (2022) - [j169]Liang Han, Guijun Yang, Xiaodong Yang, Xiaoyu Song, Bo Xu, Zhenhai Li, Jintao Wu, Hao Yang, Jianwei Wu:
An explainable XGBoost model improved by SMOTE-ENN technique for maize lodging detection based on multi-source unmanned aerial vehicle images. Comput. Electron. Agric. 194: 106804 (2022) - [j168]Yang Liu, Haikuan Feng, Jibo Yue, Zhenhai Li, Guijun Yang, Xiaoyu Song, Xiaodong Yang, Yu Zhao:
Remote-sensing estimation of potato above-ground biomass based on spectral and spatial features extracted from high-definition digital camera images. Comput. Electron. Agric. 198: 107089 (2022) - [j167]Rui-dong Qi, Jiantao Zhou, Zhuowei Wang, Xiaoyu Song:
An elastic recommender process for cloud service recommendation scalability. Concurr. Comput. Pract. Exp. 34(21) (2022) - [j166]Xu Guo, Xiaoyu Song, Jiantao Zhou:
A synergic quantum particle swarm optimisation for constrained combinatorial test generation. IET Softw. 16(3): 279-300 (2022) - [j165]Jie Zhang, Xiaoyu Song, Xia Jing, Guijun Yang, Chenghai Yang, Haikuan Feng, Jiaojiao Wang, Shikang Ming:
Remote Sensing Monitoring of Rice Grain Protein Content Based on a Multidimensional Euclidean Distance Method. Remote. Sens. 14(16): 3989 (2022) - [j164]Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Xiuliang Jin, Xiaoyu Song, Hao Yang, Guijun Yang:
Estimation of Potato Above-Ground Biomass Based on Vegetation Indices and Green-Edge Parameters Obtained from UAVs. Remote. Sens. 14(21): 5323 (2022) - [j163]Yang Liu, Haikuan Feng, Jibo Yue, Yiguang Fan, Xiuliang Jin, Yu Zhao, Xiaoyu Song, Huiling Long, Guijun Yang:
Estimation of Potato Above-Ground Biomass Using UAV-Based Hyperspectral images and Machine-Learning Regression. Remote. Sens. 14(21): 5449 (2022) - [j162]Yu Zhao, Shaoyu Han, Yang Meng, Haikuan Feng, Zhenhai Li, Jingli Chen, Xiaoyu Song, Yan Zhu, Guijun Yang:
Transfer-Learning-Based Approach for Yield Prediction of Winter Wheat from Planet Data and SAFY Model. Remote. Sens. 14(21): 5474 (2022) - [j161]Jie Zheng, Xiaoyu Song, Guijun Yang, Xiaochu Du, Xin Mei, Xiaodong Yang:
Remote Sensing Monitoring of Rice and Wheat Canopy Nitrogen: A Review. Remote. Sens. 14(22): 5712 (2022) - [j160]Xiaoyu Song, Guijun Yang, Xingang Xu, Dongyan Zhang, Chenghai Yang, Haikuan Feng:
Winter Wheat Nitrogen Estimation Based on Ground-Level and UAV-Mounted Sensors. Sensors 22(2): 549 (2022) - [j159]Xiaoyu Song, Baodong Zheng, Riguang Huang:
Maximal Rank of ${m}\times{n}\times 2$ Tensors over Arbitrary Fields. SIAM J. Matrix Anal. Appl. 43(2): 867-881 (2022) - [j158]Xueshen Li, Shengting Cao, Hongshan Liu, Xinwen Yao, Brigitta C. Brott, Silvio H. Litovsky, Xiaoyu Song, Yuye Ling, Yu Gan:
Multi-Scale Reconstruction of Undersampled Spectral-Spatial OCT Data for Coronary Imaging Using Deep Learning. IEEE Trans. Biomed. Eng. 69(12): 3667-3677 (2022) - [j157]Yan Wang, Jiantao Zhou, Xiaoyu Song:
A Utility Game Driven QoS Optimization for Cloud Services. IEEE Trans. Serv. Comput. 15(5): 2591-2603 (2022) - [c160]Hongyang Wu, Xiaoyu Song, Lin Zhu, Xiaobei Feng, Yifan Li, Jiahao Chang:
A Hypertension Risk Prediction Model Based on Improve Random Forest. BIC 2022: 429-436 - [c159]Zhengyang Liu, Xiaoyu Song, Shiwei Zheng, Liming Li:
A Preliminary Exploration on Dynamic Virtual Channel for Epiretinal Stimulation: A Modelling Study. CISP-BMEI 2022: 1-5 - [c158]Xiaoyu Song, Wei Pan, Ismaeel Al Ridhawi, Ali Abbas, Safa Otoum:
AI-Enabled Health 4.0: An IoT-Based COVID-19 Diagnosis Use-Case. GLOBECOM 2022: 6224-6229 - [i13]Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR abs/2203.04741 (2022) - [i12]Xueshen Li, Shengting Cao, Hongshan Liu, Xinwen Yao, Brigitta C. Brott, Silvio H. Litovsky, Xiaoyu Song, Yuye Ling, Yu Gan:
Multi-scale reconstruction of undersampled spectral-spatial OCT data for coronary imaging using deep learning. CoRR abs/2204.11769 (2022) - [i11]Zhaofeng Si, Honggang Qi, Xiaoyu Song:
Automatic Block-wise Pruning with Auxiliary Gating Structures for Deep Convolutional Neural Networks. CoRR abs/2205.03602 (2022) - [i10]Shashank Menon, Xiaoyu Song:
Computational coupled large-deformation periporomechanics for dynamic failure and fracturing in variably saturated porous media. CoRR abs/2207.04580 (2022) - [i9]Xueshen Li, Hongshan Liu, Xiaoyu Song, Brigitta C. Brott, Silvio H. Litovsky, Yu Gan:
Structural constrained virtual histology staining for human coronary imaging using deep learning. CoRR abs/2211.06737 (2022) - 2021
- [j156]Xiaoyu Song, Kwan-Wu Chin:
A Novel Hybrid Access Point Channel Access Method for Wireless-Powered IoT Networks. IEEE Internet Things J. 8(15): 12329-12338 (2021) - [j155]Yuanyuan Fu, Guijun Yang, Xiaoyu Song, Zhenhong Li, Xingang Xu, Haikuan Feng, Chunjiang Zhao:
Improved Estimation of Winter Wheat Aboveground Biomass Using Multiscale Textures Extracted from UAV-Based Digital Images and Hyperspectral Feature Analysis. Remote. Sens. 13(4): 581 (2021) - [j154]Gang Chen, Xiaoyu Song, Guowu Yang, Ting Wang, Xiaoqiao Mu, Yongqian Fan:
A Formal Proof of PG Recurrence Equations of Parallel Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(7): 1489-1494 (2021) - [j153]Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hao Wang:
Activity-Driven Task Allocation in Energy-Constrained Heterogeneous GPUs Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(11): 2357-2371 (2021) - [j152]Zhengang Guo, Yingfeng Zhang, Xibin Zhao, Xiaoyu Song:
CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems. IEEE Trans. Cybern. 51(1): 188-198 (2021) - [j151]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18(2): 918-935 (2021) - [j150]Hao Wu, Xin Chen, Xiaoyu Song, Chi Zhang, He Guo:
Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs. J. Supercomput. 77(1): 679-710 (2021) - [c157]Xiaoyu Song, Donglin Wu, Shirong Qiu, Zhengyang Liu, Feng Zhou, Saidong Ma, Liming Li, Tianruo Guo:
Insights from computational modelling: Characterising Midget and Parasol Retinal Ganglion Cells using Electrical Stimulation. CISP-BMEI 2021: 1-5 - [c156]Feng Zhou, Xiaoyu Song, Zhengyang Liu, Xinyu Chai, Liming Li:
Influence of Morphological and Electrophysiological Parameters on Retinal Ganglion Cells Threshold under Temporal Interference Stimulation. CISP-BMEI 2021: 1-4 - [c155]Pan Liu, Jiaqi Yan, Xiaoyu Song:
Three Classifications of Big Data-based Software Testing. DSA 2021: 751-752 - [c154]Xiaoyu Song, Lin Zhu, Xiaobei Feng, Hongyang Wu, Yifan Li:
Combined Forecast Model of LSTM-CNN Hypertension Based on EEMD. SPML 2021: 117-122 - [i8]Shashank Menon, Xiaoyu Song:
A stabilized computational nonlocal poromechanics model for dynamic analysis of saturated porous media. CoRR abs/2103.12259 (2021) - [i7]Shashank Menon, Xiaoyu Song:
Computational multiphase periporomechanics for unguided cracking in unsaturated porous media. CoRR abs/2108.10433 (2021) - 2020
- [j149]Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song:
A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. 3(1): 21-34 (2020) - [j148]Yuanyuan Fu, Guijun Yang, Zhenhai Li, Heli Li, Zhenhong Li, Xingang Xu, Xiaoyu Song, Yunhe Zhang, Dandan Duan, Chunjiang Zhao, Liping Chen:
Progress of hyperspectral data processing and modelling for cereal crop nitrogen monitoring. Comput. Electron. Agric. 172: 105321 (2020) - [j147]Yan Wang, Jiantao Zhou, Xinyuan Li, Xiaoyu Song:
Effective User Preference Clustering in Web Service Applications. Comput. J. 63(11): 1633-1643 (2020) - [j146]Hao Wu, Xin Chen, Xiaoyu Song, He Guo:
Cost minimization of scheduling scientific workflow applications on clouds. Concurr. Comput. Pract. Exp. 32(5) (2020) - [j145]Xiaoyu Song, Ming Zhao, Shuangyun Xing:
A multi-strategy fusion artificial bee colony algorithm with small population. Expert Syst. Appl. 142 (2020) - [j144]Ming Zhao, Xiaoyu Song, Yichen Gao:
Parameter co-evolution mechanism of particle swarm optimisation algorithm. Int. J. Simul. Process. Model. 15(3): 255-267 (2020) - [j143]Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li:
Evaluating and Constraining Hardware Assertions with Absent Scenarios. J. Comput. Sci. Technol. 35(5): 1198-1216 (2020) - [j142]Peng Gao, Yiwei Li, Marek A. Perkowski, Xiaoyu Song:
Realization of Quantum Oracles using Symmetries of Boolean Functions. Quantum Inf. Comput. 20(5&6): 418-448 (2020) - [j141]Xiaobin Xu, Cong Teng, Yu Zhao, Ying Du, Chunqi Zhao, Guijun Yang, Xiuliang Jin, Xiaoyu Song, Xiaohe Gu, Raffaele Casa, Liping Chen, Zhenhai Li:
Prediction of Wheat Grain Protein by Coupling Multisource Remote Sensing Imagery and ECMWF Data. Remote. Sens. 12(8): 1349 (2020) - [j140]Yuanyuan Fu, Guijun Yang, Zhenhai Li, Xiaoyu Song, Zhenhong Li, Xingang Xu, Pei Wang, Chunjiang Zhao:
Winter Wheat Nitrogen Status Estimation Using UAV-Based RGB Imagery and Gaussian Processes Regression. Remote. Sens. 12(22): 3778 (2020) - [j139]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 185-198 (2020) - [j138]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1386-1399 (2020) - [j137]Zhuowei Wang, Lianglun Cheng, Hao Wang, Wuqing Zhao, Xiaoyu Song:
Energy Optimization by Software Prefetching for Task Granularity in GPU-Based Embedded Systems. IEEE Trans. Ind. Electron. 67(6): 5120-5131 (2020) - [j136]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song:
A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67(11): 9862-9872 (2020) - [i6]Shashank Menon, Xiaoyu Song:
A computational periporomechanics model for localized failure in unsaturated porous media. CoRR abs/2010.15793 (2020)
2010 – 2019
- 2019
- [j135]Shan Ren, Xibin Zhao, Binbin Huang, Zhe Wang, Xiaoyu Song:
A framework for shopfloor material delivery based on real-time manufacturing big data. J. Ambient Intell. Humaniz. Comput. 10(3): 1093-1108 (2019) - [j134]Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski:
A Group Algebraic Approach to NPN Classification of Boolean Functions. Theory Comput. Syst. 63(6): 1278-1297 (2019) - [j133]Bei Cui, Qianjun Zhao, Wenjiang Huang, Xiaoyu Song, Huichun Ye, Xianfeng Zhou:
A New Integrated Vegetation Index for the Estimation of Winter Wheat Leaf Chlorophyll Content. Remote. Sens. 11(8): 974 (2019) - [j132]Haitao Zhao, Xiaoyu Song, Guijun Yang, Zhenhai Li, Dongyan Zhang, Haikuan Feng:
Monitoring of Nitrogen and Grain Protein Content in Winter Wheat Based on Sentinel-2A Data. Remote. Sens. 11(14): 1724 (2019) - [j131]Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song:
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13(1): 1096-1107 (2019) - [j130]Xiaoyu Song, Ming Zhao, Qifeng Yan, Shuangyun Xing:
A high-efficiency adaptive artificial bee colony algorithm using two strategies for continuous optimization. Swarm Evol. Comput. 50 (2019) - [j129]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68(2): 270-286 (2019) - [j128]Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland, Xiaoyu Song:
Mutual Exclusion Sizing for Hoi Polloi. IEEE Trans. Circuits Syst. II Express Briefs 66-II(6): 1038-1042 (2019) - [j127]Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu:
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. 66(2): 1345-1355 (2019) - [j126]Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao:
Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics 15(2): 1120-1130 (2019) - [j125]Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27(3): 1124-1137 (2019) - [j124]Fan Li, Xiaoyu Song, Huijie Chen, Xin Li, Yu Wang:
Hierarchical Routing for Vehicular Ad Hoc Networks via Reinforcement Learning. IEEE Trans. Veh. Technol. 68(2): 1852-1865 (2019) - [c153]Tong Li, Shirong Qiu, Xiaoyu Song, Liming Li:
Generating Conditions of Focused Virtual Channels Under Simultaneous Electrical Stimulation of Epiretinal Prostheses: A Modeling Study. CISP-BMEI 2019: 1-5 - [c152]Yan Wang, Jian-Tao Zhou, Yan Jiao, Xiaoyu Song:
Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services. CSCWD 2019: 434-439 - [c151]Xiaoyu Song, Qianqian Qi, Zhili Chen:
Solar Cell Defect Recognition based on Orthogonal Learning Strategy. DMIP 2019: 32-37 - [c150]Ning Wang, Xiaoyu Song, Tong Li, Tianruo Guo, Liming Li:
A preliminary study on virtual electrode for subretinal prostheses by computational model. EMBC 2019: 5264-5267 - [c149]Xiaohe Gu, Meiyan Shu, Guijun Yang, Xiaoyu Song, Xingang Xu:
Monitoring Spatial Variance of Winter Wheat Growth Via Chris Image. IGARSS 2019: 7164-7167 - [c148]Xiaohe Gu, Qian Sun, Guijun Yang, Xiaoyu Song, Xingang Xu:
Monitoring Maize Lodging Disaster Via Multi-Temporal Remote Sensing Images. IGARSS 2019: 7302-7305 - [i5]Sahar Daraeizadeh, Shavindra P. Premaratne, Xiaoyu Song, Marek A. Perkowski, Anne Y. Matsuura:
Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems. CoRR abs/1908.01092 (2019) - 2018
- [j123]Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha:
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6: 34834-34845 (2018) - [j122]Yan Wang, Jiantao Zhou, Xiaoyu Song:
A RaaS Model Based on Emotion Analysis and Double Labeling Applied to Mobile Terminal. IEEE Access 6: 70974-70982 (2018) - [j121]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257: 127-157 (2018) - [j120]Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song:
Formal analysis of the kinematic Jacobian in screw theory. Formal Aspects Comput. 30(6): 739-757 (2018) - [j119]Xinghua Xia, Xiaoyu Song, Fangun Luan, Jungang Zheng, Zhili Chen, Xiaofu Ma:
Discriminative feature selection for on-line signature verification. Pattern Recognit. 74: 422-433 (2018) - [j118]Yiwei Li, Edison Tsai, Marek A. Perkowski, Xiaoyu Song:
Grover-based Ashenhurst-Curtis decomposition using quantum language quipper. Quantum Inf. Comput. 19(1&2): 35-66 (2018) - [j117]Jea Woo Park, Andres Torres, Xiaoyu Song:
Litho-Aware Machine Learning for Hotspot Detection. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(7): 1510-1514 (2018) - [j116]Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs 65-II(1): 66-70 (2018) - [j115]Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22(3): 334-346 (2018) - [j114]Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li:
From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics 14(4): 1712-1721 (2018) - [c147]Xiaohe Gu, Meiyan Shu, Guijun Yang, Xingang Xu, Xiaoyu Song:
Spectral Response of Soil Organic Matter by Principal Component Analysis. Agro-Geoinformatics 2018: 1-4 - [c146]Zhenhai Li, Jianwen Wang, Chang Liu, Xiaoyu Song, Xingang Xu, Zhenhong Li:
Predicting Grain Protein Content in Winter Wheat Using Hyperspectral and Meteorological Factor. Agro-Geoinformatics 2018: 1-4 - [c145]Xiaoyu Song, Xiaohe Gu, Guijun Yang, Luo Chen, Qianqiu Ma, Zhenghai Li:
Comparison of Leaf and Canopy Parameters for Estimating Wheat Nitrogen and Grain Protein Content. Agro-Geoinformatics 2018: 1-6 - [c144]Yuhao Ma, Hao Guo, Hong Chen, Mengxiao Tian, Xin Huo, Chengjiang Long, Shiye Tang, Xiaoyu Song, Qing Wang:
A Method to Build Multi-Scene Datasets for CNN for Camera Pose Regression. AIVR 2018: 108-115 - [c143]Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song:
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC 2018: 298-304 - [c142]Xu Guo, Xiaoyu Song, Jiantao Zhou:
Effective Discrete Memetic Algorithms for Covering Array Generation. COMPSAC (1) 2018: 298-303 - [c141]Yan Wang, Pei-Xiang Bai, De-Yu Yang, Jiantao Zhou, Xiaoyu Song:
A Software Popularity Recommendation Method Based on Evaluation Model. COMPSAC (1) 2018: 454-460 - [c140]Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi:
SMT-Based Timing Analysis and Verification of Real-Time Task. COMPSAC (1) 2018: 711-720 - [c139]Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) 2018: 69-72 - [c138]Rui-dong Qi, Jian-Tao Zhou, Xiaoyu Song:
An Effective Clustering Method for Finding Density Peaks. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 39-46 - [c137]Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi:
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 2018: 277-286 - [c136]Rui-dong Qi, Jiantao Zhou, Xiaoyu Song:
A Synergistic Cloud Service Approach for Cold Start Problems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 472-479 - [c135]Jiantao Zhou, Xianyang Li, Yan Wang, Xiaoyu Song:
A Cloud Workflow Model Based on Resources Selection. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 490-495 - 2017
- [j113]Xiaoyu Song, Qifeng Yan, Ming Zhao:
An adaptive artificial bee colony algorithm based on objective function value information. Appl. Soft Comput. 55: 384-401 (2017) - [j112]Xiaoyu Song, Gen Li, Zhenwei Zhou, Xianling Wang, Iuliana Ionita-Laza, Ying Wei:
QRank: a novel quantile regression tool for eQTL discovery. Bioinform. 33(14): 2123-2130 (2017) - [j111]Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun:
Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks 13(10) (2017) - [j110]Tian Weixin, Chen Chen, Xiaoyu Song, Dong Ren, Jihua Wang:
Partitioning the Wheat Grains by the Uniformity of protein Quality based on Remote Sensing. Int. J. Robotics Autom. 32(3) (2017) - [j109]Xinghua Xia, Zhili Chen, Fangjun Luan, Xiaoyu Song:
Signature alignment based on GMM for on-line signature verification. Pattern Recognit. 65: 188-196 (2017) - [j108]Fan Li, Huijie Chen, Xiaoyu Song, Qian Zhang, Youqi Li, Yu Wang:
CondioSense: high-quality context-aware service for audio sensing system via active sonar. Pers. Ubiquitous Comput. 21(1): 17-29 (2017) - [j107]Xiaoyu Song, Guijun Yang, Chenghai Yang, Jihua Wang, Bei Cui:
Spatial Variability Analysis of Within-Field Winter Wheat Nitrogen and Grain Quality Using Canopy Fluorescence Sensor Measurements. Remote. Sens. 9(3): 237 (2017) - [j106]Mingquan Wu, Chenghai Yang, Xiaoyu Song, Wesley Clint Hoffmann, Wenjiang Huang, Zheng Niu, Changyao Wang, Wang Li:
Evaluation of Orthomosics and Digital Surface Models Derived from Aerial Imagery for Crop Type Mapping. Remote. Sens. 9(3): 239 (2017) - [j105]Yuanyuan Fu, Chunjiang Zhao, Jihua Wang, Xiuping Jia, Guijun Yang, Xiaoyu Song, Haikuan Feng:
An Improved Combination of Spectral and Spatial Features for Vegetation Classification in Hyperspectral Images. Remote. Sens. 9(3): 261 (2017) - [j104]Xiaoyu Song, Chenghai Yang, Mingquan Wu, Chunjiang Zhao, Guijun Yang, Wesley Clint Hoffmann, Wenjiang Huang:
Evaluation of Sentinel-2A Satellite Imagery for Mapping Cotton Root Rot. Remote. Sens. 9(9): 906 (2017) - [j103]Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64(4): 3239-3249 (2017) - [j102]Xiaoyu Song, Xinghua Xia, Fangjun Luan:
Online Signature Verification Based on Stable Features Extracted Dynamically. IEEE Trans. Syst. Man Cybern. Syst. 47(10): 2663-2676 (2017) - [c134]Yan Wang, Jiantao Zhou, Jing Liu, Gang Xu, Xiaoyu Song:
Research on QoS Optimization Method of Cloud Service Based on Utility Game between Users and Service Providers in the Cloud Market. SCC 2017: 297-304 - [c133]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:
How to think about self-timed systems. ACSSC 2017: 1597-1604 - [c132]Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li:
On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. ATS 2017: 195-200 - [c131]Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) 2017: 85-90 - [c130]Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun:
Assertion Recommendation for Formal Program Verification. COMPSAC (1) 2017: 154-159 - [c129]Hiromi Hanawa, Xiaoyu Song, Mengyuan Tang, Tomoo Inoue:
Speakers' Empowerment with Keywords: The Speaking Competency Development for Multilingual to Contribute in a Real-Time Interaction. CRIWG 2017: 148-163 - [c128]Hiromi Hanawa, Xiaoyu Song, Tomoo Inoue:
Keyword generation by native speaker is quick and useful in conversation between native and non-native speaker. CSCWD 2017: 145-150 - [c127]Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS 2017: 146-149 - [c126]Yan Wang, Jiantao Zhou, Xinyuan Li, Xiaoyu Song:
Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment. ICWS 2017: 721-727 - [c125]Bei Cui, Wenjiang Huang, Xiaoyu Song, Huichun Ye, Yingying Dong:
Study the Spatial-Temporal Variation of Wheat Growth Under Different Site-Specific Nitrogen Fertilization Approaches. CCTA (1) 2017: 316-332 - [c124]Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song:
Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. IROS 2017: 2835-2842 - [c123]Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A static analysis tool with optimizations for reachability determination. ASE 2017: 925-930 - [c122]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
IntPTI: automatic integer error repair with proper-type inference. ASE 2017: 996-1001 - 2016
- [j101]Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland:
Modular Timing Constraints for Delay-Insensitive Systems. J. Comput. Sci. Technol. 31(1): 77-106 (2016) - [j100]Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors 16(12): 2013 (2016) - [j99]Qiaoyun Xie, Wenjiang Huang, Bing Zhang, Pengfei Chen, Xiaoyu Song, Simone Pascucci, Stefano Pignatti, Giovanni Laneve, Yingying Dong:
Estimating Winter Wheat Leaf Area Index From Ground and Hyperspectral Observations Using Vegetation Indices. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 9(2): 771-780 (2016) - [j98]Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers 65(10): 3217-3223 (2016) - [j97]Jea Woo Park, Robert Todd, Xiaoyu Song:
Geometric Pattern Match Using Edge Driven Dissected Rectangles and Vector Space. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(12): 2046-2055 (2016) - [c121]Yan Wang, Jiantao Zhou, Jing Liu, Tenghe Au, Xiaoyu Song:
A QoS Evolutionary Method of Cloud Service Based on User Utility Model. SCC 2016: 571-576 - [c120]Hiromi Hanawa, Xiaoyu Song, Tomoo Inoue:
Key-Typing on Teleconference: Collaborative Effort on Cross-Cultural Discussion. CollabTech 2016: 74-88 - [c119]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC 2016: 2-11 - [c118]Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song:
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. COMPSAC 2016: 164-173 - [c117]Xiaoyu Song, Ting Jing, Shuai Yuan, Song Guo, Yuxin Li:
Scanning Line Based Random Sample Consensus algorithm for fast arc detection. ROBIO 2016: 1117-1122 - [c116]Xiaoyu Song, Yuming Zhu, Fen Lv:
Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation. SMC 2016: 1028-1033 - 2015
- [j96]Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9(1): 1-14 (2015) - [j95]Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Xinpeng Zhang:
Pareto optimal mapping for tile-based network-on-chip under reliability constraints. Int. J. Comput. Math. 92(1): 41-58 (2015) - [j94]Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu:
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory Comput. Syst. 56(2): 347-371 (2015) - [j93]Jiantao Zhou, Caihe Lan, William N. N. Hung, Xinrui Guo, Xiaoyu Song:
A Quantitative Characterization of Cross Coverage. IEEE Trans. Computers 64(8): 2408-2414 (2015) - [j92]Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(1): 150-154 (2015) - [j91]Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. 62(2): 1270-1278 (2015) - [j90]Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26(8): 2220-2232 (2015) - [j89]Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41(10): 986-1000 (2015) - 2014
- [j88]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. 57(1): 115-128 (2014) - [j87]Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun:
A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. 57(7): 1033-1045 (2014) - [j86]Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu:
Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. EURASIP J. Wirel. Commun. Netw. 2014: 156 (2014) - [j85]Jin-Yuan Wang, Jun-Bo Wang, Xiaoyu Song, Ming Chen, Jie Zhang:
Network planning for distributed antenna-based high-speed railway mobile communications. Trans. Emerg. Telecommun. Technol. 25(7): 707-722 (2014) - [j84]Xiaoyu Song, Jihua Wang, Guijun Yang, Haikuan Feng:
Winter Wheat Cropland Grain Protein Content Evaluation through Remote Sensing. Intell. Autom. Soft Comput. 20(4): 599-609 (2014) - [j83]Xingang Xu, Chunjiang Zhao, Xiaoyu Song, Xiaodong Yang, Guijun Yang:
Estimating Leaf Nitrogen Concentration In Barley By Coupling Hyperspectral Measurements With Optimal Combination Principle. Intell. Autom. Soft Comput. 20(4): 611-623 (2014) - [j82]Jin-Yuan Wang, Jun-Bo Wang, Ming Chen, Xiaoyu Song:
Performance analysis for free-space optical communications using parallel all-optical relays over composite channels. IET Commun. 8(9): 1437-1446 (2014) - [j81]Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Functional Verification of High Performance Adders in COQ. J. Appl. Math. 2014: 197252:1-197252:9 (2014) - [j80]Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman:
Intelligent Modeling and Verification 2014. J. Appl. Math. 2014: 632027:1-632027:2 (2014) - [j79]Zhiqiang Li, Hanwu Chen, Xiaoyu Song, Marek A. Perkowski:
A Synthesis Algorithm for 4-Bit Reversible Logic Circuits with Minimum Quantum Cost. ACM J. Emerg. Technol. Comput. Syst. 11(3): 29:1-29:19 (2014) - [j78]Qianqi Le, Guowu Yang, William N. N. Hung, Xiaoyu Song, Fuyou Fan:
Performance-driven assignment and mapping for reliable networks-on-chips. J. Zhejiang Univ. Sci. C 15(11): 1009-1020 (2014) - [j77]Xinchuan Li, Youjing Zhang, Yansong Bao, Juhua Luo, Xiuliang Jin, Xingang Xu, Xiaoyu Song, Guijun Yang:
Exploring the Best Hyperspectral Features for LAI Estimation Using Partial Least Squares Regression. Remote. Sens. 6(7): 6221-6241 (2014) - [j76]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63(10): 2563-2575 (2014) - [j75]Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu:
Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks. Wirel. Pers. Commun. 78(1): 151-169 (2014) - [c115]William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao:
Motion planning with Satisfiability Modulo Theories. ICRA 2014: 113-118 - [c114]Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song:
Timed automata based motion planning for a self-assembly robot system. ICRA 2014: 5624-5629 - [c113]Xiaoyu Song, Xiaohe Gu, Jihua Wang, Hong Chang:
Evaluation of arable land yield potential through remote sensing monitoring. IGARSS 2014: 2122-2125 - [c112]Bei Cui, Xiaoyu Song, Wude Yang, Meichen Feng, Jihua Wang:
Spatial variability of winter wheat growth based on the individual index and the population index. IGARSS 2014: 2130-2133 - [c111]Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE 2014: 711-714 - [c110]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134 - [c109]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE 2014: 193-200 - 2013
- [j74]Xibin Zhao, William N. N. Hung, Yafei Yang, Xiaoyu Song:
Optimizing communication in mobile ad hoc network clustering. Comput. Ind. 64(7): 849-853 (2013) - [j73]Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013) - [j72]Jun-Bo Wang, Min Feng, Xiaoyu Song, Ming Chen:
Imperfect CSI Based Joint Bit Loading and Power Allocation for Deadline Constrained Transmission. IEEE Commun. Lett. 17(5): 826-829 (2013) - [j71]Jun-Bo Wang, Qin Su, Jiangzhou Wang, Ming Chen, Xiaoyu Song:
A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems. IEEE Commun. Lett. 17(11): 2036-2039 (2013) - [j70]Guowu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo:
A Transformation-Based Approach to Implication of GSTE Assertion Graphs. J. Appl. Math. 2013: 709071:1-709071:7 (2013) - [j69]Guiming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang:
Intelligent Modeling and Verification. J. Appl. Math. 2013: 791363:1-791363:2 (2013) - [j68]Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song:
Complete Boolean Satisfiability Solving Algorithms Based on Local Search. J. Comput. Sci. Technol. 28(2): 247-254 (2013) - [j67]Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun:
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60(11): 5325-5336 (2013) - [j66]Jun-Bo Wang, Jin-Yuan Wang, Xiaoyu Song, Zhe Cao, Ming Chen:
Distributed SNR-Based Power Allocation in Wireless Parallel Amplify-and-Forward Relay Transmissions Using Cournot Game. Wirel. Pers. Commun. 70(4): 1285-1306 (2013) - [c108]Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Sequential dependency and reliability analysis of embedded systems. ASP-DAC 2013: 423-428 - [c107]Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu:
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CAV 2013: 242-257 - [c106]Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang:
Formal Modelling of PLC Systems by BIP Components. COMPSAC 2013: 512-518 - [c105]Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC 2013: 549-558 - [c104]Xiaohe Gu, Jingcheng Zhang, Guijun Yang, Xiaoyu Song, Jinling Zhao, Bei Cui:
Inversion of paddy leaf area index using Beer-Lambert law and HJ-1/2 CCD image. IGARSS 2013: 2794-2797 - [c103]Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698 - [c102]Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE 2013: 703-706 - [c101]Qing-Song Hu, Jun-Bo Wang, Jin-Yuan Wang, Ming Chen, Xiaoyu Song:
Outage probability analysis of multi-hop free space optical communications over strong turbulence channels. WCSP 2013: 1-6 - [c100]Jin-Yuan Wang, Jun-Bo Wang, Ming Chen, Xiaoyu Song:
Dimming scheme analysis for pulse amplitude modulated visible light communications. WCSP 2013: 1-6 - [i4]Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu:
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CoRR abs/1303.6885 (2013) - 2012
- [j65]Qian Wang, Cunjun Li, Jihua Wang, Yuanfang Huang, Xiaoyu Song, Wenjiang Huang:
Monitoring Winter Wheat Maturity By Hyperspectral Vegetation Indices. Intell. Autom. Soft Comput. 18(5): 537-546 (2012) - [j64]Jun-Bo Wang, Ming Sheng, Xiaoyu Song, Yuan Jiao, Ming Chen:
Comments on 'BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'. IEEE Commun. Lett. 16(1): 22-23 (2012) - [j63]Yonghui Wang, Xiaoyu Song, Shoujin Wang:
An Improved Base State with Amendments Spatio-Temporal Data Model. J. Softw. 7(3): 663-669 (2012) - [j62]Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu:
Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012) - [c99]Bei Cui, Wude Yang, Meichen Feng, Wenjiang Huang, Xiaoyu Song:
Study on the Spatial - Temporal Variability of Soil Nutrients during Winter Wheat Growth Season. CCTA (2) 2012: 238-247 - [c98]Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI 2012: 243-248 - [c97]Yongjian Li, Xiaoyu Song, Xiaojuan Li:
On the Formal Modeling of Inductive Verification for Cryptographical Protocols. PDCAT 2012: 201-206 - [c96]Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu:
Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290 - 2011
- [j61]Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo:
Competent predicate abstraction in model checking. Sci. China Inf. Sci. 54(2): 258-267 (2011) - [j60]Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu:
Formal modeling and synthesis of programmable logic controllers. Comput. Ind. 62(1): 23-31 (2011) - [j59]Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54(6): 894-904 (2011) - [j58]Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng:
Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. 39(2): 117-143 (2011) - [j57]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. 5(1): 32-42 (2011) - [j56]Xia Jing, Wan-Qiang Yao, Jihua Wang, Xiaoyu Song:
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. 54(3-4): 1079-1085 (2011) - [j55]Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
Realization and synthesis of reversible functions. Theor. Comput. Sci. 412(17): 1606-1613 (2011) - [j54]Yongjian Li, William N. N. Hung, Xiaoyu Song:
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theor. Comput. Sci. 412(25): 2746-2765 (2011) - [c95]Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li:
An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274 - [c94]Shoujin Wang, Xiaoyu Song, Yonghui Wang, Jingke Xu:
Design and implementation of villages and towns housing construction products intelligent service system. BMEI 2011: 2202-2205 - [c93]Yonghui Wang, Shoujin Wang, Xiaoyu Song:
Base state with amendments spatio-temporal data model on time-slot retrieval based on temporary base-state. FSKD 2011: 1540-1544 - [c92]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference 2011: 242-246 - [c91]Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Enhanced symbolic simulation of a round-robin arbiter. ICCD 2011: 102-107 - [c90]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu:
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130 - [c89]Xingang Xu, Jihua Wang, Wenjiang Huang, Cunjun Li, Xiaoyu Song, Xiaodong Yang, Hao Yang:
Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM. CCTA (3) 2011: 284-292 - [c88]Xiaoyu Song, Wenjiang Huang, Bei Cui, Jihong Zhou:
Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data. CCTA (3) 2011: 362-371 - [c87]Cunjun Li, Qian Wang, Jihua Wang, Yan Wang, Xiaodong Yang, Xiaoyu Song, Wenjiang Huang:
Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network. CCTA (2) 2011: 381-389 - [c86]Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254 - 2010
- [j53]Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu:
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. 4(4): 306-316 (2010) - [j52]Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang:
An Analytical Congestion Model with Bounded-Bend Detours. J. Circuits Syst. Comput. 19(2): 479-490 (2010) - [j51]Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010) - [j50]Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(10): 1655-1659 (2010) - [c85]Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
Synthesizing hybrid quantum circuits without ancilla qudits. IEEE Congress on Evolutionary Computation 2010: 1-7 - [c84]Hehua Zhang, Ming Gu, Xiaoyu Song:
Specifying Time-Sensitive Systems with TLA+. COMPSAC 2010: 425-430 - [c83]Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song:
A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. DSD 2010: 681-688 - [c82]Yonghui Wang, Xiaoyu Song, Shoujin Wang:
Algorithm of arcs recognition based on bar tracking. FSKD 2010: 2535-2540 - [c81]Xiaoyu Song, Chunguang Chang, Chunhui Liu:
GM(1, 1) based grey programming model for emergency goods scheduling. FSKD 2010: 2821-2825 - [c80]Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi:
AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI 2010: 353-356 - [c79]Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen:
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) 2010: 193-204 - [c78]Xiaoyu Song, Lihua Sun, Yang Cao:
Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem. ICNC 2010: 2710-2714 - [c77]Xiaoyu Song, Zhenhua Duan, Cong Tian:
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. Intelligent Information Processing 2010: 72-81 - [c76]Xingang Xu, Xiaohe Gu, Xiaoyu Song, Cunjun Li, Wenjiang Huang:
Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data. CCTA (1) 2010: 296-303 - [c75]Xiaoyu Song, Lihua Sun:
Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems. IITSI 2010: 493-497 - [c74]Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu:
A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364 - [c73]Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu:
Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176 - [c72]Hai Wan, Xiaoyu Song, Ming Gu:
Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182
2000 – 2009
- 2009
- [j49]Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009) - [j48]Hai Wan, Ming Gu, Xiaoyu Song:
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Math. Comput. Model. 50(7-8): 1090-1099 (2009) - [c71]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323 - [c70]Min Zhou, Fei He, Ming Gu, Xiaoyu Song:
Translation-Based Model Checking for PLC Programs. COMPSAC (1) 2009: 553-562 - [c69]Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan:
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286 - [c68]He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu:
Data mining based decomposition for assume-guarantee reasoning. FMCAD 2009: 116-119 - [c67]Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109 - [c66]Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan:
A case study on system-level modeling by aspect-oriented programming. ISQED 2009: 345-349 - 2008
- [j47]Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski:
Bi-Directional Synthesis of 4-Bit Reversible Circuits. Comput. J. 51(2): 207-215 (2008) - [j46]Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Chang-Jun Seo:
Minimal universal library for n×n reversible circuits. Comput. Math. Appl. 56(1): 160-165 (2008) - [j45]Lerong Cheng, Xiaoyu Song, Guowu Yang, William N. N. Hung, Zhiwei Tang, Shaodi Gao:
A fast congestion estimator for routing with bounded detours. Integr. 41(3): 360-370 (2008) - [j44]Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song:
Transforming Cyclic Circuits Into Acyclic Equivalents. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1775-1787 (2008) - [c65]Hehua Zhang, Ming Gu, Xiaoyu Song:
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium 2008: 279-285 - [c64]Zhiqiang Li, Hanwu Chen, Baowen Xu, Wenjie Liu, Xiaoyu Song, Xilin Xue:
Fast algorithm for 4-qubit reversible logic circuits synthesis. IEEE Congress on Evolutionary Computation 2008: 2202-2207 - [c63]Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung:
The probability logics for nanoscale inverterscascade. IEEE Congress on Evolutionary Computation 2008: 2487-2491 - [c62]Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang:
A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC 2008: 231-234 - [c61]Xiaoyu Song, Yang Cao, Chunguang Chang:
A Hybrid Algorithm of PSO and SA for Solving JSP. FSKD (1) 2008: 111-115 - [c60]Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song:
A simple latency tolerant processor. ICCD 2008: 384-389 - [c59]Xiaoyu Song, Chunguang Chang, Feng Zhang:
A Novel Parallel Hybrid Algorithms for Job Shop Problem. ICNC (6) 2008: 452-456 - [c58]Xiaoyu Song, Limei Sun, Qiuhong Meng:
Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP. ICNC (7) 2008: 614-618 - [c57]Zhiqiang Li, Hanwu Chen, Baowen Xu, Xiaoyu Song, Xiling Xue:
Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost. ICNC (3) 2008: 623-627 - [c56]Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song:
Component-Based Abstraction and Refinement. ICSR 2008: 39-51 - [c55]Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song:
A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242 - [c54]Xiaoyu Song, Lanyang Yu, Huanliang Sun:
An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams. ISCSCT (1) 2008: 472-475 - [c53]Xiaoyu Song, Bin He, Yonghui Wang:
A Mini Arc Recognition Algorithm Based on the Topological Inference. ISCSCT (2) 2008: 686-689 - [c52]Hehua Zhang, Ming Gu, Xiaoyu Song:
Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES 2008: 103-110 - [c51]Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang:
Verifying programmable logic controllers with abstraction. SIES 2008: 225-228 - [c50]Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang:
Effective Predicate Abstraction for Program Verification. TASE 2008: 129-132 - 2007
- [j43]Rui Wang, Xiaoyu Song, Ming Gu:
Modelling and verification of program logic controllers using timed automata. IET Softw. 1(4): 127-131 (2007) - [j42]Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N. N. Hung, Jacob D. Biamonte, Zhiwei Tang:
Four-level realisation of 3-qubit reversible functions. IET Comput. Digit. Tech. 1(4): 382-388 (2007) - [j41]Fei Xie, Guowu Yang, Xiaoyu Song:
Component-based hardware/software co-verification for building trustworthy embedded systems. J. Syst. Softw. 80(5): 643-654 (2007) - [j40]Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He:
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12(4): 52 (2007) - [c49]Xiaoyu Song:
Non-Functional Requirements Elicitation and Incorporation into Functional Models. APSEC 2007: 570 - [c48]Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398 - [c47]Wenjiang Huang, Jihua Wang, Xiaoyu Song, Chunjiang Zhao, Liangyun Liu:
Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. CCTA 2007: 1299-1301 - [i3]William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom:
Defect-Tolerant CMOL Cell Assignment via Satisfiability. CoRR abs/0705.4320 (2007) - [i2]Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. CoRR abs/0710.4694 (2007) - [i1]Osama Neiroukh, Xiaoyu Song:
Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. CoRR abs/0710.4713 (2007) - 2006
- [j39]Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun:
A combinatorial congestion estimation approach with generalized detours. Comput. Math. Appl. 51(6-7): 1113-1126 (2006) - [j38]Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang:
Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006) - [j37]Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang:
Algebraic Characterization of Reversible Logic Gates. Theory Comput. Syst. 39(2): 311-319 (2006) - [j36]Shengyi Jiang, Xiaoyu Song, Hui Wang, Jian-Jun Han, Qing-Hua Li:
A clustering-based method for unsupervised intrusion detections. Pattern Recognit. Lett. 27(7): 802-810 (2006) - [j35]William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski:
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. 25(9): 1652-1663 (2006) - [j34]Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun:
Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs 53-II(4): 264-268 (2006) - [c46]Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50 - [c45]Fei Xie, Guowu Yang, Xiaoyu Song:
Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169 - [c44]Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski:
A Constructive Algorithm for Reversible Logic Synthesis. IEEE Congress on Evolutionary Computation 2006: 2416-2421 - [c43]Anduo Wang, Fei He, Ming Gu, Xiaoyu Song:
Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142 - [c42]Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song:
An Efficient Algorithm for the Analysis of Cyclic Circuits. ISVLSI 2006: 303-308 - [c41]Fei Xie, Guowu Yang, Xiaoyu Song:
Component-based hardware/software co-verification. MEMOCODE 2006: 27-36 - [c40]Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski:
Group Theory Based Synthesis of Binary Reversible Circuits. TAMC 2006: 365-374 - [c39]Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie:
Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693 - [c38]Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski:
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280 - 2005
- [j33]Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng:
Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005) - [j32]Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun:
On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. 82(4): 385-390 (2005) - [j31]Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
On Theoretical Upper Bounds for Routing Estimation. J. Univers. Comput. Sci. 11(6): 916-925 (2005) - [j30]Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun:
Multiterminal net assignments by scatter search. Math. Comput. Model. 41(8-9): 997-1004 (2005) - [j29]Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
Majority-based reversible logic gates. Theor. Comput. Sci. 334(1-3): 259-274 (2005) - [c37]Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski:
Fast synthesis of exact minimal reversible circuits using group theory. ASP-DAC 2005: 1002-1005 - [c36]Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song:
Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063 - [c35]Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie:
A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419 - [c34]Osama Neiroukh, Xiaoyu Song:
Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. DATE 2005: 294-299 - [c33]Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. DATE 2005: 434-435 - [c32]Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251 - [c31]Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski:
Bi-Direction Synthesis for Reversible Circuits. ISVLSI 2005: 14-19 - [c30]Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun:
A Hierachical Method for Wiring and Congestion Prediction. ISVLSI 2005: 307-308 - [c29]Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi:
Translation-based co-verification. MEMOCODE 2005: 111-120 - 2004
- [j28]Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed:
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). Comput. J. 47(1): 71-84 (2004) - [j27]Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song:
A comparative study on search strategies for cell assignments. Int. J. Comput. Math. 81(7): 901-908 (2004) - [j26]Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou:
MDG-Based State Enumeration By Retiming And Circuit Transformation. J. Circuits Syst. Comput. 13(5): 1111-1132 (2004) - [j25]Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song:
A stochastic model for cellassignments in PCS networks. Math. Comput. Model. 40(7-8): 745-755 (2004) - [j24]Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Congestion estimation for 3-D circuit architectures. IEEE Trans. Circuits Syst. II Express Briefs 51-II(12): 655-659 (2004) - [j23]William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola:
Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst. 9(4): 517-528 (2004) - [j22]William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang:
Routability checking for three-dimensional architectures. IEEE Trans. Very Large Scale Integr. Syst. 12(12): 1371-1374 (2004) - [c28]Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang:
A fast congestion estimator for routing with bounded detours. ASP-DAC 2004: 666-670 - [c27]Shiguang Ju, Xiaoyu Song:
On the Formal Characterization of Covert Channel. AWCC 2004: 155-160 - [c26]William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski:
Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841 - [c25]Chunjiang Zhao, Liangyun Liu, Jihua Wang, Wenjiang Huang, Xiaoyu Song, Cunjun Li, Zhijie Wang:
Methods and application of remote sensing to forecast wheat grain quality. IGARSS 2004: 4008-4010 - [c24]Liangyun Liu, Jihua Wang, Xiaoyu Song, Cunjun Li, Wenjiang Huang, Chunjiang Zhao:
Study on winter wheat yield estimation model based on NDVI and seedtime. IGARSS 2004: 4045-4047 - [c23]Xiaoyu Song, Jihua Wang, Liangyun Liu, Xuzhang Xue, Chunjiang Zhao:
Use of airborne hyperspectral image data to assess winter wheat yield. IGARSS 2004: 4080-4083 - [c22]Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Congestion Estimation for 3D Routing. ISVLSI 2004: 239-240 - [c21]Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum:
Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41 - 2003
- [j21]Xinming Ye, Jiantao Zhou, Xiaoyu Song:
On reachability graphs of Petri nets. Comput. Electr. Eng. 29(2): 263-272 (2003) - [j20]Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny:
On the non-termination of M-based abstract state enumeration. Theor. Comput. Sci. 300(1-3): 161-179 (2003) - [j19]Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Andrew A. Kennings, Alan J. Coppola:
Board-level multiterminal net assignment for the partial cross-bar architecture. IEEE Trans. Very Large Scale Integr. Syst. 11(3): 511-514 (2003) - 2002
- [j18]William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll:
BDD minimization by scatter search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(8): 974-979 (2002) - [j17]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen:
Adder based residue to binary number converters for (2n-1, 2n, 2n+1). IEEE Trans. Signal Process. 50(7): 1772-1779 (2002) - [c20]Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Alan J. Coppola, Andrew A. Kennings:
Board-level multiterminal net assignment. ACM Great Lakes Symposium on VLSI 2002: 130-135 - [c19]William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings:
On segmented channel routability. ISCAS (1) 2002: 169-172 - [c18]William N. N. Hung, Xiaoyu Song:
On data address computation for embedded DSP systems. ISCAS (4) 2002: 532-535 - 2001
- [j16]Yuke Wang, Carl McCrosky, Xiaoyu Song:
Single-faced Boolean Functions and their Minimization. Comput. J. 44(4): 280-291 (2001) - [j15]Xinming Ye, Jiantao Zhou, Xiaoyu Song, Yongmei Liu:
On conformance testing of non-deterministic systems. Int. J. Comput. Math. 77(1): 55-72 (2001) - [j14]Xiaoyu Song, Xinming Ye, Jiantao Zhou:
Fault diagnosis in hypercube multiprocessor systems. Int. J. Comput. Math. 77(3): 355-372 (2001) - [c17]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:
Regular Realization of Symmetric Functions Using Reversible Logic. DSD 2001: 245-253 - [c16]William N. N. Hung, Xiaoyu Song:
BDD Variable Ordering by Scatter Search. ICCD 2001: 368-373 - 2000
- [j13]Xiaoyu Song, Qian-Yu Tang, Dian Zhou, Yuke Wang:
Wire space estimation and routability analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(5): 624-628 (2000) - [c15]V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song:
Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28
1990 – 1999
- 1999
- [j12]Xuehou Tan, Xiaoyu Song:
Routing Multiterminal Nets on a Hexagonal Grid. Discret. Appl. Math. 90(1-3): 245-255 (1999) - [j11]Qian-Yu Tang, Xiaoyu Song:
Diagnosis of Parallel Computers with Arbitrary Connectivity. IEEE Trans. Computers 48(7): 757-761 (1999) - [j10]Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed:
Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(7): 956-972 (1999) - [j9]Qian-Yu Tang, Xiaoyu Song, Yuke Wang:
Diagnosis of clustered faults for identical degree topologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(8): 1192-1201 (1999) - [j8]Xiaoyu Song, Yuke Wang:
On the crossing distribution problem. ACM Trans. Design Autom. Electr. Syst. 4(1): 39-51 (1999) - [c14]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid:
A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. Great Lakes Symposium on VLSI 1999: 362- - 1998
- [c13]Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed:
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV 1998: 219-231 - [c12]Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid:
Residue to Binary Number Converters for (2n-1, 2n, 2n+1). Great Lakes Symposium on VLSI 1998: 174-178 - [c11]Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song:
MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361 - [c10]Jianping Lu, Sofiène Tahar, Dan Voicu, Xiaoyu Song:
Model checking of a real ATM switch. ICCD 1998: 195-198 - 1997
- [j7]Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny:
Multiway Decision Graphs for Automated Hardware Verification. Formal Methods Syst. Des. 10(1): 7-46 (1997) - [c9]Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny:
On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235 - [c8]Xuehou Tan, Xiaoyu Song:
Hexagonal Routings of Multiterminal Nets. COCOON 1997: 311-320 - [c7]Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou:
Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113 - 1996
- [c6]K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou:
MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436 - [c5]Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin:
Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247 - [c4]Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin:
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI 1996: 106-111 - [c3]Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny:
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD 1996: 20-26 - 1995
- [j6]Xuehou Tan, Xiaoyu Song:
Hexagonal Three-Layer Channel Routing. Inf. Process. Lett. 55(4): 223-228 (1995) - [c2]Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song:
State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160 - [c1]Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin:
Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111 - 1994
- [j5]Xiaoyu Song:
An efficient DM switchbox router. Microprocess. Microprogramming 40(6): 439-446 (1994) - [j4]Xiaoyu Song, Xuehou Tan:
An optimal channel-routing algorithm in the times square model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(7): 891-898 (1994) - [j3]Xiaoyu Song:
An Optimum Channel Routing Algorithm in the Knock-knee Diagonal Model. VLSI Design 1(3): 233-242 (1994) - 1992
- [j2]Xiaoyu Song:
An algorithm for L-shaped channel routing in a diagonal model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(2): 267-270 (1992) - 1991
- [j1]Elena Lodi, Fabrizio Luccio, Xiaoyu Song:
A 2d channel router for the diagonal model. Integr. 11(2): 111-125 (1991)
Coauthor Index
[j192] [i13] [j151] [j139] [j138] [j136] [j129] [j127] [j125] [j123] [j121] [j116] [j115] [c139] [j103] [c131] [c130] [c123] [c122] [j100] [c119] [c118] [j96] [j94] [j92] [j91] [j90] [j89] [j87] [j86] [j81] [j76] [j75] [c111] [c110] [c109] [j73] [j67] [c108] [c107] [c105] [c103] [c102] [i4] [j62] [c98] [c96] [j61] [j60] [j57] [c90] [c86] [j53] [j51] [c84] [c74] [c73] [c72] [j49] [j48] [c71] [c70] [c68] [c67] [c65] [c62] [c52] [c51] [c50] [j43] [c48] [j39] [j38] [j34] [c46] [c43] [j33] [j32] [j31] [j30] [c32] [c30] [j27] [j25]
[j134] [j116] [j98] [j95] [j93] [j92] [j88] [j78] [j76] [c115] [j74] [j70] [j68] [j67] [c108] [c107] [c105] [c103] [i4] [j62] [c98] [c96] [j58] [j55] [j54] [c92] [c91] [c90] [j51] [c85] [c83] [c73] [c68] [j47] [j46] [j45] [c63] [j42] [i3] [i2] [j35] [j34] [c44] [c40] [j29] [c37] [c36] [c33] [c32] [c31] [j27] [j24] [j23] [j22] [c26] [c22] [j19] [j18] [c20] [c19] [c18] [c16]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-22 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
