Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhijun Ding
丁志军
Person information
- unicode name: 丁志军
- affiliation: Tongji University, Department of Computer Science and Technology, MOE Key Laboratory of Embedded System and Service Computing, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j72]Wangyang Yu
, Jinming Kong, Zhijun Ding, Xiaojun Zhai, Zhiqiang Li, Qi Guo:
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing. ACM Trans. Embed. Comput. Syst. 23(1): 14:1-14:27 (2024)- [j71]Zhijun Ding, Yuehao Xu, Binbin Feng, Changjun Jiang:
Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance. IEEE Trans. Software Eng. 50(5): 1244-1263 (2024) - 2023
- [j70]Qichen Huang, Song Wang, Zhijun Ding:
Autoscaling Method for Docker Swarm Towards Bursty Workload. Comput. Informatics 42(5): 1037-1059 (2023) - [j69]Ru Yang, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets. IEEE Trans Autom. Sci. Eng. 20(4): 2479-2491 (2023) - [j68]Zhijun Ding, Song Wang, Changjun Jiang:
Kubernetes-Oriented Microservice Placement With Dynamic Resource Allocation. IEEE Trans. Cloud Comput. 11(2): 1777-1793 (2023) - [j67]Shuo Wang, Zhijun Ding, Ru Yang, Changjun Jiang:
A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers. IEEE Trans. Cloud Comput. 11(4): 3713-3724 (2023) - [j66]Binbin Feng, Zhijun Ding, Changjun Jiang:
FAST: A Forecasting Model With Adaptive Sliding Window and Time Locality Integration for Dynamic Cloud Workloads. IEEE Trans. Serv. Comput. 16(2): 1184-1197 (2023) - [j65]Zhijun Ding, Yuanyuan Zhou, Shuaijun Wang, Changjun Jiang:
SCAFE: A Service-Centered Cloud-Native Workflow Engine Architecture. IEEE Trans. Serv. Comput. 16(5): 3682-3695 (2023) - 2022
- [j64]Haoran Gao, Zhijun Ding, Meiqin Pan:
Incremental Learning Method for Data with Delayed Labels. Comput. Informatics 41(5): 1260-1283 (2022) - [j63]Zhijun Ding, Binbin Feng, Changjun Jiang:
COIN: A Container Workload Prediction Model Focusing on Common and Individual Changes in Workloads. IEEE Trans. Parallel Distributed Syst. 33(12): 4738-4751 (2022) - [j62]Zhijun Ding, Ru Yang, Puwen Cui, Mengchu Zhou, Changjun Jiang:
Variable Petri Nets for Mobility. IEEE Trans. Syst. Man Cybern. Syst. 52(8): 4784-4797 (2022) - [j61]Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang:
Model Checking of Variable Petri Nets by Using the Kripke Structure. IEEE Trans. Syst. Man Cybern. Syst. 52(12): 7774-7786 (2022) - 2021
- [j60]Cong He, Zhijun Ding:
More Efficient On-the-Fly Verification Methods of Colored Petri Nets. Comput. Informatics 40(1): 195-215 (2021) - [j59]Sheng Wang, Zhijun Ding, Changjun Jiang:
Elastic Scheduling for Microservice Applications in Clouds. IEEE Trans. Parallel Distributed Syst. 32(1): 98-115 (2021) - 2020
- [j58]Zhijun Ding, Sheng Wang, Meiqin Pan:
QoS-Constrained Service Selection for Networked Microservices. IEEE Access 8: 39285-39299 (2020) - [j57]Mimi Wang, Zhijun Ding, Peihai Zhao:
Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions. IEEE Access 8: 101035-101048 (2020) - [j56]Jiao Li, Ru Yang, Zhijun Ding, Meiqin Pan:
A Method for Learning a Petri Net Model Based on Region Theory. Comput. Informatics 39(1): 174-192 (2020) - [j55]Wangyang Yu, Zhijun Ding, Lu Liu, Xiaoming Wang, Richard David Crossley:
Petri net-based methods for analyzing structural security in e-commerce business processes. Future Gener. Comput. Syst. 109: 611-620 (2020) - [j54]Dongxiang Chen, Zhijun Ding, Chungang Yan, Mimi Wang:
A behavioral authentication method for mobile based on browsing behaviors. IEEE CAA J. Autom. Sinica 7(6): 1528-1541 (2020) - [j53]Puwen Cui, Ru Yang, Zhijun Ding:
Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach. Int. J. Serv. Technol. Manag. 26(2/3): 182-201 (2020) - [j52]Mimi Wang, Zhijun Ding, Peihai Zhao, WangYang Yu, Changjun Jiang:
A Dynamic Data Slice Approach to the Vulnerability Analysis of E-Commerce Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3598-3612 (2020) - [j51]Mimi Wang, Zhijun Ding, Guanjun Liu, Changjun Jiang, Mengchu Zhou:
Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3628-3645 (2020) - 2019
- [j50]Peihai Zhao, Zhijun Ding, Mimi Wang, Ruihao Cao:
Behavior Analysis for Electronic Commerce Trading Systems: A Survey. IEEE Access 7: 108703-108728 (2019) - [j49]Zhijun Ding, Min Ming:
Accelerometer-Based Mobile Device Identification System for the Realistic Environment. IEEE Access 7: 131435-131447 (2019) - [j48]Zhijun Ding, Zexia Zhou:
RaceTest: harmful data race detection based on testing technology in WS-BPEL. Serv. Oriented Comput. Appl. 13(2): 141-154 (2019) - [j47]Zhijun Ding, Haojie Qiu, Ru Yang, Changjun Jiang, MengChu Zhou:
Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets. IEEE Trans Autom. Sci. Eng. 16(4): 1800-1813 (2019) - [j46]Dazhao Cheng, Xiaobo Zhou, Zhijun Ding, Yu Wang, Mike Ji:
Heterogeneity Aware Workload Management in Distributed Sustainable Datacenters. IEEE Trans. Parallel Distributed Syst. 30(2): 375-387 (2019) - 2018
- [j45]Mimi Wang, Zhijun Ding, Changjun Jiang, Peihai Zhao:
A Process-Profile-Based Method to Measure Consistency of E-Commerce System. IEEE Access 6: 25100-25109 (2018) - [j44]Zhijun Ding, Ru Yang:
Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey. IEEE Access 6: 68038-68056 (2018) - [j43]Zhijun Ding, Wan Zhou, Zexia Zhou:
Configuration-Based Fingerprinting of Mobile Device Using Incremental Clustering. IEEE Access 6: 72402-72414 (2018) - [j42]Pu Xu, Zhijun Ding, Meiqin Pan:
A hybrid interpretable credit card users default prediction model based on RIPPER. Concurr. Comput. Pract. Exp. 30(23) (2018) - [j41]Zhijun Ding, Xiaolun Li, Changjun Jiang, Mengchu Zhou:
Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems. ACM Comput. Surv. 51(1): 18:1-18:28 (2018) - [j40]Dongxiang Chen, Zhijun Ding, Chungang Yan, Mimi Wang:
一种综合多因素的网页浏览行为认证方法 (Authentication Method Synthesizing Multi-factors for Web Browsing Behavior). 计算机科学 45(2): 181-188 (2018) - [j39]Mengdi Gan, ShouGuang Wang, Zhijun Ding, MengChu Zhou, Wenhui Wu:
An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. IEEE Trans. Control. Syst. Technol. 26(6): 2135-2140 (2018) - [j38]WangYang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, Mengchu Zhou:
Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction. IEEE Trans. Syst. Man Cybern. Syst. 48(1): 130-141 (2018) - 2017
- [j37]Zhijun Ding, Yuchen Chen, Meiqin Pan, Xiaolun Li, Pengwei Wang:
Network-aware service composition in mobile environment. Concurr. Comput. Pract. Exp. 29(3) (2017) - [j36]Zhijun Ding, YouQing Sun, Junjun Liu, Meiqin Pan, Jiafen Liu:
A genetic algorithm based approach to transactional and QoS-aware service selection. Enterp. Inf. Syst. 11(3): 339-358 (2017) - [j35]Xiaolun Li, Zhijun Ding:
LBSNs中的群体行程推荐方法 (Group Travel Trip Recommendation Method in LBSNs). 计算机科学 44(6): 199-205 (2017) - [j34]Bing Xu, Zhijun Ding, Hongzhong Chen:
Recommending Locations Based on Users' Periodic Behaviors. Mob. Inf. Syst. 2017: 7871502:1-7871502:9 (2017) - [j33]Zhijun Ding, Meiqin Pan, Ru Yang, Changjun Jiang, MengChu Zhou:
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 47(9): 2574-2585 (2017) - [j32]Ru Yang, Zhijun Ding, Meiqin Pan, Changjun Jiang, MengChu Zhou:
Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees. IEEE Trans. Syst. Man Cybern. Syst. 47(9): 2601-2612 (2017) - 2016
- [j31]Jingjing Yan, Mengchu Zhou, Zhijun Ding:
Recent Advances in Energy-Efficient Routing Protocols for Wireless Sensor Networks: A Review. IEEE Access 4: 5673-5686 (2016) - [j30]Dajie Ge, Zhijun Ding, Hongfei Ji:
A task scheduling strategy based on weighted round robin for distributed crawler. Concurr. Comput. Pract. Exp. 28(11): 3202-3212 (2016) - [j29]Ruihua Zhang, Ru Yang, Zhijun Ding:
移动网可达树 (Reachability Tree of Mobile Net). 计算机科学 43(11): 55-60 (2016) - [j28]Dennis Ippoliti, Changjun Jiang, Zhijun Ding, Xiaobo Zhou:
Online Adaptive Anomaly Detection for Augmented Network Flows. ACM Trans. Auton. Adapt. Syst. 11(3): 17:1-17:28 (2016) - [j27]WangYang Yu, ChunGang Yan, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns. IEEE Trans Autom. Sci. Eng. 13(2): 647-662 (2016) - [j26]Lu Liu, Nick Antonopoulos, Minghui Zheng, Yongzhao Zhan, Zhijun Ding:
A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks. ACM Trans. Embed. Comput. Syst. 15(2): 38:1-38:26 (2016) - [j25]Yan Wu, ChunGang Yan, Zhijun Ding, GuanJun Liu, Pengwei Wang, Changjun Jiang, MengChu Zhou:
A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories. IEEE Trans. Serv. Comput. 9(3): 330-342 (2016) - [j24]Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou, Yuwei Zheng:
Automatic Web Service Composition Based on Uncertainty Execution Effects. IEEE Trans. Serv. Comput. 9(4): 551-565 (2016) - [j23]Haichun Sun, Changjun Jiang, Zhijun Ding, Pengwei Wang, MengChu Zhou:
Topic-Oriented Exploratory Search Based on an Indexing Network. IEEE Trans. Syst. Man Cybern. Syst. 46(2): 234-247 (2016) - [j22]Zhijun Ding, YouQing Sun, Changjun Jiang, MengChu Zhou, Junjun Liu, Wenqi Song:
Performance Evaluation of Transactional Composite Web Services. IEEE Trans. Syst. Man Cybern. Syst. 46(8): 1061-1074 (2016) - 2015
- [j21]Zhengli Zhai, Zhijun Ding:
时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS). 计算机科学 42(1): 12-18 (2015) - [j20]Lu Liu, Andrew Jones, Nick Antonopoulos, Zhijun Ding, Yongzhao Zhan:
Performance evaluation and simulation of peer-to-peer protocols for Massively Multiplayer Online Games. Multim. Tools Appl. 74(8): 2763-2780 (2015) - [j19]Yan Wu, ChunGang Yan, Lu Liu, Zhijun Ding, Changjun Jiang:
An Adaptive Multilevel Indexing Method for Disaster Service Discovery. IEEE Trans. Computers 64(9): 2447-2459 (2015) - [j18]Zhijun Ding, Junjun Liu, YouQing Sun, Changjun Jiang, MengChu Zhou:
A Transaction and QoS-Aware Service Selection Approach Based on Genetic Algorithm. IEEE Trans. Syst. Man Cybern. Syst. 45(7): 1035-1046 (2015) - 2014
- [j17]Pengwei Wang, Zhijun Ding, Changjun Jiang, Mengchu Zhou:
Automated web service composition supporting conditional branch structures. Enterp. Inf. Syst. 8(1): 121-146 (2014) - [j16]WangYang Yu, ChunGang Yan, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Modeling and Validating E-Commerce Business Process Based on Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44(3): 327-341 (2014) - [j15]Li Pan, Zhijun Ding, MengChu Zhou:
A Configurable State Class Method for Temporal Analysis of Time Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44(4): 482-493 (2014) - [j14]Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Constraint-Aware Approach to Web Service Composition. IEEE Trans. Syst. Man Cybern. Syst. 44(6): 770-784 (2014) - [j13]Changjun Jiang, Haichun Sun, Zhijun Ding, Pengwei Wang, MengChu Zhou:
An Indexing Network: Model and Applications. IEEE Trans. Syst. Man Cybern. Syst. 44(12): 1633-1648 (2014) - [j12]Lu Liu, Thomas Stimpson, Nick Antonopoulos, Zhijun Ding, Yongzhao Zhan:
An Investigation of Security Trends in Personal Wireless Networks. Wirel. Pers. Commun. 75(3): 1669-1687 (2014) - 2013
- [j11]Li Wei, Yongtao Yao, Zhijun Ding, Qiong Pu:
Efficient Mobile Authentication Scheme Preserving User Privacy for Large-Scale Wireless Networks. Ad Hoc Sens. Wirel. Networks 17(3-4): 313-339 (2013) - [j10]Zhijun Ding, Jiegi Liu, Junli Wang, Fang Wang:
An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model. Comput. Informatics 32(5): 968-986 (2013) - [j9]Yan Wu, ChunGang Yan, Zhijun Ding, GuanJun Liu, Pengwei Wang, Changjun Jiang, MengChu Zhou:
A Novel Method for Calculating Service Reputation. IEEE Trans Autom. Sci. Eng. 10(3): 634-642 (2013) - [j8]Zhijun Ding, Changjun Jiang, Mengchu Zhou:
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement. ACM Trans. Embed. Comput. Syst. 12(1): 4:1-4:18 (2013) - [j7]Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform. IEEE Trans. Syst. Man Cybern. Syst. 43(4): 941-957 (2013) - 2011
- [j6]Xiaoqin Fan, Xianwen Fang, Zhijun Ding:
Indeterminacy-aware service selection for reliable service composition. Frontiers Comput. Sci. China 5(1): 26-36 (2011) - 2008
- [j5]Zhijun Ding, Junli Wang, Changjun Jiang:
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. J. Inf. Sci. Eng. 24(5): 1309-1328 (2008) - [j4]Zhijun Ding, Changjun Jiang, MengChu Zhou:
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees. IEEE Trans. Syst. Man Cybern. Part B 38(3): 881-883 (2008) - [j3]Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang:
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 38(4): 791-801 (2008) - 2006
- [j2]Guangsheng Zhang, Changjun Jiang, Zhijun Ding:
Service Discovery Framework Using Fuzzy Petri Net. J. Comput. Res. Dev. 43(11): 1886-1894 (2006) - 2002
- [j1]Zhijun Ding, Changjun Jiang:
Temporal Petri nets model of concurrent systems. Comput. Syst. Sci. Eng. 17(6): 353-358 (2002)
Conference and Workshop Papers
- 2023
- [c40]Zhijun Ding, Cong He, Shuo Li:
EnPAC: Petri Net Model Checking for Linear Temporal Logic. ICNSC 2023: 1-6 - [c39]Binbin Feng, Zhijun Ding:
GROUP: An End-to-end Multi-step-ahead Workload Prediction Approach Focusing on Workload Group Behavior. WWW 2023: 3098-3108 - 2022
- [c38]Yaoyin You, Binbin Feng, Zhijun Ding:
Q-percentile Bandwidth Billing Based Geo-Scheduling Algorithm. CLOUD 2022: 219-229 - [c37]Haoran Gao, Zhijun Ding:
A Novel Machine Learning Method for Delayed Labels. ICNSC 2022: 1-6 - [c36]Jie Zong, Zhijun Ding:
Edge-weight-Based link prediction in heterogeneous graph. ICNSC 2022: 1-6 - [c35]Liu Liu, Jian Yu, Zhijun Ding:
Adaptive and Efficient GPU Time Sharing for Hyperparameter Tuning in Cloud. ICPP 2022: 5:1-5:11 - [c34]Shuaijun Wang, Yuanyuan Zhou, Zhijun Ding:
Automated RESTful API Service Discovery with Various Interface Features. ICSOC 2022: 54-70 - 2021
- [c33]Cheng Chen, Shuo Li, Zhijun Ding:
Automatic Modeling Method for PThread Programs Based on Program Dependence Net. ICSED 2021: 9-18 - [c32]Zhijun Ding, Qichen Huang:
COPA: A Combined Autoscaling Method for Kubernetes. ICWS 2021: 416-425 - [c31]Cairong Zhao, Shuyang Feng, Brian Nlong Zhao, Zhijun Ding, Jun Wu, Fumin Shen, Heng Tao Shen:
Scene Text Image Super-Resolution via Parallelly Contextual Attention Network. ACM Multimedia 2021: 2908-2917 - 2020
- [c30]Meng Wang, Zhijun Ding, Meiqin Pan:
LbR: A New Regression Architecture for Automated Feature Engineering. ICDM (Workshops) 2020: 432-439 - [c29]Yinggen Xu, Liu Liu, Zhijun Ding:
DAG-Aware Joint Task Scheduling and Cache Management in Spark Clusters. IPDPS 2020: 378-387 - 2019
- [c28]Tiago Barreto Goes Perez, Xiaobo Zhou, Liu Liu, Zhijun Ding:
Bottleneck-Aware Task Scheduling Based on Per-Stage and Multi-ML Profiling. HPCC/SmartCity/DSS 2019: 510-518 - 2017
- [c27]Pu Xu, Zhijun Ding, Meiqin Pan:
An improved credit card users default prediction model based on RIPPER. ICNC-FSKD 2017: 1785-1789 - 2016
- [c26]Mengdi Gan, Zhijun Ding, Shouguang Wang, Wenhui Wu, Mengchu Zhou:
Deadlock control of multithreaded software based on Petri nets: A brief review. ICNSC 2016: 1-5 - [c25]Qiang Liu, Mimi Wang, Peihai Zhao, Chungang Yan, Zhijun Ding:
A behavioral authentication method for mobile gesture against resilient user posture. ICSAI 2016: 324-331 - [c24]Zhenyu Yang, Zhijun Ding:
Actuated green wave control for grid-like network traffic signal coordination. SMC 2016: 953-958 - 2015
- [c23]Bing Xu, Zhijun Ding, Hongzhong Chen:
Mining Multiple Periods in Event Time Sequence. APSCC 2015: 278-288 - [c22]Junjun Liu, Haichun Sun, Zhijun Ding:
An Efficient Webpage Classification Algorithm Based on LSH. ICYCSEE 2015: 250-257 - 2014
- [c21]Yuchen Chen, Zhijun Ding, Haichun Sun:
PEWP: Process extraction based on word position in documents. ICDIM 2014: 135-140 - [c20]Dajie Ge, Zhijun Ding:
A Task Scheduling Strategy Based on Weighted Round-Robin for Distributed Crawler. UCC 2014: 848-852 - [c19]Mingjie Zhong, Zhijun Ding, Haichun Sun, Pengwei Wang:
A Self-learning Clustering Algorithm Based on Clustering Coefficient. WISE (1) 2014: 79-94 - 2013
- [c18]Chris Howden, Lu Liu, Zhijun Ding, Yongzhao Zhan, K. P. Lam:
Moments in Time: A Forensic View of Twitter. GreenCom/iThings/CPScom 2013: 899-908 - [c17]Cheng Qian, Zhijun Ding, Haiping Sun:
A Performance Visualization Method for OpenMP Tasks. HPCC/EUC 2013: 735-741 - [c16]Liang Qi, MengChu Zhou, Zhijun Ding:
Real-Time Traffic Camera-Light Control Systems for Intersections Subject to Accidents: A Petri Net Approach. SMC 2013: 1069-1074 - [c15]Xiaodong Deng, Ming Jiang, Haichun Sun, Yangjie Zhang, Junjun Liu, Yu Guo, Xin Wang, Dajie Ge, Pengwei Wang, Zhijun Ding, Hongzhong Chen:
A Novel Information Search and Recommendation Services Platform Based on an Indexing Network (Short Paper). SOCA 2013: 194-197 - [c14]Changjun Jiang, Zhijun Ding, Pengwei Wang, Haichun Sun, Bo Yuan, Yuan He, ChunGang Yan, Hongzhong Chen:
An Indexing Network Model for Information Services and Its Applications. SOCA 2013: 290-297 - [c13]Hussain Al-Aqrabi, Lu Liu, Richard Hill, Zhijun Ding, Nick Antonopoulos:
Business Intelligence Security on the Clouds: Challenges, Solutions and Future Directions. SOSE 2013: 137-144 - [c12]Jamie Moorhouse, Lu Liu, Zhiyuan Li, Zhijun Ding:
Modelling and Simulation of Peer-to-Peer Overlay Network Protocols using OverSim. UKSim 2013: 144-149 - 2012
- [c11]Yu Wang, Zhijun Ding:
Analysis for one-place unbounded Petri nets based on modified reachability trees. ICNSC 2012: 107-111 - [c10]Yan Wu, ChunGang Yan, Zhijun Ding, Pengwei Wang, Changjun Jiang, MengChu Zhou:
A Relational Taxonomy of Services for Large Scale Service Repositories. ICWS 2012: 644-645 - 2011
- [c9]Pengwei Wang, Zhijun Ding, Changjun Jiang, Mengchu Zhou:
Web Service Composition Techniques in a Health Care Service Platform. ICWS 2011: 355-362 - 2010
- [c8]Hongjie Shen, Zhijun Ding, Hongzhong Chen:
Reliable Web Services Selection Using a Heuristic Algorithm. GCC 2010: 290-295 - 2007
- [c7]Zhijun Ding, Junli Wang, Hong Song:
AI Planning for Web Service Automatic Composition Using Petri Nets. CSCWD 2007: 519-524 - [c6]Xianfei Tang, Changjun Jiang, Zhijun Ding:
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. ICWS 2007: 1162-1163 - 2006
- [c5]Junli Wang, Zhijun Ding, Changjun Jiang:
GAOM: Genetic Algorithm Based Ontology Matching. APSCC 2006: 617-620 - [c4]Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang:
Refinement of Petri Nets in Workflow Integration. CSCWD (Selected Papers) 2006: 667-678 - [c3]Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan:
Formal Model of Workflow Integration and its Application in STISAG. CSCWD 2006: 1173-1178 - 2005
- [c2]Junli Wang, Zhijun Ding, Changjun Jiang:
An Ontology-based Public Transport Query System. SKG 2005: 62 - [c1]Zhijun Ding, Junli Wang, Changjun Jiang:
Semantic Web Service Composition Based on OWL-S. SKG 2005: 98
Informal and Other Publications
- 2023
- [i7]Zhijun Ding, Shuo Li, Cheng Chen, Cong He:
Program Dependence Net and Its Slice for Verifying Linear Temporal Properties. CoRR abs/2301.11723 (2023) - [i6]Shuo Li, Liao Zheng, Zhijun Ding:
Partial-order Checking with Unfolding for Linear Temporal Properties. CoRR abs/2306.10707 (2023) - [i5]Zhijun Ding, Cong He, Shuo Li:
EnPAC: Petri Net Model Checking for Linear Temporal Logic. CoRR abs/2307.12324 (2023) - [i4]Jiangtong Li, Yuxuan Bian, Guoxuan Wang, Yang Lei, Dawei Cheng, Zhijun Ding, Changjun Jiang:
CFGPT: Chinese Financial Assistant with Large Language Model. CoRR abs/2309.10654 (2023) - [i3]Yang Lei, Jiangtong Li, Ming Jiang, Junjie Hu, Dawei Cheng, Zhijun Ding, Changjun Jiang:
CFBenchmark: Chinese Financial Assistant Benchmark for Large Language Model. CoRR abs/2311.05812 (2023) - 2021
- [i2]Ru Yang, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets. CoRR abs/2101.06104 (2021) - [i1]Zhijun Ding, Ru Yang, Puwen Cui, MengChu Zhou, Changjun Jiang:
Variable Petri Nets for Mobility. CoRR abs/2101.11379 (2021)
Coauthor Index
MengChu Zhou
aka: Mengchu Zhou
aka: Mengchu Zhou
a service of 
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-05-23 21:29 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:
