Changjun Jiang

Orcid: 0000-0003-0637-9317

Affiliations:
  • Tongji University, Shanghai, China


According to our database1, Changjun Jiang authored at least 351 papers between 2002 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
MGroup: Multi-Instance Workload Prediction Approach Based on Group Behavior Perception.
IEEE Trans. Parallel Distributed Syst., June, 2026

Parse, Align and Aggregate: Graph-Driven Compositional Reasoning for Video Question Answering.
IEEE Trans. Pattern Anal. Mach. Intell., May, 2026

Along Came a Spider: Enabling Effective Cross-Domain Threat Detection via Collaborative Graph Learning.
IEEE Trans. Mob. Comput., April, 2026

Exposing Disguises and Tracing Illicit Flows: Dual-View Graph Representation Learning for Money Laundering Detection.
IEEE Trans. Comput. Soc. Syst., April, 2026

CamFD: Semi-Supervised Camouflage-Aware Fraud Detection Based on Dynamic Graphs.
IEEE Trans. Syst. Man Cybern. Syst., February, 2026

Layer-Adaptive-Augmentation-Based Graph Contrastive Learning With Feature Decorrelation.
IEEE Trans. Pattern Anal. Mach. Intell., February, 2026

Dynamic MAsk-Pruning Strategy for Source-Free Model Intellectual Property Protection.
Int. J. Comput. Vis., February, 2026

A Process Discovery for Endpoint-Level Call Relations in Microservice Systems.
IEEE Trans. Serv. Comput., 2026

Beyond Graph Structure: Semantic Augmentation With LLMs for Bitcoin Money Laundering Detection Under Economic Networks.
IEEE Trans. Netw. Sci. Eng., 2026

Dynamic Min-Max Multi-Dimensional Reinforcement Backdoor Attacks and Orchestrated Closed-Loop Defense in Fairness-Aware Web Federated Finance.
Proceedings of the ACM Web Conference 2026, 2026

STG-DGR: Fraud Detection on Streaming Transaction Graphs with Diffusion-based Generative Replay.
Proceedings of the ACM Web Conference 2026, 2026

Targeting Borderline Fraudsters: Multi-View Hypergraph Fraud Detection with LLM-Guided Contrastive Learning.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Role Perceptual Augmented Temporal Graph Network for Related-party Transaction Detection.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
ComPA: Competition-Aware Dynamic Differential Pricing and Resource Allocation in Mobile Edge Computing via Gaming.
IEEE Trans. Commun., December, 2025

Financial Time Series Prediction With Multi-Granularity Graph Augmented Learning.
IEEE Trans. Knowl. Data Eng., November, 2025

MHCPP: A Motion-Based Historical Enhancement Collaborative Perception and Prediction Framework.
IEEE Trans. Intell. Transp. Syst., November, 2025

GLC++: Source-Free Universal Domain Adaptation Through Global-Local Clustering and Contrastive Affinity Learning.
IEEE Trans. Pattern Anal. Mach. Intell., November, 2025

Model Checking of $\omega$-Independent Unbounded Petri Nets for an Unbounded System.
IEEE Trans. Comput. Soc. Syst., October, 2025

Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers.
CoRR, October, 2025

Federated Aggregation With Interlayer Personalized Contribution: Preference-Based Optimization Between Performance and Privacy.
IEEE Trans. Neural Networks Learn. Syst., September, 2025

Graph neural networks for financial fraud detection: a review.
Frontiers Comput. Sci., September, 2025

Parallel Graph Learning With Temporal Stamp Encoding for Fraudulent Transactions Detections.
IEEE Trans. Big Data, August, 2025

HFTCRNet: Hierarchical Fusion Transformer for Interbank Credit Rating and Risk Assessment.
IEEE Trans. Neural Networks Learn. Syst., July, 2025

Preferential Selective-Aware Graph Neural Network for Preventing Attacks in Interbank Credit Rating.
IEEE Trans. Neural Networks Learn. Syst., June, 2025

Data-Free Knowledge Filtering and Distillation in Federated Learning.
IEEE Trans. Big Data, June, 2025

FinLMM-R1: Enhancing Financial Reasoning in LMM through Scalable Data and Reward Design.
CoRR, June, 2025

CFBenchmark-MM: Chinese Financial Assistant Benchmark for Multimodal Large Language Model.
CoRR, June, 2025

Binary-Encoding-Based Quantized Kalman Filter: An Approximate MMSE Approach.
IEEE Trans. Autom. Control., May, 2025

ALFEE: Adaptive Large Foundation Model for EEG Representation.
CoRR, May, 2025

Spreeze: High-Throughput Parallel Reinforcement Learning Framework.
IEEE Trans. Parallel Distributed Syst., February, 2025

FinTSB: A Comprehensive and Practical Benchmark for Financial Time Series Forecasting.
CoRR, February, 2025

SRC-FD: Secure and Reliable Cryptocurrency Transaction Fraud Detection Under Hybrid Blockchain.
IEEE Trans. Netw. Sci. Eng., 2025

Multiscale Feature Fusion Transformer With Hybrid Attention for Insulator Defect Detection.
IEEE Trans. Instrum. Meas., 2025

Multi-View Graph-Based Hierarchical Representation Learning for Money Laundering Group Detection.
IEEE Trans. Inf. Forensics Secur., 2025

Multi-Temporal Partitioned Graph Attention Networks for Financial Fraud Detection.
IEEE Trans. Inf. Forensics Secur., 2025

Privacy Passport: Privacy-Preserving Cross-Domain Data Sharing.
IEEE Trans. Inf. Forensics Secur., 2025

HRAA: Heuristic Reclamation with Agent Allocation based on reinforcement learning for resource scheduling of financial agent-based modeling and simulation tasks.
Neurocomputing, 2025

Domain-wise knowledge decoupling for personalized federated learning via Radon transform.
Neurocomputing, 2025

Generative Dynamic Graph Representation Learning for Conspiracy Spoofing Detection.
Proceedings of the ACM on Web Conference 2025, 2025

Dual Pairwise Pre-training and Prompt-tuning with Aligned Prototypes for Interbank Credit Rating.
Proceedings of the ACM on Web Conference 2025, 2025

Divide and Conquer: Exploring Language-centric Tree Reasoning for Video Question-Answering.
Proceedings of the Forty-second International Conference on Machine Learning, 2025

InspireDebate: Multi-Dimensional Subjective-Objective Evaluation-Guided Reasoning and Optimization for Debating.
Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

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

Service Workflow Activity Input/Output Parameters Recommendation Method by Combining Transformer and Weighted HITS.
IEEE Trans. Serv. Comput., 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

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

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

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

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

GeoNLF: Geometry guided Pose-Free Neural LiDAR Fields.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

RCDN: Towards Robust Camera-Insensitivity Collaborative Perception via Dynamic Feature-based 3D Neural Modeling.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 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

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

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

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

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

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

MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method.
IEEE Trans. Intell. Transp. Syst., 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

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

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

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

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

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

Discovering Canonical Correlations between Topical and Topological Information in Document Networks.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 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

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

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

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

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
Automatic Web service composition based on Horn clauses and Petri nets.
Expert Syst. Appl., 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

SelectCast: Scalable data aggregation scheme in wireless sensor networks.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 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

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

Improved asymptotic multicast throughput for random extended networks.
Comput. Commun., 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

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

Multicast Throughput of Hybrid Wireless Networks Under Gaussian Channel Model.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 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

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

2007
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 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

AS2M4SoC: An Autonomic Service Scheduling Model and Strategy for SoC Based on Evidence Theory.
Proceedings of the Grid and Cooperative Computing, 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

Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network.
Proceedings of the Wireless Algorithms, 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

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
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

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

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

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

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


  Loading...