default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaojun Liu
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. 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
Other persons with the same name
- Xiaojun Liu 0001 — Salesforce.com, Inc., San Francisco, CA, USA (and 1 more)
- Xiaojun Liu 0002
![[0000-0003-2572-8631]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-2572-8631")
— Southeast University, School of Mechanical Engineering, Nanjing, China - Xiaojun Liu 0003 — Nanjing Agricultural University, National Engineering and Technology Center for Information Agriculture, Key Laboratory for Crop System Analysis and Decision Making, China
- Xiaojun Liu 0004 — Chinese Academy of Sciences, Key Laboratory of Electromagnetic Radiation and Sensing Technology, Beijing, China
- Xiaojun Liu 0005 — Dalian University of Technology, Institute of Systems Engineering, China
- Xiaojun Liu 0006 — China Agriculture University, Department of Applied Mathematics, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j56]Ning Zhang, Xiaoqing Xu, Liuyihui Qian, Xiaojun Liu, Juan Wu, Hong Tang:
Auction-Based Incentive Mechanism in Federated Learning Considering Communication Path Finding. IEEE Access 12: 139336-139345 (2024)- [j55]Yang Yi, Anqi Zhang, Xiaojun Liu, Di Jiang, Yi Lu, Bin Wu:
Digital twin-driven assembly accuracy prediction method for high performance precision assembly of complex products. Adv. Eng. Informatics 61: 102495 (2024) - [j54]Xinquan Liu, Xingmiao Liu, Xiaoli Yu, Xiaojun Liu, Kang Du, Yan Wang, Dong Li:
An attention-based deep learning method for the detection of electrical status epilepticus during sleep from electroencephalogram waveform analysis in children. Biomed. Signal Process. Control. 91: 105926 (2024) - [j53]Jie Jiang, Haotian Ji, Yan Yan, Liyu Zhao, Rongyu Pan, Xiaojun Liu, Juan Yin, Yu Duan, Yuanchun Ma, Xujun Zhu, Wanping Fang:
Mining sensitive hyperspectral feature to non-destructively monitor biomass and nitrogen accumulation status of tea plant throughout the whole year. Comput. Electron. Agric. 225: 109358 (2024) - [j52]Xiaojun Liu, Guangming Zhang, Zhihan Shi:
Improved current control for PMSM via an active disturbance rejection controller. Eur. J. Control 78: 101005 (2024) - [j51]Lean Yu, Mengxin Li, Xiaojun Liu:
A two-stage case-based reasoning driven classification paradigm for financial distress prediction with missing and imbalanced data. Expert Syst. Appl. 249: 123745 (2024) - [j50]Xiaojun Liu, Narisa Zhao, Wei Wei, Mohammad Zoynul Abedin:
Diffusion prediction of competitive information with time-varying attractiveness in social networks. Inf. Process. Manag. 61(4): 103739 (2024) - [j49]Yuxi Wang, Jing Hu, Rongguo Zhang, Lifang Wang, Rui Zhang, Xiaojun Liu:
Heterogeneity constrained color ellipsoid prior image dehazing algorithm. J. Vis. Commun. Image Represent. 101: 104177 (2024) - [j48]Yuxi Wang, Jing Hu, Rongguo Zhang, Lifang Wang, Rui Zhang, Xiaojun Liu:
Corrigendum to "Heterogeneity constrained color ellipsoid prior image dehazing algorithm" [J. Vis. Commun. Image Represent. 101 (2024) 104177]. J. Vis. Commun. Image Represent. 103: 104235 (2024) - [j47]Xiaojun Liu, James Craven, Victoria Tschirhart, Stephen E. Grasby:
Estimating Three-Dimensional Resistivity Distribution with Magnetotelluric Data and a Deep Learning Algorithm. Remote. Sens. 16(18): 3400 (2024) - [c32]Enxiang Shen, Kai Fan, Yanchen Lu, Xu Chen, Caozhe Li, Xiaoli Ma, Ton Wu, Yuxin Wan, Jie Yuan, Kanglian Zhao, Qinghong Shen, Chao Tao, Xiaojun Liu:
3D Multi-Modality Free-Hand Ultrasound Imaging For Medical Research. ISBI 2024: 1-4 - [c31]Jianqiang Chen, Rui Chen, Xiaojun Liu, Liping Fan, Dong Yu:
Covert Transmission in Power Line Communication Networks. VTC Fall 2024: 1-6 - [i4]Diankun Zhang, Guoan Wang, Runwen Zhu, Jianbo Zhao, Xiwu Chen, Siyu Zhang, Jiahao Gong, Qibin Zhou, Wenyuan Zhang, Ningzi Wang, Feiyang Tan, Hangning Zhou, Ziyao Xu, Haotian Yao, Chi Zhang, Xiaojun Liu, Xiaoguang Di, Bin Li:
SparseAD: Sparse Query-Centric Paradigm for Efficient End-to-End Autonomous Driving. CoRR abs/2404.06892 (2024) - 2023
- [j46]Xiaoqing Xu, Xiaojun Liu, Liuyihui Qian, Ning Zhang, Juan Wu, Hong Tang:
Multi-Criteria Path Finding Using Multi-Queues Based Bidirectional Search for Multiple Target Nodes in Networks. IEEE Access 11: 101799-101812 (2023) - [j45]Gang Yuan, Xiaojun Liu, Chaoyong Zhang, Duc Truong Pham, Zhiwu Li:
A new heuristic algorithm based on multi-criteria resilience assessment of human-robot collaboration disassembly for supporting spent lithium-ion battery recycling. Eng. Appl. Artif. Intell. 126: 106878 (2023) - [j44]Xiaojun Liu, Yongmao Wang, Jiachang Wang, Weiwei Xu:
Supply chain financial logistics supervision system based on blockchain technology. J. Ambient Intell. Humaniz. Comput. 14(8): 11059-11069 (2023) - [j43]Jiaming Dong, Qunying Zhang, Wei Lu, Wenhai Cheng, Xiaojun Liu:
Hybrid Domain Efficient Modulation-Based Deceptive Jamming Algorithm for Nonlinear-Trajectory Synthetic Aperture Radar. Remote. Sens. 15(9): 2446 (2023) - [j42]Jiaming Dong, Qunying Zhang, Wenqiang Huang, Haiying Wang, Wei Lu, Xiaojun Liu:
Deceptive Jamming Algorithm against Synthetic Aperture Radar in Large Squint Angle Mode Based on Non-Linear Chirp Scaling and Low Azimuth Sampling Reconstruction. Remote. Sens. 15(23): 5446 (2023) - [j41]Zhaoshuai Qi, Xiaojun Liu, Jingqi Pang, Yifeng Hao, Rui Hu, Yanning Zhang:
PSNet: A Deep Learning Model-Based Single-Shot Digital Phase-Shifting Algorithm. Sensors 23(19): 8305 (2023) - [j40]Yun Feng, Rongyu Wu, Xiaojun Liu, Liangzhou Chen:
Three-Dimensional Reconstruction Based on Multiple Views of Structured Light Projectors and Point Cloud Registration Noise Removal for Fusion. Sensors 23(21): 8675 (2023) - [j39]Donghui Hu, Qing Wang, Song Yan, Xiaojun Liu, Meng Li, Shuli Zheng:
Reversible Database Watermarking Based on Order-preserving Encryption for Data Sharing. ACM Trans. Database Syst. 48(2): 5:1-5:25 (2023) - [j38]Xiaojun Liu, Jinyuan Jia, Chang Liu:
Survey of lightweighting methods of huge 3D models for online Web3D visualization. Virtual Real. Intell. Hardw. 5(5): 395-406 (2023) - [c30]Liang Liu, Yuzhuo Liu, Ivan Ka Wai Lai, Xiaojun Liu:
Research on the Practice of VR Entering the Classroom-Taking City University Students of Macau as an Example. ICBL 2023: 191-201 - [i3]Zhaoshuai Qi, Xiaojun Liu, Xiaolin Liu, Jiaqi Yang, Yanning Zhang:
PSNet: a deep learning model based digital phase shifting algorithm from a single fringe image. CoRR abs/2303.07606 (2023) - [i2]Yuying Jiang, Fan Bai, Zicheng Zhang, Xiaochen Ye, Zheng Liu, Zhiping Shi, Jianwei Yao, Xiaojun Liu, Fangkun Zhu, Junling Li, Qian Guo, Xiaoan Wang, Junwen Luo:
A Consumer-tier based Visual-Brain Machine Interface for Augmented Reality Glasses Interactions. CoRR abs/2308.15056 (2023) - 2022
- [j37]Ying Sun, Xiuming Zhang, Yuting Jiang, Yuening Wang, Zheng Kang, Wei Qiao, Hanzi Xu, Chao Tao, Xiaojun Liu, Jie Yuan:
Reliable detection of lymph nodes in whole pelvic for radiotherapy. Biomed. Signal Process. Control. 74: 103501 (2022) - [j36]Xiaojun Liu, Dafeng Tang, Ling Hong:
A Fractional-Order Sinusoidal Discrete Map. Entropy 24(3): 320 (2022) - [j35]Zhiliang Sun, Rongguo Zhang, Jing Hu, Xiaojun Liu:
Probability re-weighted 3D point cloud registration for missing correspondences. Multim. Tools Appl. 81(8): 11107-11126 (2022) - [j34]Shan Wang, Xiaojun Liu, Jie Zhou:
Readability is decreasing in language and linguistics. Scientometrics 127(8): 4697-4729 (2022) - [j33]Xiaoling Yao, Rongguo Zhang, Jing Hu, Kai Chang, Xiaojun Liu, Jian Zhao:
Combining intrinsic dimension and local tangent space for manifold spectral clustering image segmentation. Soft Comput. 26(18): 9557-9572 (2022) - [c29]Fangkun Zhu, Zicheng Zhang, ShanShan Chen, Qian Guo, Xiaochen Ye, Xiaojun Liu, Xiaoan Wang, Chengdong Lin, Junwen Luo:
Live Demonstration: A Stimulation Senseless based Visual Brain-computer Interface for Shopping Scenarios. BioCAS 2022: 245 - [c28]Xiaojun Liu, Shunan Zang, Chuang Zhang, Xiaojun Chen, Yangyang Ding:
CLTS+: A New Chinese Long Text Summarization Dataset with Abstractive Summaries. ICANN (1) 2022: 73-84 - [c27]Shunan Zang, Chuang Zhang, Xiaojun Liu, Xiaojun Chen, Peng Zhang, Jie Liu:
NEWSFARM: A Large-Scale Chinese Corpus of Long News Summarization. ICPR 2022: 2260-2272 - [c26]Jinbo Wen, Xiaojun Liu, Zehui Xiong, Meng Shen, Siming Wang, Yutao Jiao, Jiawen Kang, He Li:
Optimal Block Propagation and Incentive Mechanism for Blockchain Networks in 6G. TrustCom 2022: 369-374 - [c25]Xiaojun Liu:
Design of Communication Simulation System Based on High-Level Architecture. WAC 2022: 272-276 - [i1]Xiaojun Liu, Shunan Zang, Chuang Zhang, Xiaojun Chen, Yangyang Ding:
CLTS+: A New Chinese Long Text Summarization Dataset with Abstractive Summaries. CoRR abs/2206.04253 (2022) - 2021
- [j32]Dongfeng Yang, Chengxin Zhang, Chao Jiang, Xiaojun Liu, Yiran Shen:
Interval Method Based Optimal Scheduling of Regional Multi-Microgrids With Uncertainties of Renewable Energy. IEEE Access 9: 53292-53305 (2021) - [j31]Xiaojun Liu, Changyan He, Hantao Zhao, Jinyuan Jia, Chang Liu:
ExteriorTag: Automatic Semantic Annotation of BIM Building Exterior Via Voxel Index Analysis. IEEE Computer Graphics and Applications 41(3): 48-58 (2021) - [j30]Daigo Uchino, Takamasa Hirai, Shugo Arai, Keigo Ikeda, Taro Kato, Xiaojun Liu, Ayato Endo, Hideaki Kato, Takayoshi Narita:
Active Steering Wheel System for Ultra-Compact Mobility Vehicles: Operability Evaluation with Steering Burden in Various Drivers. J. Robotics Mechatronics 33(5): 1169-1177 (2021) - [j29]Xiaojun Liu, Changyan He, Hantao Zhao, Jinyuan Jia, Chang Liu:
Building information modeling indoor path planning: A lightweight approach for complex BIM building. Comput. Animat. Virtual Worlds 32(3-4) (2021) - [c24]Shuai Chen, Xiaojun Liu:
Optimization of Eye Control Interactive Interface Based on Genetic Algorithm. AHFE (3) 2021: 729-742 - [c23]Shan Wang, Xiaojun Liu, Jie Zhou:
Developing a Syntactic and Semantic Annotation Tool for Research on Chinese Vocabulary. CLSW (2) 2021: 272-294 - [c22]Xiaojun Liu:
Design of domestic embedded computer system based on ARM. ICISCAE (ACM) 2021: 2435-2439 - [c21]Yichen Wang, Jindan Feng, Jinshan Liu, Xiaojun Liu, Junfeng Wang:
Case Study of Digital Twin-based Human-robot Collaborative Work-cell for Satellite Assembly. IEEM 2021: 698-702 - 2020
- [j28]Xiaojun Liu, Ling Hong, Lixin Yang, Dafeng Tang:
A Fractional-Order Discrete Noninvertible Map of Cubic Type: Dynamics, Control, and Synchronization. Complex. 2020: 2935192:1-2935192:21 (2020) - [j27]Yuanjin Xu, Xiaojun Liu:
Interactive Algorithms in Complex Image Processing Systems Based on Big Data. Complex. 2020: 5929584:1-5929584:9 (2020) - [j26]Zhuoheng Chen, Xiaojun Liu, Jijin Yang, Edward Little, Yu Zhou:
Deep learning-based method for SEM image segmentation in mineral characterization, an example from Duvernay Shale samples in Western Canada Sedimentary Basin. Comput. Geosci. 138: 104450 (2020) - [j25]Haiyan Xie, Wei Shi, Raja R. A. Issa, Xiaotong Guo, Yao Shi, Xiaojun Liu:
Machine Learning of Concrete Temperature Development for Quality Control of Field Curing. J. Comput. Civ. Eng. 34(5) (2020) - [j24]Qing Xiong, Xianyong Feng, Angelo L. Gattozzi, Xiaojun Liu, Linzi Zheng, Lingyu Zhu, Shengchang Ji, Robert E. Hebner:
Series Arc Fault Detection and Localization in DC Distribution System. IEEE Trans. Instrum. Meas. 69(1): 122-134 (2020) - [j23]Xiaojun Liu, Ning Yang, Yu Jiang, Lichuan Gu, Xianzhang Shi:
A parallel computing-based Deep Attention model for named entity recognition. J. Supercomput. 76(2): 814-830 (2020) - [j22]Xiaojun Liu, Mengmeng Wang, Hanliang Fu:
Visualized analysis of knowledge development in green building based on bibliographic data mining. J. Supercomput. 76(5): 3266-3282 (2020) - [c20]Xiaojun Liu, Chuang Zhang, Xiaojun Chen, Yanan Cao, Jinpeng Li:
CLTS: A New Chinese Long Text Summarization Dataset. NLPCC (1) 2020: 531-542 - [c19]Di Xu, Xiaojun Liu, Yanning Zhang:
Real-time Depth Estimation for Aerial Panoramas in Virtual Reality. VR Workshops 2020: 705-706
2010 – 2019
- 2019
- [j21]Lian Xiong, Yuanchang Zhong, Xiaojun Liu, Liu Yang:
A Small File Merging Strategy for Spatiotemporal Data in Smart Health. IEEE Access 7: 14799-14806 (2019) - [j20]Chang Liu, Shipu Xu, Xiaojun Liu, Ning Xie, Zhao Zhang, Huangxing Lin, Yaqiong Hu, Eyk Ng, Dangzhao Chen, Lei Zhao, Yifan Lu, Xin Dai:
Pyramidal Optical Flow Method-Based Lightweight Monocular 3D Vascular Point Cloud Reconstruction. IEEE Access 7: 167420-167428 (2019) - [j19]Lian Xiong, Xiaojun Liu, Daixin Guo, Zhihua Hu:
Access patterns mining from massive spatio-temporal data in a smart city. Clust. Comput. 22(Supplement): 6031-6041 (2019) - [j18]Liqian Zhou, Ming Yin, Xi Xu, Xinpan Yuan, Xiaojun Liu:
Non-contact detection of human heart rate with Kinect. Clust. Comput. 22(Supplement): 8199-8206 (2019) - 2018
- [j17]Yuchu Qin, Wenlong Lu, Qunfen Qi, Xiaojun Liu, Meifa Huang, Paul J. Scott, Xiangqian Jiang:
Towards an ontology-supported case-based reasoning approach for computer-aided tolerance specification. Knowl. Based Syst. 141: 129-147 (2018) - [j16]Xiaojun Liu, Lian Xiong:
Study on Replica Strategy Based on Access Pattern Mining in Smart City Cloud Storage System. Wirel. Pers. Commun. 103(1): 519-534 (2018) - [c18]Tao Feng, Miao Li, Xiaojun Liu, Yichao Cao:
Improving Low-Resource Neural Machine Translation with Weight Sharing. CCL 2018: 65-75 - 2017
- [j15]Narisa Zhao, Xiaojun Liu:
Information Propagation in Social Networks with Overlapping Community Structure. KSII Trans. Internet Inf. Syst. 11(12): 5927-5942 (2017) - [j14]Yuchu Qin, Wenlong Lu, Qunfen Qi, Xiaojun Liu, Yanru Zhong, Paul J. Scott, Xiangqian Jiang:
Status, Comparison, and Issues of Computer-Aided Design Model Data Exchange Methods Based on Standardized Neutral Files and Web Ontology Language File. J. Comput. Inf. Sci. Eng. 17(1) (2017) - [j13]Rongguo Zhang, Xiaojun Liu, Jing Hu, Kai Chang, Kun Liu:
A fast method for moving object detection in video surveillance image. Signal Image Video Process. 11(5): 841-848 (2017) - [c17]Rongguo Zhang, Gaoyang Pei, Lifang Wang, Xiaojun Liu, Xiaoming Li:
An Improved Superpixel Method for Color Image Segmentation Based on SEEDS. IGTA 2017: 55-64 - [c16]Yonghao Hu, Zhaohui Chen, Xiaojun Liu, Fei Huang, Jinyuan Jia:
WebTorrent based fine-grained P2P transmission of large-scale WebVR indoor scenes. Web3D 2017: 7:1-7:8 - 2016
- [j12]Xiaojun Liu, Guangming Zhang, Lei Mei, Deming Wang:
Backstepping control with speed estimation of PMSM based on MRAS. Autom. Control. Comput. Sci. 50(2): 116-123 (2016) - [j11]Wenlong Lu, Yuchu Qin, Qunfen Qi, Wenhan Zeng, Yanru Zhong, Xiaojun Liu, Xiangqian Jiang:
Selecting a semantic similarity measure for concepts in two different CAD model data ontologies. Adv. Eng. Informatics 30(3): 449-466 (2016) - [j10]Xiaojun Liu, Ning Xie, Kai Tang, Jinyuan Jia:
Lightweighting for Web3D visualization of large-scale BIM scenes in real-time. Graph. Model. 88: 40-56 (2016) - 2015
- [j9]Meng Cao, Jie Yuan, Sidan Du, Guan Xu, Xueding Wang, Paul L. Carson, Xiaojun Liu:
Full-view photoacoustic tomography using asymmetric distributed sensors optimized with compressed sensing method. Biomed. Signal Process. Control. 21: 19-25 (2015) - [j8]Wenlong Lu, Yuchu Qin, Xiaojun Liu, Meifa Huang, Liping Zhou, Xiangqian Jiang:
Enriching the semantics of variational geometric constraint data with ontology. Comput. Aided Des. 63: 72-85 (2015) - [j7]Bo Yang, Xingjun Wang, Bo Dai, Xiaojun Liu:
A New Z-axis Resonant Micro-Accelerometer Based on Electrostatic Stiffness. Sensors 15(1): 687-702 (2015) - [c15]Xiaojun Liu, Ning Xie, Jinyuan Jia:
Web3D-Based Online Walkthrough of Large-Scale Underground Scenes. DS-RT 2015: 104-107 - [c14]Rongguo Zhang, Meimei Ren, Jing Hu, Xiaojun Liu, Kun Liu:
Object Contour Extraction Based on Merging Photometric Information with Graph Cuts. ICIG (2) 2015: 584-599 - [c13]Xiaojun Liu, Ning Xie, Jinyuan Jia:
WebVis_BIM: real time web3D visualization of big BIM data. VRCAI 2015: 43-50 - 2014
- [j6]Shiyan Ren, Qingxin Liu, Xiaojun Liu:
Heavy DC Current Calibration Method Based on High-Precision Current Adder. IEEE Trans. Instrum. Meas. 63(12): 3039-3044 (2014) - [c12]Xiaojun Liu, Fangying Du, Junyi Li:
SSH: Image Index Based on Sparse Spectral Hashing. CSE 2014: 1905-1908 - [c11]Bo Huang, Xiaojun Liu, Tao Zhang:
An Inventory Model of Deteriorating Items with Price Reduction Sale and Customers Waiting Time. CSO 2014: 168-171 - [c10]Xiaojun Liu, Bin Zhang, Fangying Du:
Integrating Relative Coordinates with Simulated Annealing to Solve a Traveling Salesman Problem. CSO 2014: 177-180 - 2013
- [j5]Xiaojun Liu, Ling Hong:
Chaos and Adaptive Synchronizations in fractional-Order Systems. Int. J. Bifurc. Chaos 23(11) (2013) - 2012
- [j4]Qihong Shi, Qian Xiao, Xiaojun Liu:
Extended wave solutions for a nonlinear Klein-Gordon-Zakharov system. Appl. Math. Comput. 218(19): 9922-9929 (2012) - 2011
- [c9]Enqing Dong, Chai Yanze, Xiaojun Liu:
A novel three-dimensional localization algorithm for Wireless Sensor Networks based on Particle Swarm Optimization. ICT 2011: 55-60 - 2010
- [c8]Guoqiang Yuan, Xiaojun Liu, Zhengran Zhan:
A new class of agricultural production planning chance-constrained model with fuzzy parameters. FSKD 2010: 398-402 - [c7]Xiaojun Liu, Zhonghua Li:
ANT-Q algorithm based optimization approach for process planning. ICCA 2010: 620-623 - [c6]Jijun Xiao, Xiaojun Liu:
Study on Multi-objective Decision Making Method of Enterprise Project Investment. ICEE 2010: 2794-2797 - [c5]Xiaojun Liu, Congfeng Liu, Guisheng Liao:
Improved pattern synthesis method with linearly constraint minimum variance criterion. WCNIS 2010: 63-66
2000 – 2009
- 2006
- [j3]Xiangyang Wang, Jie Yang, Richard Jensen, Xiaojun Liu:
Rough set feature selection and rule induction for prediction of malignancy degree in brain glioma. Comput. Methods Programs Biomed. 83(2): 147-156 (2006) - [j2]Hong-Bin Shen, Jie Yang, Shitong Wang, Xiaojun Liu:
Attribute weighted mercer kernel based fuzzy clustering algorithm for general non-spherical datasets. Soft Comput. 10(11): 1061-1073 (2006) - [c4]Xiaojun Liu, Jie Yang, Hong-Bin Shen, Xiangyang Wang:
A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity. CSR 2006: 466-474 - [c3]Dongfang Wang, Xiaoqin Zhou, Xiaojun Liu, Scott D. Lick, Joseph B. Zwischenberger:
OxyRVAD for total right heart and respiratory support. EMBC 2006: 5390-5391 - 2005
- [c2]Xiaojun Liu, Guanzhong Dai, Zhiqun Deng:
Node Storage Resources Sharing Strategy in the Campus Grid Computing Environment. SKG 2005: 88 - 2001
- [j1]Xiaojun Liu, Edwin K. P. Chong, Ness B. Shroff:
Opportunistic transmission scheduling with resource-sharing constraints in wireless networks. IEEE J. Sel. Areas Commun. 19(10): 2053-2064 (2001)
1990 – 1999
- 1999
- [c1]Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499