设为首页 | 加入收藏
首页 > 论文著作 > 会议论文 > 正文

会议论文

作者：时间：2020-12-10点击数：

---------------------------2023---------------------------

  1. Zhou, ZY, Liu GJ, Robustness Testing for Multi-Agent Reinforcement Learning: State Perturbations on Critical Agents, the 26th European Conference on Artificial Intelligence (ECAI2023), September 30–October 4, 2023, Kraków, Poland, pp. 3131--3139.

  2. He, L., Liu, G., & Sun, Y. (2023, October). PNer: A Petri-Net-Based Model Checker for Computation Tree Logic. In 2023 IEEE International Conference on Networking, Sensing and Control (ICNSC) (Vol. 1, pp. 1-7).

  3. Y. Xie, G. Liu, M. Zhou, L. Wei, H. Zhu and R. Zhou, "A Spatial-temporal Gated Network for Credit Card Fraud Detection," 2023 IEEE International Conference on Networking, Sensing and Control (ICNSC), Marseille, France, 2023, pp. 1-6

    ---------------------------2022---------------------------

  4. Y. Hu, J. Wang and G. Liu, "Identify Bottlenecks of Patient Flow in Emergency Departments," 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), Mexico City, Mexico, 2022, pp. 2435-2440,

    ---------------------------2021---------------------------

  5. LF He and GJ  Liu, Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order, The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE2021), 2021. pp. 159-166.

  6. J.Y. Sun and G.J. Liu, An Improvement of Density Peaks Clustering Algorithm Based on KNN and Gravitation, the 4th International Conference on Intelligent Autonomous Systems (ICoIAS), 14-16 May, 2021, Wuhan, China pp. 234-239.

  7. R. Wang and G. Liu, Ensemble Method for Credit Card Fraud Detection, 4th International Conference on Intelligent Autonomous Systems (ICoIAS), 2021, pp. 246-252.

  8. J. Tang, H. Bao and G. Liu, Level Target Inject Net for IDs Representation in Recommendation System, 4th International Conference on Intelligent Autonomous Systems (ICoIAS), 2021, pp. 228-233.

  9. W. Wu, G. Liu, K. Liang and H. Zhou, Pneumothorax Segmentation in Routine Computed Tomography Based on Deep Neural Networks, 4th International Conference on Intelligent Autonomous Systems (ICoIAS), 2021, pp. 78-83.

  10. GJ Liu, J Tang, Y Tian, JC Wang, Graph neural network for credit card fraud detection, 2021 International Conference on Cyber-Physical Social Intelligence, 2021

  11. YS Hu, JC Wang, GJ Liu, Resource-oriented timed workflow nets and simulation tool design,2021 International Conference on Cyber-Physical Social Intelligence, 2021

  12. F Ma, GJ Liu, KW Zhang, Goal-conditioned behavioral cloning with prioritized sampling, IEEE ICNSC'2021.

  13. Y Cao, GJ Liu, Improved polarmask with attention for instance segmentation, IEEE ICNSC'2021

    ---------------------------2020---------------------------

  14. GJ Liu, PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets, In: the 41st International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN 2020), Paris, France, 24-26 June, 2020, LNCS 12152, pp. 196-216 (Petri网与并发论领域旗帜性会议)

  15. CF Yang, GJ Liu, CG Yan, A k-means-based and no-super-parametric Improvement of AdaBoost and its Application to Transaction Fraud Detection, IEEE ICNSC’2020.

  16. L. Qi, W.J. Luan, G.J. Liu, X. Lu, and X.W. Guo, A Petri Net-based Traffic Rerouting System by Adopting Traffic Lights and Dynamic Message Signs, IEEE ICNSC’2020.

  17. LF He and GJ Liu, Verifying computation tree logic of knowledge via the similar reachability graph of knowledge-oriented Petri nets. In: the 39th Chinese Control Conference (CCC2020), Shenyang, China, 2020, pp. 5026--5031.

  18. LF He and GJ Liu, Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security, In:2020 IEEE World Congress on Services, Beijing, China, Oct. 19-23, 2020 (Doctoral Symposium)

  19. Y Tian and GJ Liu, MANE: Model-Agnostic Non-linear Explanations for Deep Learning Model, In:2020 IEEE World Congress on Services, Beijing, China, Oct. 19-23, 2020 (Doctoral Symposium)

  20. SJ Yin, GJ Liu, ZC Li, CG Yan and CJ Jiang, An Accuracy-and-Diversity-based Ensemble Method for Concept Drift and Its application in Fraud Detection, IEEE ICDMW 2020,November 17-20, 2020, Sorrento, Italy.

  21. HH Zhu, GJ Liu, MC Zhou, Y Xie and Q Kang, A Noisy-sample-removed Under-sampling Scheme for Imbalanced Classification of Public Datasets, IFAC-PapersOnLine, vol. 53, no. 5, pp. 624--629.

    ---------------------------2019---------------------------

  22. FJ Zhang, GJ Liu, ZC Li, CG Yan, CJ Jiang, GMM-based Undersampling and Its Application for Credit Card Fraud Detection,the 32nd International Joint Conference on Neural Network (IJCNN’2019), Budapest, Hungary, 14-19 July, 2019.

  23. LF He,GJ Liu, Model Checking CTLK Based on Knowledge-oriented Petri Nets, the 21st IEEE International Conference on High Performance Computing and Communications (HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.

  24. H Wu, GJ Liu, A Hybrid Model on Learning Cross Features for Transaction Fraud Detection, the 19th Industrial Conference on Data Mining (ICDM’2019), July 17-19, 2019, New York, USA.

  25. LL Dong, GJ Liu, DM Xiang, BUCKER 2.0: An Unfolding Based Checker for CTL, the 16th IEEE ICNSC, Canada, May 9-11, 2019, 6 pages

  26. JQ Sun, GJ Liu, DM Xiang, CG Jiang, A Petri-net-based Method For Detecting Bugs in Multiple Threads, the 16th IEEE ICNSC, Canada, May 9-11, 2019, 6 pages

  27. Y Xie, GJ Liu, RH Cao, ZC Li, CG Yan, CJ Jiang, A Feature Extraction Method for Credit Card Fraud Detection, the 2nd IEEE International Conference on Intelligent Autonomous Systems (ICoIAS’2019), Singapore, Feb 28- Mar 3, 2019.

  28. Z Chen, GJ Liu, DenseNet+Inception and Its Application for Electronic Transaction Fraud Detection, the IEEE 17th International Conference on Smart City (SmartCity 2019), Zhangjiajie, China, 10-12 Aug. 2019.

  29. YJ Zhang, GJ Liu, CG Yan, A hierarchical clustering strategy of processing class imbalance and its application in fraud detection, the 21st IEEE International Conference on High Performance Computing and Communications (HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.

    ---------------------------2018---------------------------

  30. LL Dong, GJ Liu, DM Xiang, Verifying CTL with Unfoldings of Petri Nets, the 18th ICA3PP, Guangzhou, China, Nov. 15-17, 2018, LNCS 11337, pp. 47-61.

  31. B Yang, GJ Liu, DM Xiang, CG Yan, CJ Jiang, A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets, IEEE SMC, 2018, Oct. 7-10, Japan, pp. 202-208.

  32. ZC Li, GJ Liu, S Wang, SY Xuan, CJ Jiang, Credit Card Fraud detection via Kernal-based Supervised Hashing, the 2nd IEEE International Workshop on Syberspace Security (IWCSS’2018), Guangzhou, China, Oct. 8-12, 2018, pp. 1249-1254.

  33. S Wang, GJ Liu, ZC Li, SY Xuan, CG Yan, CJ Jiang, Credit Card Fraud Detection Using Capsule Network, IEEE SMC 2018, Oct. 7-10, Japan, pp. 3679-3684.

  34. YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang, An Approach to Class Imbalance Problem Based on Stacking and Inverse Random Under Sampling Methods, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages.

  35. YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang, Application of SIRUS in Credit Card Fraud Detection, the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 66-78.

  36. LT Zheng, GJ Liu, WJ Luan, CG Yan, A New Credit Card Fraud Detection Method Based on Behavior Certification, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages.

  37. SY Xuan, GJ Liu, ZC Li, LT Zheng, S Wang CJ Jiang, Random Forest for Credit Card Fraud Detection, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages.

  38. SY Xuan, GJ Liu, ZC Li, Refined Weighted Random Forest and Its Application to Credit Card Fraud Detection. the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 343-355.

  39. JZ Li, GJ Liu,A Rich Ranking Model Based on the Matthew Effect Optimization, the 7th International Conference on Computational Data and Social Network (CSoNet 2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 450-459.

    ---------------------------2017---------------------------

  40. JZ Li, GJ Liu, J. Xia, Robust Ranking Model via Bias-Variance Optimization, in 2017 International Conference on Intellegent Computing, Liverpool, UK, Aug. 7--10, LNAI, vol. 10363, pp. 706--718, 2017.

  41. DM Xiang, GJ Liu, CG Yan, CJ Jiang, DICER: Data Inconsistency Checker Based on The Unfolding Technique of Petri Net, the 14th ICNSC, Calabria, Italy, 2017, pp. 115—120.

  42. K Zhang, GJ Liu, DM Xiang, BUCKER: A Basic Unfolding based Checker for Soundness of Workflow Systems, the 14th ICNSC, Calabria, Italy, 2017, pp. 611-616.

    ---------------------------2016---------------------------

  43. GJ Liu, CJ Jiang, Petri net based model checking for the collaborative-ness of multiple processes systems, the 13th ICNSC, Maxico City, Apr. 28-30, 2016.

  44. GJ Liu, K Zhang, CJ Jiang, Deciding the deadlock and livelock of a Petri net with a target marking based on its basic unfolding, the 16th ICA3PP, Spain, Dec. 14-16, 2016, LNCS 10048, 98—105.

  45. WY Yu, GJ Liu, LF He, A Reduction Method of Analyzing Data-liveness and Data-boundedness for a Class of E-commerce Business Process Nets, the 9th SpaCCS, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 70--83.

  46. MM Wang, GJ Liu, CJ Jiang, Computation of Secure Consistency for Real Systems, The 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS2016), Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 84--97.

  47. MM Wang, GJ Liu, CG Yan, CJ Jiang. Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack. In: Wang G., Ray I., Alcaraz Calero J., Thampi S. (eds) Security, Privacy, and Anonymity in Computation, Communication, and Storage. SpaCCS 2016. Lecture Notes in Computer Science, vol 10066. Springer, pp. 422--436.

  48. J Li, GJ Liu, CG Yan, CJ Jiang, A Hybrid Method of Recommending POIs Based on Context and Personal Preference Confidence, the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT2016), Shanghai, China, Dec. 6-9, 2016, pp. 287-292.

  49. WJ Luan, GJ Liu, CJ Jiang, Collaborative Tensor Factorization and its Application in POI Recommendation, the 13th ICNSC, Maxico City, Apr. 28-30, 2016 (best student paper award finalist).

  50. LF He, GJ Liu, MM Wang, Sufficient and necessary conditions to decide compatibility for simple circuit inter-organization workflow nets, the 10th APSCC, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10065, pp. 408--422.

  51. DM Xiang, GJ Liu, CG Yan, CJ Jiang, Checking the inconsistent data in concurrent systems by Petri nets with data operations, In: the 22nd ICPADS, 2016, Wuhan, China, pp. 501—508.

    ---------------------------2015---------------------------

  52. GJ Liu, CJ Jiang, Secure Bisimulation for Interactive Systems, the 15th ICA3PP, LNCS 9530, 2015: 625-639.

    ---------------------------2012---------------------------

  53. GJ Liu, J Sun, Y Liu, JS Dong, Complexity of the soundness problem of bounded workflow nets, the 33rd ICATPN, 25-29 June 2012, Hamburg, Germany, LNCS 7347, pp. 92-107, 2012（Petri网与并发论国际顶级会议）.

    ---------------------------2011---------------------------

  54. GJ Liu, CJ Jiang, MC Zhou, Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets, ICNSC 2011, Delft, the Netherlands, April 11-13, 2011: 359-364.

    ---------------------------2010---------------------------

  55. A Ohta, GJ Liu, K. Tsuji, CJ Jiang, D. Chao, Polynomial time solvability of liveness problem of structurally weakly persistent net, IEICE Technical Report (CST2010-13), 2010: 127-132.


版权所有：同济大学 形式逻辑与机器学习实验室

地址：上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email：liuguanjun@tongji.edu.cn