韩志磊
人员信息
优化列表
2020年–今天
2023 【c1】 韩志磊 , 飞鹤 :
用于非终止分析的数据驱动递归集学习。 集成电路 2023 : 1303-1315 2022 [j1] 陈陶璐 , 亚历杭德罗·弗洛雷斯-拉马 , 马修·黑格 , 韩志磊 , 胡登亨 , 双龙坎 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
通过具有优先级和变量的传感器,使用Regex相关函数解决字符串约束。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 ) [i2] 李冠燕 , 韩志磊 , 飞鹤 :
ProbTA:概率验证的一个完善的证明规则。 CoRR公司 abs/2203.04422 ( 2022 ) 2021 [i1] 陈陶璐 , 亚历杭德罗·弗洛雷斯-拉马 , 马修·黑格 , 韩志磊 , 胡登亨 , 双龙坎 , 安东尼·威贾贾·林 , 菲利普·吕默 , 吴志林 :
通过具有优先级和变量的传感器,使用Regex相关函数解决字符串约束。 CoRR公司 abs/2111.04298 ( 2021 )