Guanjun Liu

According to our database1, Guanjun Liu authored at least 62 papers between 2009 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

Dandelion Algorithm With Probability-Based Mutation.
IEEE Access, 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

2018
MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method.
IEEE Trans. Intelligent Transportation Systems, 2018

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

Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.
TCPS, 2018

Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism.
IEEE Internet of Things Journal, 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. Systems, Man, and Cybernetics: Systems, 2017

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

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

Observable liveness of Petri nets with controllable and observable transitions.
SCIENCE CHINA Information Sciences, 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. Systems, Man, and Cybernetics: Systems, 2016

Satellite Objects Extraction and Classification Based on Similarity Measure.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.
IEEE Trans. Services Computing, 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. Systems Science, 2016

Behavioral Equivalence of Security-Oriented Interactive Systems.
IEICE Transactions, 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. Systems, Man, and Cybernetics: Systems, 2015

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets.
SCIENCE CHINA Information Sciences, 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. Services Computing, 2014

2013
Interactive Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

A Novel Method for Calculating Service Reputation.
IEEE Trans. Automation Science and Engineering, 2013

The Liveness of WS3PR: Complexity and Decision.
IEICE Transactions, 2013

2012
Process Nets With Channels.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

System-level BIT false alarm reducing technology based on sensor network time stress analysis and the fault propagation correlation model.
IJSNet, 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 S3PR Based on Key-Resource/Operation-Place Pairs.
IEEE Trans. Automation Science and Engineering, 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


  Loading...