凯文·康普顿
人员信息
附属: 美国安娜堡密歇根大学
优化列表
2010 – 2019
2016 [i2] 何塞·哈维尔·冈萨雷斯-奥尔蒂斯 , 凯文·康普顿 :
对Twofish密钥调度的简单功耗分析攻击。 CoRR公司 abs/1611.07109 ( 2016 ) 2013 [第13条] 丹尼斯·布埃诺 , 凯文·康普顿 , 卡伦·萨卡拉 , 迈克尔·D·贝利 :
决定性地检测传统封隔器。 磁盘阵列 2013 : 184-203
2000 – 2009
2009 [i1] 凯文·康普顿 , 布莱恩·蒂姆 , 乔尔·范拉文 :
对蛇密钥调度的简单功耗分析攻击。 IACR加密。 电子打印架构。 2009 : 473 ( 2009 ) 2005 [j22] 奥利吉卡·米伦科维奇 , 凯文·康普顿 :
一类Urn模型输入下Gosper算法的平均案例分析。 算法学 43 ( 三 ) : 211-244 ( 2005 ) [第12条] 乔尔·范拉文 , 马克·布雷霍布 , 凯文·康普顿 :
侧通道分析、故障注入和应用——通过优化搜索对AES进行计算上可行的SPA攻击。 秒 2005 : 577-588 [第11条] 胡松松(Hosung Song) , 凯文·康普顿 , 威廉·C·罗兹 :
SPIN:基于SPIN的可重构混合系统模型检查器。 AVoCS公司 2005 : 167-183 2004 [公元21年] 奥利吉卡·米伦科维奇 , 凯文·康普顿 :
组合Urn模型的概率变换。 梳子。 普罗巴伯。 计算。 13 ( 4-5 ) : 645-675 ( 2004 ) [第10条] 沈武伟 , 莫森·圭扎尼 , 资江·杨 , 凯文·康普顿 , 詹姆斯·哈金斯 :
软件开发中需求模型的执行。 IASSE公司 2004 : 203-208 2003 [公元20年] 奥利吉卡·米伦科维奇 , T.S.科菲 , 凯文·康普顿 :
第三个支持双重、自对偶[32、16、8]码的权重枚举器。 IEEE传输。 Inf.理论 49 ( 三 ) : 740-746 ( 2003 ) 【c9】 武威沈 , 凯文·康普顿 , 詹姆斯·哈金斯 :
一种基于抽象状态机实现具有某些约束的UML虚拟机的方法。 亚太经合组织 2003 : 224- 2002 【c8】 沈武伟 , 凯文·康普顿 , 詹姆斯·哈金斯 :
支持UML静态和动态模型检查的工具集。 COMPSAC公司 2002 : 147-152 2001 【c7】 武威沈 , 凯文·康普顿 , 詹姆斯·哈金斯 :
基于抽象状态机的UML验证工具集。 ASE公司 2001 : 315-318 [第2页] 凯文·康普顿 , 霍华德·斯特劳宾 :
低复杂度类中正则语言的特征。 理论计算机科学的当前趋势 2001 : 235-246
1990 – 1999
1999 [公元19年] 凯文·康普顿 :
范德瓦尔登变型。 电子。 J.库姆。 6 ( 1999 ) [公元18年] 爱德华·A·本德 , 凯文·康普顿 , L.布鲁斯·里士满 :
地图的0-1定律。 随机结构。 算法 14 ( 三 ) : 215-237 ( 1999 ) 【c6】 凯文·康普顿 , 斯科特·德克斯特 :
密码协议的证明技术。 ICALP公司 1999 : 25-39 1996 [公元17年] 凯文·康普顿 , 埃里希·格雷德尔 :
计数函数的逻辑定义。 J.计算。 系统。 科学。 53 ( 2 ) : 283-297 ( 1996 ) 1995 [公元16年] 凯文·康普顿 , Chinya V.拉维桑卡 :
多处理系统中的预期死锁时间。 美国临床医学杂志 42 ( 三 ) : 562-583 ( 1995 ) 1994 [公元15年] 凯文·康普顿 :
分层最小不动点逻辑。 理论。 计算。 科学。 131 ( 1 ) : 95-120 ( 1994 ) 【c5】 凯文·康普顿 , 埃里希·格雷德尔 :
计数函数的逻辑定义。 SCT公司 1994 : 255-266 1993 [公元14年] 凯文·康普顿 :
存在最小不动点逻辑的演绎系统。 J.日志。 计算。 三 ( 2 ) : 197-213 ( 1993 ) [c4] 凯文·康普顿 , 罗萨里奥·乌塞达·索萨 :
并发模型理论。 CSL公司 1993 : 78-90 [第1页] 凯文·康普顿 :
理论复杂性的下限。 理论计算机科学的当前趋势 1993 : 318-331 1992 [j13] 凯文·康普顿 , 霍华德·斯特劳宾 :
低复杂度类中正则语言的特征。 牛市。 EATCS公司 48 : 134-142 ( 1992 ) [j12] 大卫·A·米什·巴林顿 , 凯文·康普顿 , 霍华德·斯特劳宾 , 丹尼斯·塞利安 :
NC中的正则语言。 J.计算。 系统。 科学。 44 ( 三 ) : 478-499 ( 1992 ) 【c3】 托马斯·贝伦特 , 凯文·康普顿 , 埃里希·格雷德尔 :
优化问题:最优解的可表达性、逼近性质和期望渐近增长。 CSL公司 1992 : 43-60 【c2】 谢尔盖·阿比特布尔 , 凯文·康普顿 , 维克托·维亚努 :
提问可能比你想象的要容易。 豆荚 1992 : 23-32 1991 [公元11年] 凯文·康普顿 :
理论复杂性的下限。 牛市。 EATCS公司 43 : 113-123 ( 1991 ) 1990 [公元10年] 凯文·康普顿 , C.沃德·亨森 :
逻辑理论计算复杂性下限的统一证明方法。 Ann.纯粹应用。 日志。 48 ( 1 ) : 1-79 ( 1990 ) [公元9年] 凯文·康普顿 , 克劳德·拉弗拉姆 :
NC¹的代数和逻辑。 Inf.计算。 87 ( 1/2 ) : 240-262 ( 1990 ) [j8] 凯文·康普顿 , 卡洛斯·黑山 :
由封面的一个子家族划分的最大集合。 J.库姆。 理论A 54 ( 2 ) : 296-303 ( 1990 )
1980 – 1989
1989 [j7] 凯文·康普顿 :
渐近组合学的逻辑方法II:一元二阶性质。 J.库姆。 理论A 50 ( 1 ) : 110-131 ( 1989 ) 1988 [j6] 凯文·康普顿 :
渐近问题的计算复杂性I:偏序。 Inf.计算。 78 ( 2 ) : 108-123 ( 1988 ) 【c1】 凯文·康普顿 , 克劳德·拉弗拉姆 :
NC¹的代数和逻辑。 许可证 1988 : 12-21 1987 [j5] 凯文·康普顿 , C.沃德·亨森 , 撒哈拉沙拉 :
渐近问题中的不收敛性、不可判定性和难处理性。 Ann.纯粹应用。 日志。 36 : 207-224 ( 1987 ) 【j4】 凯文·康普顿 :
计算关系结构中组件分布概率的一些方法。 谨慎。 数学。 66 ( 1-2 ) : 59-77 ( 1987 ) 1985 [j3] 凯文·康普顿 :
Tauberian定理在有限模型理论中的应用。 架构(architecture)。 数学。 日志。 25 ( 1 ) : 91-98 ( 1985 ) 1984 [注2] 凯文·康普顿 :
有限组合数学中的一个不确定问题。 J.塞姆。 日志。 49 ( 三 ) : 842-850 ( 1984 ) 1983 [j1] 凯文·康普顿 :
一些有用的保存定理。 J.塞姆。 日志。 48 ( 2 ) : 427-440 ( 1983 )