default search action
Yunfeng Wang
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
- 2024
- [j53]Tingting Hang
, Jun Feng
Graph neural networks with selective attention and path reasoning for document-level relation extraction. Appl. Intell. 54(7): 5353-5372 (2024) - [j52]Haoliang Xue
KaMRaT: a C++ toolkit for k-mer count matrix dimension reduction. Bioinform. 40(3) (2024) - [j51]Liyuan Liu
Real-time tracking of radial artery vessel wall using a Kalman filter-based ultrasound single-plane wave RF signal time-frequency information fusion algorithm. Biomed. Signal Process. Control. 93: 106181 (2024) - [j50]Yunfeng Wang, Yi Zhou, Hao Wu, Xiyu Liu, Xiaodi Zhai, Kuizhi Sun, Chengliang Tian, Haixia Zhao, Tao Li, Wenguang Jia, Yan Zhang:
MFCANet: A road scene segmentation network based on Multi-Scale feature fusion and context information aggregation. J. Vis. Commun. Image Represent. 98: 104055 (2024) - [j49]Dantong Wu, Peng Tian, Shuai Zhang, Qihang Wang, Kang Yu, Yunfeng Wang, Zhixing Gao
A Surface Electromyography (sEMG) System Applied for Grip Force Monitoring. Sensors 24(12): 3818 (2024) - [c56]Fanqi Yu, Bixia Tu, Yunfeng Wang, Huixian Gu, Yinxin Li, Miaoyu Lin, Haoyang Ding, Guorong Zhou, Liqiang Zhao:
Federated Deep Reinforcement Learning-enabled Task Offloading in Cloud-Edge-Terminal Collaborative Networks. VTC Spring 2024: 1-5 - 2023
- [j48]Yunfeng Wang, Yuelong Zhu, Tingting Hang, Jiamin Lu, Jun Feng
Incorporating Normalized L1 Penalty and Eigenvalue Constraint for Causal Structure Learning. Int. J. Artif. Intell. Tools 32(5): 2360008:1-2360008:26 (2023) - [j47]Pangwei Wang
Real-Time Trajectory Prediction Method for Intelligent Connected Vehicles in Urban Intersection Scenarios. Sensors 23(6): 2950 (2023) - [j46]Zhengji Fan
Digital Fringe Projection-Based Clamping Force Estimation Algorithm for Railway Fasteners. Sensors 23(6): 3299 (2023) - [j45]Jihua Cao, Jie Li
Online Reviews Sentiment Analysis and Product Feature Improvement with Deep Learning. ACM Trans. Asian Low Resour. Lang. Inf. Process. 22(8): 203:1-203:17 (2023) - [j44]Xiangyu Zhu
MVP-Human Dataset for 3-D Clothed Human Avatar Reconstruction From Multiple Frames. IEEE Trans. Biom. Behav. Identity Sci. 5(4): 464-475 (2023) - [j43]Leiquan Wang
Eliminating Spatial Correlations of Anomaly: Corner-Visible Network for Unsupervised Hyperspectral Anomaly Detection. IEEE Trans. Geosci. Remote. Sens. 61: 1-14 (2023) - [j42]Xiaoqin Tang
Image Synthesis and Modified BlendMask Instance Segmentation for Automated Nanoparticle Phenotyping. IEEE Trans. Medical Imaging 42(12): 3665-3677 (2023) - [c55]Chaohong Zhang, Xingguang Geng, Jun Zhang, Yunfeng Wang, Yitao Zhang:
The Processing Method of Wrist Radial Artery Ultrasonic Signal Based on CORDIC Algorithm. FSDM 2023: 114-120 - [c54]Qihang Wang
Research on Acupuncture Technique Recognition Technology Based on Deep Learning Algorithms. ISAIMS 2023: 481-487 - [c53]Haoyang Ding, Yunfeng Wang, Xingyun Zheng, Liqiang Zhao:
Design and Implementation of a Service-based Radio Access Network. VTC2023-Spring 2023: 1-5 - [c52]Chang Qin, Tao Sun, Mengtian Liu, Bingjie Zhu, Yunfeng Wang, Haiyan Tu, Manhua Zhu, Liqiang Zhao:
Design and Implementation of Holistic Service-Based End-to-end Network Slicing for 6G. VTC2023-Spring 2023: 1-6 - 2022
- [j41]Chunjiao Dong
Non-contact screening system based for COVID-19 on XGBoost and logistic regression. Comput. Biol. Medicine 141: 105003 (2022) - [j40]Hedan Chen
Adaptive Cross Entropy for ultrasmall object detection in Computed Tomography with noisy labels. Comput. Biol. Medicine 147: 105763 (2022) - [j39]Mingyuan Shi, Ying Zhang, Yunfeng Wang
Flow field analysis and design optimisation of Tibetan medicine double heat pump drying room. Comput. Electron. Agric. 199: 107141 (2022) - [j38]Tingting Hang
Joint extraction of entities and relations using multi-label tagging and relational alignment. Neural Comput. Appl. 34(8): 6397-6412 (2022) - [j37]Yunfeng Wang
Distributed-Satellite-Clusters-Based Spectrum Sensing with Two-Stage Phase Alignment. Sensors 22(11): 3983 (2022) - [j36]Pangwei Wang
Advanced Pedestrian State Sensing Method for Automated Patrol Vehicle Based on Multi-Sensor Fusion. Sensors 22(13): 4807 (2022) - [j35]Na Xu
In-Flight Spectral Response Function Retrieval of a Multispectral Radiometer Based on the Functional Data Analysis Technique. IEEE Trans. Geosci. Remote. Sens. 60: 1-10 (2022) - [j34]Chunjiao Dong
A Two-Layer Ensemble Method for Detecting Epileptic Seizures Using a Self-Annotation Bracelet With Motor Sensors. IEEE Trans. Instrum. Meas. 71: 1-13 (2022) - [j33]Yunfeng Wang, Liqiang Zhao
Deep Reinforcement Learning-Based Optimization for End-to-End Network Slicing With Control- and User-Plane Separation. IEEE Trans. Veh. Technol. 71(11): 12179-12194 (2022) - [c51]Xingguang Geng, Yitao Zhang, Jun Zhang, Yunfeng Wang, Haiying Zhang:
Time-Domain Feature Parameter Extraction Algorithm of Pulse Wave Based on Morphological Features. CECNet 2022: 555-566 - [c50]Zixuan Huang, Yunfeng Wang, Zhiwen Chen, Xin Gao, Ruili Feng, Xiaobo Li:
Context Attention Network for Skeleton Extraction. CVPR Workshops 2022: 2945-2950 - [c49]Yunfeng Wang, Xiaojin Ding, Jun Li, Tao Hong, Gengxin Zhang:
Performance analysis of Spectrum Sensing based on Distributed Satellite Clusters. ICCC Workshops 2022: 65-70 - [c48]Yunfeng Wang, Xiaojin Ding, Jun Li, Tao Hong, Gengxin Zhang:
Blind Noise Floor Estimation aided Spectrum Sensing for Satellite Communication Systems. ISNCC 2022: 1-5 - [c47]Manhua Zhu, Xuefei Duan, Haiyan Tu, Yunfeng Wang, Guorong Zhou, Xianmei Jin, Liqiang Zhao:
Microservice-based Management and Orchestration of 5G Core Network. PIMRC 2022: 609-615 - [c46]Yinxin Li, Haiyan Tu, Guorong Zhou, Ting Li, Yunfeng Wang, Kai Liang, Zhigang Wang, Liqiang Zhao:
Design and Implementation of Adaptive-Bitrate-Streaming-based Edge Caching. VTC Spring 2022: 1-5 - [i6]Xiangyu Zhu, Tingting Liao, Jiangjing Lyu, Xiang Yan, Yunfeng Wang, Kan Guo, Qiong Cao, Stan Z. Li, Zhen Lei:
MVP-Human Dataset for 3D Human Avatar Reconstruction from Unconstrained Frames. CoRR abs/2204.11184 (2022) - [i5]Zixuan Huang, Yunfeng Wang, Zhiwen Chen, Xin Gao, Ruili Feng, Xiaobo Li:
Context Attention Network for Skeleton Extraction. CoRR abs/2205.12066 (2022) - 2021
- [b1]Yunfeng Wang:
Transcriptome and genome analysis based on alignment-free protocols. (L'analyse du génome et du transcriptome par des méthodes sans référence). University of Paris-Saclay, France, 2021 - [j32]Yunfeng Wang
2-kupl: mapping-free variant detection from DNA-seq data of matched samples. BMC Bioinform. 22(1): 304 (2021) - [j31]Tingting Hang, Jun Feng
Joint extraction of entities and overlapping relations using source-target entity labeling. Expert Syst. Appl. 177: 114853 (2021) - [j30]Mingzhen Li
Cross-Platform Strong Privacy Protection Mechanism for Review Publication. Secur. Commun. Networks 2021: 5556155:1-5556155:22 (2021) - [j29]Shichao Li
Joint Congestion Control and Resource Allocation for Delay-Aware Tasks in Mobile Edge Computing. Wirel. Commun. Mob. Comput. 2021: 8897814:1-8897814:16 (2021) - [c45]Chenxi Wang, Yunfeng Wang, Zixuan Huang, Zhiwen Chen:
Simple Baseline for Single Human Motion Forecasting. ICCVW 2021: 2260-2265 - [c44]Yunfeng Wang, Yuelong Zhu, Tingting Hang, Jun Feng
Incorporating Proportional Sparse Penalty for Causal Structure Learning. ICTAI 2021: 105-112 - [c43]Chunjiao Dong
Home-based Detection of Epileptic Seizures Using a Bracelet with Motor Sensors. NER 2021: 854-857 - [i4]Chenxi Wang, Yunfeng Wang, Zixuan Huang, Zhiwen Chen:
Simple Baseline for Single Human Motion Forecasting. CoRR abs/2110.07495 (2021) - 2020
- [j28]Yunfeng Wang
A Novel Dynamic Spectrum-Sharing Method for GEO and LEO Satellite Networks. IEEE Access 8: 147895-147906 (2020) - [j27]Jiena Hou
Respiration Signal Extraction From Pulse Wave Collected by PVDF Sensor. IEEE Access 8: 149878-149886 (2020) - [j26]Fei Ye
An Improved Single-Epoch GNSS/INS Positioning Method for Urban Canyon Environment Based on Real-Time DISB Estimation. IEEE Access 8: 227566-227578 (2020) - [j25]Guorong Zhou
Energy Efficiency and Delay Optimization for Edge Caching Aided Video Streaming. IEEE Trans. Veh. Technol. 69(11): 14116-14121 (2020) - [j24]Tong Wang, Yunfeng Wang, Xibo Wang, Yue Cao
A detailed review of D2D cache in helper selection. World Wide Web 23(4): 2407-2428 (2020) - [c42]Yunfeng Wang, Xiaoqin Tang, Jingchuan Fan, Guoqiang Xiao:
Weakly Supervised Instance Segmentation of SEM Image via Synthetic Data. BIBM 2020: 2672-2679 - [i3]Xinyan Zhang, Yunfeng Wang, Pengfei Xiong:
Affinity-aware Compression and Expansion Network for Human Parsing. CoRR abs/2008.10191 (2020)
2010 – 2019
- 2019
- [j23]Guangcan Yang
A Mechanism to Improve Effectiveness and Privacy Preservation for Review Publication in LBS. IEEE Access 7: 156659-156674 (2019) - [j22]Yunfeng Wang, Mingzhen Li, Shoushan Luo, Yang Xin
LRM: A Location Recombination Mechanism for Achieving Trajectory k-Anonymity Privacy Protection. IEEE Access 7: 182886-182905 (2019) - [j21]Tong Wang, Pengcheng Li, Xibo Wang, Yunfeng Wang, Tianhao Guo, Yue Cao
A comprehensive survey on mobile data offloading in heterogeneous network. Wirel. Networks 25(2): 573-584 (2019) - [c41]Shichao Li, Qiuyun Wang, Yunfeng Wang, Dengtai Tan, Wenjie Li:
Delay-Aware Task Congestion Control and Resource Allocation in Mobile Edge Computing. PIMRC 2019: 1-6 - [c40]Xiaogu Huang, Xiaojin Ding, Haoyu Li, Yunfeng Wang, Gengxin Zhang:
Detection Probability Analysis of Spectrum Sensing over Satellite Fading Channel. WISATS (2) 2019: 446-454 - [c39]Yunfeng Wang, Xiaojin Ding, Gengxin Zhang:
Coalition Formation Games for Multi-satellite Distributed Cooperative Sensing. SINC 2019: 221-229 - 2018
- [j20]Tong Wang, Yunfeng Wang
A novel cross-layer communication protocol for vehicular sensor networks. Int. J. Commun. Syst. 31(7) (2018) - [c38]Yunfeng Wang, Wengang Zhou, Qilin Zhang
Enhanced Action Recognition With Visual Attribute-Augmented 3D Convolutional Neural Network. ICME Workshops 2018: 1-4 - [c37]Yunfeng Wang, Wengang Zhou, Qilin Zhang
Weighted Multi-Region Convolutional Neural Network for Action Recognition With Low-Latency Online Prediction. ICME Workshops 2018: 1-6 - [c36]Yunfeng Wang, Wengang Zhou, Qilin Zhang
Convolutional Neural Networks with Generalized Attentional Pooling for Action Recognition. VCIP 2018: 1-4 - [i2]Yunfeng Wang, Wengang Zhou, Qilin Zhang, Houqiang Li:
Visual Attribute-augmented Three-dimensional Convolutional Neural Network for Enhanced Human Action Recognition. CoRR abs/1805.02860 (2018) - [i1]Yunfeng Wang, Wengang Zhou, Qilin Zhang, Xiaotian Zhu, Houqiang Li:
Low-Latency Human Action Recognition with Weighted Multi-Region Convolutional Neural Network. CoRR abs/1805.02877 (2018) - 2017
- [j19]Weidong Guo, Yunfeng Wang:
Cooperative Non-Orthogonal Multiple Access with Energy Harvesting. Inf. 8(3): 111 (2017) - [j18]Tong Wang, Yongzhe Zhou, Yunfeng Wang, Mengbo Tang:
Novel Opportunistic Network Routing Based on Social Rank for Device-to-Device Communication. J. Comput. Networks Commun. 2017: 2717403:1-2717403:11 (2017) - [j17]Tong Wang, Yunfeng Wang, Chong Han:
An improved clustering routing mechanism for wireless Ad hoc network. J. Intell. Fuzzy Syst. 32(5): 3401-3412 (2017) - [c35]Wei Wu, Yunfeng Wang, Anran Wang, Yu Tang, Yifan He:
An algorithm based on photo consistency for image feature point matching. CISP-BMEI 2017: 1-6 - [c34]Tong Wang, Yunfeng Wang, Chong Han, Yue Cao
A real-time Novel Distributed Cooperative Processing Strategy for Isomerism Networks in Internet of Things. ChineseCSCW 2017: 122-128 - 2016
- [c33]Cong Li, Yunfeng Wang, Yue Wang, Tengfei Cui, Xingguang Duan:
Review on development of stand assist lifts for the elderly. ICARM 2016: 573-578 - 2014
- [j16]Yucai Zhou, Tong Wang, Yunfeng Wang:
A novel WSN key pre-distribution scheme based on group-deployment. Int. J. Sens. Networks 15(3): 143-148 (2014) - [j15]Wei Hu, Zhangyan Zhao, Yunfeng Wang, Haiying Zhang, Fujiang Lin:
Noncontact Accurate Measurement of Cardiopulmonary Activity Using a Compact Quadrature Doppler Radar Sensor. IEEE Trans. Biomed. Eng. 61(3): 725-735 (2014) - [c32]Wei Hu, Haiying Zhang, Zhangyan Zhao, Yunfeng Wang, Xize Wang:
Real-time remote vital sign detection using a portable Doppler sensor system. SAS 2014: 89-93 - 2013
- [j14]Hui Wang, Yunfeng Wang, Guangcan Yang:
A Predictive Model of Insider Threat Based on Bayesian Network. Int. J. Online Biomed. Eng. 9(S4): 69-74 (2013) - [c31]Andrea Salgian, Teresa Marrin Nakra, Christopher Ault, Yunfeng Wang:
Teaching creativity in computer science. SIGCSE 2013: 123-128 - 2011
- [c30]Danping Gu, Zhaohui Pang, Fan Zhang, Yunfeng Wang:
Study on fault diagnosis of power transformer based on similarity measures between vague sets. EMEIT 2011: 2880-2883 - [c29]Andrea Salgian, Christopher Ault, Teresa Marrin Nakra, Yunfeng Wang, Meredith Stone:
Multidisciplinary computer science through conducting robots. SIGCSE 2011: 219-224 - 2010
- [j13]Wooram Park, Yunfeng Wang, Gregory S. Chirikjian:
The Path-of-probability Algorithm for Steering and Feedback Control of Flexible Needles. Int. J. Robotics Res. 29(7): 813-830 (2010) - [c28]Brian Geuther, Autumn Breese, Yunfeng Wang:
A study on musical conducting robots and their users. Humanoids 2010: 124-129 - [c27]Jie Li, Baoying Jiao, Yunfeng Wang, Zhipeng Li:
A Review of Electronic Commerce Research in China. ICEE 2010: 2363-2366 - [c26]Pu Liu, Yunfeng Wang, Na Cai:
A Theoretical Research to the Construct of Electronic-Business Capability. ICEE 2010: 2374-2377
2000 – 2009
- 2009
- [j12]Peter T. Kim, Yan Liu, Zhi-Ming Luo, Yunfeng Wang:
Deconvolution on the Euclidean motion group and planar robotic manipulator design. Robotica 27(6): 861-872 (2009) - [c25]Zhiying Zhang, Kai Kang, Yunfeng Wang:
The Investigation of Inter-organizational Information Systems Capabilities in Hebei Province, China. CSIE (1) 2009: 115-119 - 2008
- [j11]Degui Chen, Liang Ji, Yunfeng Wang, Yingyi Liu:
Analysis and Optimization for the Operating Mechanism of Air Circuit Breaker. IEICE Trans. Electron. 91-C(8): 1280-1285 (2008) - [j10]Yunfeng Wang, Gregory S. Chirikjian:
Nonparametric Second-order Theory of Error Propagation on Motion Groups. Int. J. Robotics Res. 27(11-12): 1258-1273 (2008) - [c24]Yunfeng Wang, Xiaochun Chen, Zhao Zhao:
The Integrative Model of CIO Lateral Influence Behavior, Peer's Trust and Peer's Commitment. CSSE (5) 2008: 229-232 - [c23]Jie Li, Chao-Hsien Chu
An In-depth Analysis of Fuzzy C-Means Clustering for Cellular Manufacturing. FSKD (1) 2008: 42-46 - [c22]Joseph A. Custodio, Yunfeng Wang:
A Spoke-Wheel Based Wall-climbing Robot. RAM 2008: 456-461 - [c21]Wooram Park, Yunfeng Wang, Gregory S. Chirikjian:
Path Planning for Flexible Needles Using Second Order Error Propagation. WAFR 2008: 583-595 - 2007
- [j9]Xiaodan Wu
Genetic algorithms for integrating cell formation with machine layout and scheduling. Comput. Ind. Eng. 53(2): 277-289 (2007) - [j8]Xiaodan Wu
A genetic algorithm for cellular manufacturing design and layout. Eur. J. Oper. Res. 181(1): 156-167 (2007) - [j7]Yunfeng Wang:
A direct numerical solution to forward kinematics of general Stewart-Gough platforms. Robotica 25(1): 121-128 (2007) - [j6]Kiju Lee
O(n) mass matrix inversion for serial manipulators and polypeptide chains using Lie derivatives. Robotica 25(6): 739-750 (2007) - [c20]Hongping Shu, Yunfeng Wang, Jianmin Jiang:
Multi-rada Data Fusion Algorithm Based on K-Central Clustering. FSKD (3) 2007: 617-621 - [c19]Xiaodan Wu
Privacy Preserving Data Mining Research: Current Status and Key Issues. International Conference on Computational Science (3) 2007: 762-772 - 2006
- [j5]Yunfeng Wang:
A fast workspace-density-driven inverse kinematics method for hyper-redundant manipulators. Robotica 24(5): 649-655 (2006) - [j4]Yunfeng Wang, Yu Zhou, David Keith Maslen, Gregory S. Chirikjian:
Solving phase-noise Fokker-Planck equations using the motion-group Fourier transform. IEEE Trans. Commun. 54(5): 868-877 (2006) - [j3]Yunfeng Wang, Gregory S. Chirikjian:
Error propagation on the Euclidean group with applications to manipulator kinematics. IEEE Trans. Robotics 22(4): 591-602 (2006) - [c18]Brian Schlesinger, Michael Mensch, Christopher Rindosh, Joe Votta, Yunfeng Wang:
A Semi-Autonomous Interactive Robot. AAAI 2006: 1974-1975 - [c17]Zhen Zhao, Jinian Bian, Zhipeng Liu, Yunfeng Wang, Kang Zhao:
High Level Synthesis with Multiple supply Voltages for Energy and Combined Peak Power Minimization. APCCAS 2006: 864-867 - [c16]Yunfeng Wang, Gregory S. Chirikjian:
Large kinematic error propagation in revolute manipulators. ARK 2006: 95-102 - [c15]Yunfeng Wang, Gregory S. Chirikjian:
Propagation of Errors in Hybrid Manipulators. ICRA 2006: 1848-1853 - [c14]Xiaodan Wu, Yunfeng Wang, Chao-Hsien Chu, Fengli Liu, Ping Chen, Dianmin Yue:
A Close Look at Privacy Preserving Data Mining Methods. PACIS 2006: 32 - [c13]Yunfeng Wang, Gregory S. Chirikjian:
Second-Order Theory of Error Propagation on Motion Groups. WAFR 2006: 155-168 - 2005
- [c12]Haili Wang, Jinian Bian, Qiang Wu, Yunfeng Wang:
iTuCoMe: HCDFG-based incremental tuning HW/SW co-design methodology for multi-level exploration. CSCWD (2) 2005: 978-983 - [c11]Xiaodan Wu, Yunfeng Wang, Dianmin Yue, Ming He:
A Genetic Algorithm for Manufacturing Cell Formation by Considering Manufacturing Flexibility. IC-AI 2005: 358-364 - [c10]Yunfeng Wang, Jinian Bian, Xianlong Hong, Liu Yang, Qiang Zhou, Qiang Wu:
A New Methodology of Integrating High Level Synthesis and Floorplan for SoC Design. ICESS 2005: 275-286 - [c9]Yunfeng Wang, Jinian Bian, Xianlong Hong:
Interconnect delay optimization via high level re-synthesis after floorplanning. ISCAS (6) 2005: 5641-5644 - 2004
- [j2]Yunfeng Wang, Gregory S. Chirikjian:
Workspace generation of hyper-redundant manipulators as a diffusion process on SE(N). IEEE Trans. Robotics 20(3): 399-408 (2004) - [c8]Xiaodan Wu, Yunfeng Wang, Dianmin Yue:
Genetic Algorithms for Manufacturing Cell Formation: An Examination Of the Critical Issue-Representation. IC-AI 2004: 1140-1146 - [c7]Jianyi Zhang, Yunfeng Wang, Jie Li:
A Personalized Commodities Recommendation Procedure and Algorithm Based on Association Rule Mining. ICEB 2004: 1070-1074 - [c6]Haili Wang, Jinian Bian, Yawen Niu, Kun Tong, Yunfeng Wang:
CA-Ex: A Tuning-Incremental Methodology for Communication Architectures in Embedded Systems. ICESS 2004: 74-80 - 2002
- [c5]Xiaodan Wu, Chao-Hsien Chu
A genetic algorithm for integrated cell formation and layout decisions. IEEE Congress on Evolutionary Computation 2002: 1866-1871 - [c4]Jie Li, Chao-Hsien Chu, Yunfeng Wang, Weili Yan:
An improved fuzzy c-means algorithm for manufacturing cell formation. FUZZ-IEEE 2002: 1505-1510 - [c3]Yunfeng Wang, Gregory S. Chirikjian:
A Diffusion-Based Algorithm for Workspace Generation of Highly Articulated Manipulators. ICRA 2002: 1525-1530 - 2001
- [j1]Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng:
A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001) - 2000
- [c2]Yunfeng Wang, Gregory S. Chirikjian:
A New Potential Field Method for Robot Path Planning. ICRA 2000: 977-982
1990 – 1999
- 1999
- [c1]Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng:
A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) 1999: 261-266
Coauthor Index
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 2024-10-08 21:26 CEST 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: