2 papers
cs.LG2023
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…