实验室两篇论文“Level Target Inject Net for IDs Representation in Recommendation System（J Tang, H Bao and GJ Liu）”与“Ensemble Method for Credit Card Frau...[详细]

11月19日至22日，2020 CCF中国软件大会（即，第19届全国软件与应用学术会议（NASAC2020）与第5届全国形式化方法与应用会议（FMAC2020））在重庆胜利召开。会议由中国计...[详细]

刘关俊教授（独立）撰写的学术论文“PSPACE-Completeness of the Soundness Problem of Safe  Asymmetric-Choice Workflow Nets“被the 41st International Conference ...[详细]