铁厚
人员信息
其他同名人员
优化列表
2020年–今天
2024 [j5] 田田 , 王安石 , 杨秀婷 , 邓伟功 , 铁厚 , 姚向娟 :
基于关键通信和分支转换的并行程序测试。 J.超级计算机。 80 ( 1 ) : 519-548 ( 2024 ) 2023 【j4】 凌松 , 刘洪鑫 , 吕顺明 , 牛晓飞 , 铁厚 , 马玉玲 , 羌柳 :
基于美国时间使用调查,探索人类行为模式和社会人口因素。 同意。 计算。 实际。 支出。 35 ( 20 ) ( 2023 ) 2022 【c6】 铁厚 , 南丽 , 王燕芳(Yanfang Wang) , 郭鹏 , 李邹 :
语言真值直觉模糊逻辑的(α,β)-彩色分解方法。 AILA公司 2022 : 79-90 2020 [j3] 铁厚 , 王雅媛 :
工业间谍——系统文献综述(SLR)。 计算。 安全。 98 : 102019 ( 2020 )
2010 – 2019
2017 [注2] 乌尔里希·伯杰 , 铁厚 :
对丘奇简单类型理论的可实现性解释。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1364年-1385年 ( 2017 ) 2016 【c5】 铁厚 , 皮特·查普曼 , 安德鲁·布雷克 :
反模式理解:实证评估。 FOIS公司 2016 : 211-224 【c4】 铁厚 , 皮特·查普曼 , 伊恩·奥利弗 :
在概念图中测量感知到的混乱。 VL/HCC 2016 : 31-39 2014 【b1】 铁厚 :
交互式定理证明和程序提取。 英国斯旺西大学, 2014 【c3】 乌尔里希·伯杰 , 铁厚 :
证明规则的统一模式。 CiE公司 2014 : 53-62 2012 【c2】 乌尔里希·伯杰 , 铁厚 :
类型化与非类型化可实现性。 MFPS公司 2012 : 57-71
2000 – 2009
2008 [j1] 乌尔里希·伯杰 , 铁厚 :
精确实数计算的共导。 理论计算。 系统。 43 ( 3-4 ) : 394-409 ( 2008 ) [i1] 铁厚 :
关于Load-Store Maurer指令集体系结构的转换。 CoRR公司 腹肌/0808.2584 ( 2008 ) 2006 【c1】 铁厚 :
基本实计算的共性证明。 CiE公司 2006 : 221-230