Guanjun Liu

Orcid: 0000-0002-7523-4827

Affiliations:
  • Tongji University, Shanghai, China


According to our database1, Guanjun Liu authored at least 131 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Enhancing the robustness of QMIX against state-adversarial attacks.
Neurocomputing, March, 2024

A Heterogeneous Graph Neural Network With Attribute Enhancement and Structure-Aware Attention.
IEEE Trans. Comput. Soc. Syst., February, 2024

Robust Multi-Agent Reinforcement Learning Method Based on Adversarial Domain Randomization for Real-World Dual-UAV Cooperation.
IEEE Trans. Intell. Veh., January, 2024

Static Deadlock Detection for Rust Programs.
CoRR, 2024

2023
A Parameter Estimation of Photovoltaic Models Using a Boosting Flower Pollination Algorithm.
Sensors, 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

A Method for Spatiotemporally Merging Multi-Source Precipitation Based on Deep Learning.
Remote. Sens., September, 2023

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$.
IEEE Trans. Ind. Informatics, August, 2023

Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems.
IEEE Trans. Comput. Soc. Syst., August, 2023

MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse.
IEEE Trans. Syst. Man Cybern. Syst., April, 2023

A Metaverse-Based Teaching Building Evacuation Training System With Deep Reinforcement Learning.
IEEE Trans. Syst. Man Cybern. Syst., April, 2023

Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems.
IEEE Trans. Comput. Soc. Syst., April, 2023

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets.
IEEE Trans. Ind. Informatics, March, 2023

Dependency Matrix-Based Fast Fault Diagnosis Using Search Algorithm.
IEEE Trans. Instrum. Meas., 2023

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

The trace consistency measurement between WFD-net systems.
Frontiers Comput. Sci., 2023

Transaction Fraud Detection via an Adaptive Graph Neural Network.
CoRR, 2023

Transaction Fraud Detection via Spatial-Temporal-Aware Graph Transformer.
CoRR, 2023

Model Checking ofWorkflow Nets with Tables and Constraints.
CoRR, 2023

Multi-Agent Reinforcement Learning: Methods, Applications, Visionary Prospects, and Challenges.
CoRR, 2023

Partially Observable Mean Field Multi-Agent Reinforcement Learning Based on Graph-Attention.
CoRR, 2023

ASIAM-HGNN: Automatic Selection and Interpretable Aggregation of Meta-Path Instances for Heterogeneous Graph Neural Network.
Comput. Informatics, 2023

Invasive mechanical ventilation probability estimation using machine learning methods based on non-invasive parameters.
Biomed. Signal Process. Control., 2023

Short-Term Load Forecasting Based on Multi-Scale Ensemble Deep Learning Neural Network.
IEEE Access, 2023

A Spatial-temporal Gated Network for Credit Card Fraud Detection.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

PNer: A Petri-Net-Based Model Checker for Computation Tree Logic.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

Robustness Testing for Multi-Agent Reinforcement Learning: State Perturbations on Critical Agents.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking.
Wirel. Commun. Mob. Comput., 2022

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

Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation.
Int. J. Commun. Syst., 2022

Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.
CoRR, 2022

RoMFAC: A Robust Mean-Field Actor-Critic Reinforcement Learning against Adversarial Perturbations on States.
CoRR, 2022

A machine learning method for predicting the probability of MODS using only non-invasive parameters.
Comput. Methods Programs Biomed., 2022

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.
Comput. Informatics, 2022

Identify Bottlenecks of Patient Flow in Emergency Departments.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Petri Nets - Theoretical Models and Analysis Methods for Concurrent Systems
Springer, ISBN: 978-981-19-6308-7, 2022

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

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

Prediction model of college students entrepreneurship ability based on artificial intelligence and fuzzy logic model.
J. Intell. Fuzzy Syst., 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

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams.
Comput. Informatics, 2021

Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Goal-conditioned Behavioral Cloning with Prioritized Sampling.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

Improved PolarMask with Attention for Instance Segmentation.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

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

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

Optimizing Weighted Extreme Learning Machines for imbalanced classification and application to credit card fraud detection.
Neurocomputing, 2020

Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge.
CoRR, 2020

Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net.
Comput. Informatics, 2020

MANE: Model-Agnostic Non-linear Explanations for Deep Learning Model.
Proceedings of the 2020 IEEE World Congress on Services, 2020

Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security.
Proceedings of the 2020 IEEE World Congress on Services, 2020

A k-means-based and no-super-parametric Improvement of AdaBoost and its Application to Transaction Fraud Detection.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2020

A Petri Net-Based Traffic Rerouting System by Adopting Traffic Lights and Dynamic Message Signs.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 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

PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

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

Dandelion Algorithm With Probability-Based Mutation.
IEEE Access, 2019

A Hybrid Model on Learning Cross Features for Transaction Fraud Detection.
Proceedings of the Advances in Data Mining, 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

BUCKER 2.0: An Unfolding Based Checker for CTL.
Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

A Hierarchical Clustering Strategy of Processing Class Imbalance and Its Application in Fraud Detection.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Model Checking CTLK Based on Knowledge-Oriented Petri Nets.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

DenseNet+Inception and Its Application for Electronic Transaction Fraud Detection.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

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

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

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

What Affects Patients' Online Decisions: An Empirical Study of Online Appointment Service Based on Text Mining.
Proceedings of the Smart Health - International Conference, 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

Verifying CTL with Unfoldings of Petri Nets.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

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

Refined Weighted Random Forest and Its Application to Credit Card Fraud Detection.
Proceedings of the Computational Data and Social Networks - 7th International Conference, 2018

A Rich Ranking Model Based on the Matthew Effect Optimization.
Proceedings of the Computational Data and Social Networks - 7th International Conference, 2018

2017
Robust Learning to Rank Based on Portfolio Theory and AMOSA Algorithm.
IEEE Trans. Syst. Man Cybern. 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

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

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

Statistical Analysis of Time-Varying Characteristics of Testability Index Based on NHPP.
IEEE Access, 2017

Impact of Electrical Contact Resistance on the High-Speed Transmission and On-Line Diagnosis of Electrical Connector Intermittent Faults.
IEEE Access, 2017

BUCKER: A basic unfolding based checker for soundness of workflow systems.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 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

Robust Ranking Model via Bias-Variance Optimization.
Proceedings of the Intelligent Computing Methodologies - 13th International Conference, 2017

2016
A Markov Chain-Based Testability Growth Model With a Cost-Benefit Function.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Satellite Objects Extraction and Classification Based on Similarity Measure.
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

Complexity of the deadlock problem for Petri nets modeling resource allocation systems.
Inf. Sci., 2016

Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait.
Int. J. Syst. Sci., 2016

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

A Hybrid Discrete Imperialist Competition Algorithm for Fuzzy Job-Shop Scheduling Problems.
IEEE Access, 2016

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

A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 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

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

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

A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets.
Proceedings of the Advances in Services Computing, 2016

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

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

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

2014
Some Complexity Results for the Soundness Problem of Workflow Nets.
IEEE Trans. Serv. Comput., 2014

2013
Interactive Petri Nets.
IEEE Trans. Syst. Man Cybern. 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

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

System-level BIT false alarm reducing technology based on sensor network time stress analysis and the fault propagation correlation model.
Int. J. Sens. Networks, 2012

2011
A Necessary and Sufficient Condition for the Liveness of Normal Nets.
Comput. J., 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

Array Manifold Calibration in Shipborne Radar.
Proceedings of the Second International Conference on Innovations in Bio-inspired Computing and Applications, 2011

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

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

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

2008
Decision-Improved Support Vector Machine and its Application.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008


  Loading...