Changjun Jiang

Orcid: 0000-0003-0637-9317

According to our database1, Changjun Jiang authored at least 372 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Distributed Kalman Filtering Under Two-Bitrate Periodic Coding Strategies.
IEEE Trans. Autom. Control., December, 2024

Graph Multi-Convolution and Attention Pooling for Graph Classification.
IEEE Trans. Pattern Anal. Mach. Intell., December, 2024

Graph Convolutional Networks With Adaptive Neighborhood Awareness.
IEEE Trans. Pattern Anal. Mach. Intell., November, 2024

Adaptive Knowledge Recomposition for Personalized Federated Learning via Discrete Wavelet Transform.
IEEE Internet Things J., November, 2024

A Multichannel Convolutional Decoding Network for Graph Classification.
IEEE Trans. Neural Networks Learn. Syst., October, 2024

VLOG: Vehicle Identity Verification Based on Local and Global Behavior Analysis.
IEEE Trans. Comput. Soc. Syst., October, 2024

RA-CFGPT: Chinese financial assistant with retrieval-augmented large language model.
Frontiers Comput. Sci., October, 2024

The Adaptation of Concept Drift: A Fit Prediction Algorithm Based on Local Optimum.
IEEE Trans. Comput. Soc. Syst., August, 2024

An Adaptive Heterogeneous Credit Card Fraud Detection Model Based on Deep Reinforcement Training Subset Selection.
IEEE Trans. Artif. Intell., August, 2024

Probabilistic Reachability Prediction of Unbounded Petri Nets: A Machine Learning Method.
IEEE Trans Autom. Sci. Eng., July, 2024

Recursive Bayesian Estimation for Discrete-Time Systems With State-Dependent Packet Dropouts: A Cross-Coupled Method.
IEEE Trans. Autom. Control., June, 2024

Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance.
IEEE Trans. Software Eng., May, 2024

Hybrid Residual Multiexpert Reinforcement Learning for Spatial Scheduling of High-Density Parking Lots.
IEEE Trans. Cybern., May, 2024

Learning Transactional Behavioral Representations for Credit Card Fraud Detection.
IEEE Trans. Neural Networks Learn. Syst., April, 2024

Guest Editorial: Special Issue on Big Data and Computational Social Intelligence for Guaranteed Financial Security.
IEEE Trans. Comput. Soc. Syst., April, 2024

UAC: Offline Reinforcement Learning With Uncertain Action Constraint.
IEEE Trans. Cogn. Dev. Syst., April, 2024

The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning.
IEEE Trans. Syst. Man Cybern. Syst., February, 2024

Stable QoE-Aware Multi-SFCs Cooperative Routing Mechanism Based on Deep Reinforcement Learning.
IEEE Trans. Netw. Serv. Manag., February, 2024

Enabling Graph Neural Networks for Semi-Supervised Risk Prediction in Online Credit Loan Services.
ACM Trans. Intell. Syst. Technol., February, 2024

IMDAC: A robust intelligent software defect prediction model via multi-objective optimization and end-to-end hybrid deep learning networks.
Softw. Pract. Exp., February, 2024

GSC: A Graph and Spatio-Temporal Continuity Based Framework for Accident Anticipation.
IEEE Trans. Intell. Veh., January, 2024

Heterogeneity-Aware Proactive Elastic Resource Allocation for Serverless Applications.
IEEE Trans. Serv. Comput., 2024

Approaching the Information-Theoretic Limit of Privacy Disclosure With Utility Guarantees.
IEEE Trans. Inf. Forensics Secur., 2024

ASIA: A Federated Boosting Tree Model Against Sequence Inference Attacks in Financial Networks.
IEEE Trans. Inf. Forensics Secur., 2024

Collaborative Prediction in Anti-Fraud System Over Multiple Credit Loan Platforms.
IEEE Trans. Dependable Secur. Comput., 2024

Behavioral authentication for security and safety.
Secur. Saf., 2024

Does the development of digital economy infrastructure reduce the urban-rural income gap? Theoretical experience and empirical data from China.
Kybernetes, 2024

Spatial correlation and influencing factors of the urban land transaction market in the Yangtze River Delta urban agglomeration.
Kybernetes, 2024

Graph contrastive learning with min-max mutual information.
Inf. Sci., 2024

Graph ensemble neural network.
Inf. Fusion, 2024

Risk contagion in interbank lending networks: A multi-agent-based modeling and simulation perspective.
Expert Syst. Appl., 2024

Focus On What Matters: Separated Models For Visual-Based RL Generalization.
CoRR, 2024

GeoNLF: Geometry guided Pose-Free Neural LiDAR Fields.
CoRR, 2024

RCDN: Towards Robust Camera-Insensitivity Collaborative Perception via Dynamic Feature-based 3D Neural Modeling.
CoRR, 2024

POWQMIX: Weighted Value Factorization with Potentially Optimal Joint Actions Recognition for Cooperative Multi-Agent Reinforcement Learning.
CoRR, 2024

Urban Architect: Steerable 3D Urban Scene Generation with Layout Prior.
CoRR, 2024

GLC++: Source-Free Universal Domain Adaptation through Global-Local Clustering and Contrastive Affinity Learning.
CoRR, 2024

Pensieve: Retrospect-then-Compare Mitigates Visual Hallucination.
CoRR, 2024

An Optimization Method Based on Drift Data and Time Series Information.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2024

HGL: Hierarchical Geometry Learning for Test-Time Adaptation in 3D Point Cloud Segmentation.
Proceedings of the Computer Vision - ECCV 2024, 2024

Subgraph Patterns Enhanced Graph Neural Network for Fraud Detection.
Proceedings of the Database Systems for Advanced Applications, 2024

LiDAR4D: Dynamic Neural Fields for Novel Space-Time View LiDAR Synthesis.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

LEAD: Learning Decomposition for Source-free Universal Domain Adaptation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

MAP: MAsk-Pruning for Source-Free Model Intellectual Property Protection.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

POCE: Primal Policy Optimization with Conservative Estimation for Multi-constraint Offline Reinforcement Learning.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Pre-trained Online Contrastive Learning for Insurance Fraud Detection.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Anti-Money Laundering by Group-Aware Deep Graph Learning.
IEEE Trans. Knowl. Data Eng., December, 2023

An Autonomous Vehicle Group Cooperation Model in an Urban Scene.
IEEE Trans. Intell. Transp. Syst., December, 2023

D<sup>2</sup>IFLN: Disentangled Domain-Invariant Feature Learning Networks for Domain Generalization.
IEEE Trans. Cogn. Dev. Syst., December, 2023

A perspective on Petri Net learning.
Frontiers Comput. Sci., December, 2023

PSDC: A Prototype-Based Shared-Dummy Classifier Model for Open-Set Domain Adaptation.
IEEE Trans. Cybern., November, 2023

Feature-wise attention based boosting ensemble method for fraud detection.
Eng. Appl. Artif. Intell., November, 2023

Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets.
IEEE Trans Autom. Sci. Eng., October, 2023

HRegNet: A Hierarchical Network for Efficient and Accurate Outdoor LiDAR Point Cloud Registration.
IEEE Trans. Pattern Anal. Mach. Intell., October, 2023

Behavioral consistency measurement between extended WFD-nets.
Inf. Syst., October, 2023

CEModule: A Computation Efficient Module for Lightweight Convolutional Neural Networks.
IEEE Trans. Neural Networks Learn. Syst., September, 2023

RPP-Net: Rigid Constrained Point Cloud Prediction Network.
IEEE Trans. Intell. Transp. Syst., September, 2023

Sparse-to-Dense Matching Network for Large-Scale LiDAR Point Cloud Registration.
IEEE Trans. Pattern Anal. Mach. Intell., September, 2023

A Dynamic Evolution Method for Autonomous Vehicle Groups in an Urban Scene.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Regulating Systemic Crises: Stemming the Contagion Risk in Networked-Loans Through Deep Graph Learning.
IEEE Trans. Knowl. Data Eng., June, 2023

A Transfer Double Deep Q Network Based DDoS Detection Method for Internet of Vehicles.
IEEE Trans. Veh. Technol., April, 2023

Multistructure Graph Classification Method With Attention-Based Pooling.
IEEE Trans. Comput. Soc. Syst., April, 2023

LongArms: Fraud Prediction in Online Lending Services Using Sparse Knowledge Graph.
IEEE Trans. Big Data, April, 2023

Incorporating Prior Knowledge in Local Differentially Private Data Collection for Frequency Estimation.
IEEE Trans. Big Data, April, 2023

The Opportunity in Difficulty: A Dynamic Privacy Budget Allocation Mechanism for Privacy-Preserving Multi-dimensional Data Collection.
ACM Trans. Manag. Inf. Syst., March, 2023

Locally differentially private high-dimensional data synthesis.
Sci. China Inf. Sci., January, 2023

FAST: A Forecasting Model With Adaptive Sliding Window and Time Locality Integration for Dynamic Cloud Workloads.
IEEE Trans. Serv. Comput., 2023

SCAFE: A Service-Centered Cloud-Native Workflow Engine Architecture.
IEEE Trans. Serv. Comput., 2023

CAeSaR: An Online Payment Anti-Fraud Integration System With Decision Explainability.
IEEE Trans. Dependable Secur. Comput., 2023

Time-Aware Attention-Based Gated Network for Credit Card Fraud Detection by Extracting Transactional Behaviors.
IEEE Trans. Comput. Soc. Syst., 2023

A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers.
IEEE Trans. Cloud Comput., 2023

Kubernetes-Oriented Microservice Placement With Dynamic Resource Allocation.
IEEE Trans. Cloud Comput., 2023

Remote Estimation for Energy Harvesting Systems Under Multiplicative Noises: A Binary Encoding Scheme With Probabilistic Bit Flips.
IEEE Trans. Autom. Control., 2023

Class-homophilic-based data augmentation for improving graph neural networks.
Knowl. Based Syst., 2023

Scaling Laws of Network Traffic Load: A Theoretical Explanation of Metcalfe's Law.
CoRR, 2023

Spreeze: High-Throughput Parallel Reinforcement Learning Framework.
CoRR, 2023

On the Expressive Power of Behavior Structure.
CoRR, 2023

CFBenchmark: Chinese Financial Assistant Benchmark for Large Language Model.
CoRR, 2023

CFGPT: Chinese Financial Assistant with Large Language Model.
CoRR, 2023

An approximate minimum mean-square error estimator for linear discrete time-varying systems: Handling Try-Once-Discard protocol.
Autom., 2023

VOCE: Variational Optimization with Conservative Estimation for Offline Safe Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Fighting against Organized Fraudsters Using Risk Diffusion-based Parallel Graph Neural Network.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Preventing Attacks in Interbank Credit Rating with Selective-aware Graph Neural Network.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

UMC: A Unified Bandwidth-efficient and Multi-resolution based Collaborative Perception Framework.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Urban Radiance Field Representation with Deformable Neural Mesh Primitives.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

TMA: Temporal Motion Aggregation for Event-based Optical Flow.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

NeuralPCI: Spatio-Temporal Neural Field for 3D Point Cloud Multi-Frame Non-Linear Interpolation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Upcycling Models Under Domain and Category Shift.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Modality-Agnostic Debiasing for Single Domain Generalization.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Critical Firms Prediction for Stemming Contagion Risk in Networked-Loans through Graph-Based Deep Reinforcement Learning.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Model Checking of Variable Petri Nets by Using the Kripke Structure.
IEEE Trans. Syst. Man Cybern. Syst., 2022

Variable Petri Nets for Mobility.
IEEE Trans. Syst. Man Cybern. Syst., 2022

COIN: A Container Workload Prediction Model Focusing on Common and Individual Changes in Workloads.
IEEE Trans. Parallel Distributed Syst., 2022

Net Learning.
IEEE Trans. Neural Networks Learn. Syst., 2022

DDoS Mitigation Based on Space-Time Flow Regularities in IoV: A Feature Adaption Reinforcement Learning Approach.
IEEE Trans. Intell. Transp. Syst., 2022

A Fluid Mechanics-Based Model to Estimate VINET Capacity in an Urban Scene.
IEEE Trans. Intell. Transp. Syst., 2022

A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems.
IEEE Trans. Comput. Soc. Syst., 2022

Efficient poisoning attacks and defenses for unlabeled data in DDoS prediction of intelligent transportation systems.
Secur. Saf., 2022

Implicit privacy preservation: a framework based on data generation.
Secur. Saf., 2022

Crowd-Learning: A Behavior-Based Verification Method in Software-Defined Vehicular Networks With MEC Framework.
IEEE Internet Things J., 2022

A Dynamic Evolution Method for Autonomous Vehicle Groups in a Highway Scene.
IEEE Internet Things J., 2022

Generating self-attention activation maps for visual interpretations of convolutional neural networks.
Neurocomputing, 2022

Path-aware multi-hop graph towards improving graph learning.
Neurocomputing, 2022

Unified Multimodal Model with Unlikelihood Training for Visual Dialog.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Neighborhood Extended Dynamic Graph Neural Network.
Proceedings of the ICMLC 2022: 14th International Conference on Machine Learning and Computing, Guangzhou, China, February 18, 2022

MUSH: Multi-scale Hierarchical Feature Extraction for Semantic Image Synthesis.
Proceedings of the Computer Vision - ACCV 2022, 2022

2021
A Guard-Driven Analysis Approach of Workflow Net with Data.
IEEE Trans. Serv. Comput., 2021

Elastic Scheduling for Microservice Applications in Clouds.
IEEE Trans. Parallel Distributed Syst., 2021

Protecting Privacy of Location-Based Services in Road Networks.
IEEE Trans. Intell. Transp. Syst., 2021

Fundamental Limits of Data Utility: A Case Study for Data-Driven Identity Authentication.
IEEE Trans. Comput. Soc. Syst., 2021

Two-Level Attention Model of Representation Learning for Fraud Detection.
IEEE Trans. Comput. Soc. Syst., 2021

Tree-searching based trust assessment through communities in vehicular networks.
Peer-to-Peer Netw. Appl., 2021

The mutuality of social emotions: How the victim's reactive attitude influences the transgressor's emotional responses.
NeuroImage, 2021

A Dynamic Evolution Mechanism for IoV Community in an Urban Scene.
IEEE Internet Things J., 2021

Explaining the black-box model: A survey of local interpretation methods for deep neural networks.
Neurocomputing, 2021

A hybrid method with dynamic weighted entropy for handling the problem of class imbalance with overlap in credit card fraud detection.
Expert Syst. Appl., 2021

A clustering-based flexible weighting method in AdaBoost and its application to transaction fraud detection.
Sci. China Inf. Sci., 2021

Benchmark Datasets for Stochastic Petri Net Learning.
Proceedings of the International Joint Conference on Neural Networks, 2021

Risk Control Theory of Online Transactions
WorldScientific, ISBN: 9789811241185, 2021

2020
A Dynamic Data Slice Approach to the Vulnerability Analysis of E-Commerce Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Workflow Nets With Tables and Their Soundness.
IEEE Trans. Ind. Informatics, 2020

Pairwise Gaussian Loss for Convolutional Neural Networks.
IEEE Trans. Ind. Informatics, 2020

Intelligent UAV Identity Authentication and Safety Supervision Based on Behavior Modeling and Prediction.
IEEE Trans. Ind. Informatics, 2020

Improved TrAdaBoost and its Application to Transaction Fraud Detection.
IEEE Trans. Comput. Soc. Syst., 2020

Deep Representation Learning With Full Center Loss for Credit Card Fraud Detection.
IEEE Trans. Comput. Soc. Syst., 2020

ODDS: Optimizing Data-Locality Access for Scientific Data Analysis.
IEEE Trans. Cloud Comput., 2020

Quadratic estimation for discrete time-varying non-Gaussian systems with multiplicative noises and quantization effects.
Autom., 2020

An Accuracy-and-Diversity-based Ensemble Method for Concept Drift and Its application in Fraud Detection.
Proceedings of the 20th International Conference on Data Mining Workshops, 2020

Mobile Information Service for Networks, 2
Springer, ISBN: 978-981-15-4568-9, 2020

2019
A Correlation-Aware Page-Level FTL to Exploit Semantic Links in Workloads.
IEEE Trans. Parallel Distributed Syst., 2019

An I/O Efficient Distributed Approximation Framework Using Cluster Sampling.
IEEE Trans. Parallel Distributed Syst., 2019

Deadline-Aware MapReduce Job Scheduling with Dynamic Resource Availability.
IEEE Trans. Parallel Distributed Syst., 2019

Correlated Matrix Factorization for Recommendation with Implicit Feedback.
IEEE Trans. Knowl. Data Eng., 2019

iLogBook: Enabling Text-Searchable Event Query Using Sparse Vehicle-Mounted GPS Data.
IEEE Trans. Intell. Transp. Syst., 2019

LORI: A Learning-to-Rank-Based Integration Method of Location Recommendation.
IEEE Trans. Comput. Soc. Syst., 2019

Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets.
IEEE Trans Autom. Sci. Eng., 2019

Resolving the Loop in High-Level SDN Program for Multi-table Pipeline Compilation.
Proceedings of the Smart Computing and Communication - 4th International Conference, 2019

APP: Augmented Proactive Perception for Driving Hazards with Sparse GPS Trace.
Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2019

GMM-based Undersampling and Its Application for Credit Card Fraud Detection.
Proceedings of the International Joint Conference on Neural Networks, 2019

A Petri-net-based Method For Detecting Bugs in Multiple Threads.
Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018
A Novel Method on Information Recommendation via Hybrid Similarity.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Adaptive Scheduling Parallel Jobs with Dynamic Batching in Spark Streaming.
IEEE Trans. Parallel Distributed Syst., 2018

Energy Efficiency Aware Task Assignment with DVFS in Heterogeneous Hadoop Clusters.
IEEE Trans. Parallel Distributed Syst., 2018

Discovering Canonical Correlations between Topical and Topological Information in Document Networks.
IEEE Trans. Knowl. Data Eng., 2018

MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method.
IEEE Trans. Intell. Transp. Syst., 2018

Schema Theory-Based Data Engineering in Gene Expression Programming for Big Data Analytics.
IEEE Trans. Evol. Comput., 2018

Transaction Fraud Detection Based on Total Order Relation and Behavior Diversity.
IEEE Trans. Comput. Soc. Syst., 2018

Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.
ACM Trans. Cyber Phys. Syst., 2018

SDCoR: Software Defined Cognitive Routing for Internet of Vehicles.
IEEE Internet Things J., 2018

Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism.
IEEE Internet Things J., 2018

Detecting data-flow errors based on Petri nets with data operations.
IEEE CAA J. Autom. Sinica, 2018

Behavior consistency computation for workflow nets with unknown correspondence.
IEEE CAA J. Autom. Sinica, 2018

Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems.
ACM Comput. Surv., 2018

Semantic enhanced deep learning for image classification.
Concurr. Comput. Pract. Exp., 2018

A genetic algorithm enhanced automatic data flow management solution for facilitating data intensive applications in the cloud.
Concurr. Comput. Pract. Exp., 2018

Centron: Cooperative neighbor discovery in mobile Ad-hoc networks.
Comput. Networks, 2018

Wireless Vehicular Check-in Protocol at Urban Road Intersection.
IEEE Access, 2018

A Process-Profile-Based Method to Measure Consistency of E-Commerce System.
IEEE Access, 2018

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018

Credit Card Fraud Detection via Kernel-Based Supervised Hashing.
Proceedings of the 2018 IEEE SmartWorld, 2018

A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Credit Card Fraud Detection Using Capsule Network.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Improving Utilization and Parallelism of Hadoop Cluster by Elastic Containers.
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

A new credit card fraud detecting method based on behavior certificate.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

An approach to class imbalance problem based on stacking and inverse random under sampling methods.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Random forest for credit card fraud detection.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Application of SIRUS in Credit Card Fraud Detection.
Proceedings of the Computational Data and Social Networks - 7th International Conference, 2018

2017
Exploiting Traveling Information for Data Forwarding in Community-Characterized Vehicular Networks.
IEEE Trans. Veh. Technol., 2017

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Robust Learning to Rank Based on Portfolio Theory and AMOSA Algorithm.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Moving Hadoop into the Cloud with Flexible Slot Management and Speculative Execution.
IEEE Trans. Parallel Distributed Syst., 2017

Improving Performance of Heterogeneous MapReduce Clusters with Adaptive Task Tuning.
IEEE Trans. Parallel Distributed Syst., 2017

Improved Rule Installation for Real-Time Query Service in Software-Defined Internet of Vehicles.
IEEE Trans. Intell. Transp. Syst., 2017

User Association for Load Balancing in Vehicular Networks: An Online Reinforcement Learning Approach.
IEEE Trans. Intell. Transp. Syst., 2017

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets.
IEEE Trans. Ind. Informatics, 2017

Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing.
ACM Trans. Embed. Comput. Syst., 2017

Cross-Platform Resource Scheduling for Spark and MapReduce on YARN.
IEEE Trans. Computers, 2017

Re-identification of Vehicular Location-Based Metadata.
EAI Endorsed Trans. Security Safety, 2017

Resource Allocation Strategy in Fog Computing Based on Priced Timed Petri Nets.
IEEE Internet Things J., 2017

Partition-based collaborative tensor factorization for POI recommendation.
IEEE CAA J. Autom. Sinica, 2017

RTS: road topology-based scheme for traffic condition estimation via vehicular crowdsensing.
Concurr. Comput. Pract. Exp., 2017

Observable liveness of Petri nets with controllable and observable transitions.
Sci. China Inf. Sci., 2017

Modeling Data Correlations in Recommendation.
IEEE Access, 2017

Mining Coherent Topics With Pre-Learned Interest Knowledge in Twitter.
IEEE Access, 2017

Modeling Document Networks with Tree-Averaged Copula Regularization.
Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017

Multi-perspective Hierarchical Dirichlet Process for Geographical Topic Modeling.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

On Complementary Effect of Blended Behavioral Analysis for Identity Theft Detection in Mobile Social Networks.
Proceedings of the Mobile Ad-hoc and Sensor Networks - 13th International Conference, 2017

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Network-Adaptive Scheduling of Data-Intensive Parallel Jobs with Dependencies in Clusters.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Incorporating the Latent Link Categories in Relational Topic Modeling.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

FLEP: Enabling Flexible and Efficient Preemption on GPUs.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016
Topic-Oriented Exploratory Search Based on an Indexing Network.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Satellite Objects Extraction and Classification Based on Similarity Measure.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Performance Evaluation of Transactional Composite Web Services.
IEEE Trans. Syst. Man Cybern. Syst., 2016

A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.
IEEE Trans. Serv. Comput., 2016

Automatic Web Service Composition Based on Uncertainty Execution Effects.
IEEE Trans. Serv. Comput., 2016

Autonomic Performance and Power Control for Co-Located Web Applications in Virtualized Datacenters.
IEEE Trans. Parallel Distributed Syst., 2016

Hadoop Performance Modeling for Job Estimation and Resource Provisioning.
IEEE Trans. Parallel Distributed Syst., 2016

Elastic Power-Aware Resource Provisioning of Heterogeneous Workloads in Self-Sustainable Datacenters.
IEEE Trans. Computers, 2016

Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.
IEEE Trans Autom. Sci. Eng., 2016

Online Adaptive Anomaly Detection for Augmented Network Flows.
ACM Trans. Auton. Adapt. Syst., 2016

Behavioral Equivalence of Security-Oriented Interactive Systems.
IEICE Trans. Inf. Syst., 2016

A Hybrid Vigilance Monitoring Study for Mental Fatigue and Its Neural Activities.
Cogn. Comput., 2016

Integration of Link and Semantic Relations for Information Recommendation.
Comput. Informatics, 2016

A Branching-Process-Based Method to Check Soundness of Workflow Systems.
IEEE Access, 2016

Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

Computation of Secure Consistency for Real Systems.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

Unique on the Road: Re-identification of Vehicular Location-Based Metadata.
Proceedings of the Security and Privacy in Communication Networks, 2016

Modeling Interest-Driven Data Dissemination in Online Social Networks.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016

Analysis on magnetization rotational process in exchange-bias bilayers with rotational magnetization curve approach.
Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Collaborative tensor factorization and its application in POI recommendation.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Petri net based model checking for the collaborative-ness of multiple processes systems.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Authenticating Web User's Identity through Browsing Sequences Modeling.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

A hybrid method of recommending POIs based on context and personal preference confidence.
Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, 2016

2015
Space-Crossing: Community-Based Data Forwarding in Mobile Social Networks Under the Hybrid Communication Architecture.
IEEE Trans. Wirel. Commun., 2015

Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2015

A Transaction and QoS-Aware Service Selection Approach Based on Genetic Algorithm.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Capacity Scaling of Wireless Social Networks.
IEEE Trans. Parallel Distributed Syst., 2015

LASS: Local-Activity and Social-Similarity Based Data Forwarding in Mobile Social Networks.
IEEE Trans. Parallel Distributed Syst., 2015

Composite Particle Swarm Optimizer With Historical Memory for Function Optimization.
IEEE Trans. Cybern., 2015

An Adaptive Multilevel Indexing Method for Disaster Service Discovery.
IEEE Trans. Computers, 2015

Self-Tuning Batching with DVFS for Performance Improvement and Energy Efficiency in Internet Servers.
ACM Trans. Auton. Adapt. Syst., 2015

General Capacity for Deterministic Dissemination in Wireless Ad Hoc Networks.
CoRR, 2015

Rule Optimization for Real-Time Query Service in Software-Defined Internet of Vehicles.
CoRR, 2015

STC: Coarse-Grained Vehicular Data Based Travel Speed Sensing by Leveraging Spatial-Temporal Correlation.
CoRR, 2015

Introduction Special Section of ICCCN 2014 Conference.
Comput. Commun., 2015

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets.
Sci. China Inf. Sci., 2015

Identifying cancer-related microRNAs based on gene expression data.
Bioinform., 2015

ERUPT: A Role-based Neighbor Discovery Protocol for Mobile Social Applications.
Ad Hoc Sens. Wirel. Networks, 2015

Scaling Laws of Social-Broadcast Capacity for Mobile Ad Hoc Social Networks.
Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

Resource and Deadline-Aware Job Scheduling in Dynamic Hadoop Clusters.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

Traffic condition estimation using vehicular crowdsensing data.
Proceedings of the 34th IEEE International Performance Computing and Communications Conference, 2015

StoreApp: A shared storage appliance for efficient and scalable virtualized Hadoop clusters.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Towards Energy Efficiency in Heterogeneous Hadoop Clusters by Adaptive Task Assignment.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Secure Bisimulation for Interactive Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Adopting WirelessHART for In-vehicle-Networking.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Preface.
Proceedings of the 10th International Conference on Communications and Networking in China, 2015

Swarm intelligence to coordinate decentralized learning automata in identical payoff games.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015

2014
Modeling and Validating E-Commerce Business Process Based on Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Constraint-Aware Approach to Web Service Composition.
IEEE Trans. Syst. Man Cybern. Syst., 2014

An Indexing Network: Model and Applications.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Automated and Agile Server ParameterTuning by Coordinated Learning and Control.
IEEE Trans. Parallel Distributed Syst., 2014

The Impact of Rate Adaptation on Capacity-Delay Tradeoffs in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2014

Aggregation Capacity of Wireless Sensor Networks: Extended Network Case.
IEEE Trans. Computers, 2014

Autonomic Performance and Power Control on Virtualized Servers: Survey, Practices, and Trends.
J. Comput. Sci. Technol., 2014

Automated web service composition supporting conditional branch structures.
Enterp. Inf. Syst., 2014

Special section of ICCCN 2013 Conference.
Comput. Commun., 2014

Team of Bayesian optimization algorithms to solve task assignment problems in heterogeneous computing systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

FlexSlot: Moving Hadoop Into the Cloud with Flexible Slot Management.
Proceedings of the International Conference for High Performance Computing, 2014

Modeling data dissemination in online social networks: a geographical perspective on bounding network traffic load.
Proceedings of the Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2014

Heterogeneity-Aware Workload Placement and Migration in Distributed Sustainable Datacenters.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Improving data forwarding in Mobile Social Networks with infrastructure support: A space-crossing community approach.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013
Asymptotic throughput for large-scale wireless networks with general node density.
Wirel. Networks, 2013

Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Interactive Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Scaling Laws of Cognitive Ad Hoc Networks over General Primary Network Models.
IEEE Trans. Parallel Distributed Syst., 2013

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.
ACM Trans. Embed. Comput. Syst., 2013

A Novel Method for Calculating Service Reputation.
IEEE Trans Autom. Sci. Eng., 2013

RESIDUE-WEIGHTED NUMBER CONVERSION FOR MODULI SET {2<sup>n</sup>-1, 2<sup>n</sup> + 1, 2<sup>2n</sup> + 1, 2<sup>n</sup>} USING SIGNED-DIGIT NUMBER.
J. Circuits Syst. Comput., 2013

The Liveness of WS<sup>3</sup>PR: Complexity and Decision.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Modelling Capacity Scaling of Wireless Social Networks by A Population-Based Social Formation Model
CoRR, 2013

Multicast capacity scaling for inhomogeneous mobile ad hoc networks.
Ad Hoc Networks, 2013

An Indexing Network Model for Information Services and Its Applications.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

2012
Process Nets With Channels.
IEEE Trans. Syst. Man Cybern. Part A, 2012

SelectCast: Scalable Data Aggregation Scheme in Wireless Sensor Networks.
IEEE Trans. Parallel Distributed Syst., 2012

Multicast Capacity Scaling Laws for Multihop Cognitive Networks.
IEEE Trans. Mob. Comput., 2012

Scaling Laws of Multicast Capacity for Power-Constrained Wireless Networks under Gaussian Channel Model.
IEEE Trans. Computers, 2012

Residue-weighted number conversion for moduli set {22<sup>n</sup> - 1, 2<sup>2n+1</sup> - 1, 2<sup>n</sup>} using signed-digit number.
Proceedings of the 10th IEEE International NEWCAS Conference, 2012

Capacity and delay tradeoffs in mobile networks under Gaussian channel model.
Proceedings of the 9th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems, 2012

A Relational Taxonomy of Services for Large Scale Service Repositories.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011
Multicast Throughput for Hybrid Wireless Networks under Gaussian Channel Model.
IEEE Trans. Mob. Comput., 2011

Automatic Web service composition based on Horn clauses and Petri nets.
Expert Syst. Appl., 2011

The trustworthiness analyzing of interacting business process based on the induction information.
Comput. Sci. Inf. Syst., 2011

On multicast throughput scaling of hybrid wireless networks with general node density.
Comput. Networks, 2011

A Necessary and Sufficient Condition for the Liveness of Normal Nets.
Comput. J., 2011

Reader Activation Scheduling in Multi-reader RFID Systems: A Study of General Case.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

General capacity scaling of wireless networks.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Aggregation capacity of wireless sensor networks: Extended network case.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Web Service Composition Techniques in a Health Care Service Platform.
Proceedings of the IEEE International Conference on Web Services, 2011

Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

2010
Lower bounds on lifetime of ultra wide band wireless sensor networks.
Wirel. Networks, 2010

Multicast throughput for large scale cognitive networks.
Wirel. Networks, 2010

Multicast capacity and delay trade-offs in <i>ad hoc</i> networks with random iid mobility model.
Wirel. Commun. Mob. Comput., 2010

Two Simple Deadlock Prevention Policies for S<sup>3</sup>PR Based on Key-Resource/Operation-Place Pairs.
IEEE Trans Autom. Sci. Eng., 2010

Capacity and delay in mobile ad hoc networks under Gaussian channel model.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2010

Progressive Ranking and Composition of Web Services with Interaction Relationship.
J. Softw., 2010

Service and Management Oriented Traffic Information Grid.
Int. J. Distributed Syst. Technol., 2010

Behavior-aware Trustworthiness Study of Networked Software.
Int. J. Comput. Intell. Syst., 2010

Improved asymptotic multicast throughput for random extended networks.
Comput. Commun., 2010

An Approach to Predict Performance of Component-based Software with the Palladio Component Model and Stochastic Well-formed Nets.
Adv. Inf. Sci. Serv. Sci., 2010

Multicast capacity scaling for cognitive networks: General extended primary network.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

DREAM: On the reaction delay in large scale wireless networks with mobile sensors.
Proceedings of the 18th International Workshop on Quality of Service, 2010

2009
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2009

A fast adaptive load balancing method for parallel particle-based simulations.
Simul. Model. Pract. Theory, 2009

Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net.
J. Inf. Sci. Eng., 2009

Modeling and monitoring of E-commerce workflows.
Inf. Sci., 2009

On conditions for the liveness of weakly persistent nets.
Inf. Process. Lett., 2009

Analysis of workflow dynamic changes based on Petri net.
Inf. Softw. Technol., 2009

Grid resource management policies for load-balancing and energy-saving by vacation queuing theory.
Comput. Electr. Eng., 2009

An Efficient Approach to Web Service Selection.
Proceedings of the Web Information Systems and Mining, International Conference, 2009

Achievable multicast throughput for homogeneous wireless ad hoc networks.
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Multicast Capacity of Multihop Cognitive Networks.
Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009

Scaling Laws on Multicast Capacity of Large Scale Wireless Networks.
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009

Independent global constraints for web service composition based on GA and APN.
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

Ant colony optimization for precedence-constrained heterogeneous multiprocessor assignment problem.
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

Backward Planning: A Simple and Efficient Method to Improve the Performance of List Scheduling Algorithms.
Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009

2008
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Trans. Syst. Man Cybern. Part C, 2008

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Trans. Syst. Man Cybern. Part B, 2008

VGITS: ITS based on intervehicle communication networks and grid technology.
J. Netw. Comput. Appl., 2008

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
J. Inf. Sci. Eng., 2008

Bounds on lifetime of cluster-based ultra-wide band wireless sensor network.
Int. J. Ad Hoc Ubiquitous Comput., 2008

A Novel Discrete Particle Swarm Optimization Algorithm for Job Scheduling in Grids.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Priority Based Transaction Scheduling Model and Concurrency Control in Grid Database.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2007

Modeling and Analysis of Semantic Web Services with Petri Nets.
Proceedings of the Third International Conference on Semantics, 2007

Dynamic scheduling for dedicated grid and task scheduling with reliable communication for non-dedicated grid.
Proceedings of the CHINA HPC 2007, 2007

Connectivity of mobile ad hoc sensor networks for vehicles.
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Autonomic Workflow Management in the Grid.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

A Framework for Designing Grid Workflow System based on Ontology.
Proceedings of the Grid and Cooperative Computing, 2007

AS2M4SoC: An Autonomic Service Scheduling Model and Strategy for SoC Based on Evidence Theory.
Proceedings of the Grid and Cooperative Computing, 2007

Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets.
Proceedings of the Cooperative Design, 2007

Research on Dynamic Load Balancing Algorithms for Parallel Transportation Simulations.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid.
J. Comput. Sci. Technol., 2006

Service Discovery Framework Using Fuzzy Petri Net.
J. Comput. Res. Dev., 2006

ShanghaiGrid: an Information Service Grid.
Concurr. Comput. Pract. Exp., 2006

Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network.
Proceedings of the Wireless Algorithms, 2006

Principal Component Net Analysis for Face Recognition.
Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Performance Analysis of Workflow Model with Resource Constraints.
Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006

Refinement of Petri Nets in Workflow Integration.
Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Formal Model of Workflow Integration and its Application in STISAG.
Proceedings of the 10th International Conference on CSCW in Design, 2006

Parallel Implementing of Road Situation Modeling with Floating GPS Data.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

Towards Building Intelligent Transportation Information Service System on Grid.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

GAOM: Genetic Algorithm Based Ontology Matching.
Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

Using Petri Net to Reason with Rule and OWL.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005
Urban Traffic Information Service Application Grid.
J. Comput. Sci. Technol., 2005

ShanghaiGrid in action: the first stage projects towards digital city and city grid.
Int. J. Grid Util. Comput., 2005

Semantic Web Service Composition Based on OWL-S.
Proceedings of the 2005 International Conference on Semantics, 2005

An Ontology-based Public Transport Query System.
Proceedings of the 2005 International Conference on Semantics, 2005

A Heuristic Algorithm for Task Scheduling Based on Mean Load.
Proceedings of the 2005 International Conference on Semantics, 2005

Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Resource scheduling model for grid computing based on sharing synthesis of Petri net.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

ShanghaiGrid: A Grid Prototype for Metropolis Information Services.
Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

Applying SOA to Intelligent Transportation System.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

ShanghaiGrid as An Information Service Grid: An Overview.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Object-Process Diagrams as Explicit Graphic Tool for Web Service Composition.
Trans. SDPS, 2004

Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol., 2004

User Interest Detection on Web Pages for Building Personalized Information Agent.
Proceedings of the Advances in Web-Age Information Management: 5th International Conference, 2004

A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.
Proceedings of the 7th International Symposium on Parallel Architectures, 2004

A Structural Approach to Recognizing Incomplete Graphic Objects.
Proceedings of the 17th International Conference on Pattern Recognition, 2004

Web Service Composition Based on BPWS-Net.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
Towards a Workflow Model of Real-Time Cooperative Systems.
Proceedings of the Formal Methods and Software Engineering, 2003

The Architecture of Traffic Information Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

PipeSeeU: A Scalable Peer-to-Peer Multipoint Video Conference System.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Study on Data Access Technology in Information Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

ShanghaiGrid in Action: The First Stage Projects towards Digital City and City Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Resource Scheduling Algorithms for Grid Computing and Its Modeling and Analysis Using Petri Net.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

2002
Behavior Relativity of Petri Nets.
J. Comput. Sci. Technol., 2002

Temporal Petri nets model of concurrent systems.
Comput. Syst. Sci. Eng., 2002

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule.
IEEE Trans. Fuzzy Syst., 2001

Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets.
Sci. China Ser. F Inf. Sci., 2001

2000
Behavior relations in synthesis process of Petri net models.
IEEE Trans. Robotics Autom., 2000

1995
Net operations (II) - The iterated addition operation of Petri nets.
J. Comput. Sci. Technol., 1995


  Loading...