25 citations · 27 across the 3 of their papers we have counts for
3 papers
cs.LG2023★ 2 cited
Transaction Fraud Detection via Spatial-Temporal-Aware Graph Transformer
Yue Tian, Guanjun Liu
How to obtain informative representations of transactions and then perform the identification of fraudulent transactions is a crucial part of ensuring financial security. Recent st…
cs.LO2023
Model Checking ofWorkflow Nets with Tables and Constraints
Jian Song, Guanjun Liu
Many operations in workflow systems are dependent on database tables. The classical workflow net and its extensions (e.g., worflow net with data) cannot model these operations so t…
cs.SE2020★ 25 cited
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge
Leifeng He, Guanjun Liu
Computation Tree Logic of Knowledge (CTLK) can specify many design requirements of privacy and security of multi-agent systems (MAS). In our conference paper, we defined Knowledge-…