威廉·哈里斯
优化列表
2020年-今天
2023 【j4】 伊恩·斯威特 , 大卫·达雷 , 希斯 , 威廉·哈里斯 , 瑞安·埃斯特斯 , 迈克尔·希克斯 :
Symphony:具有协调的表达性安全多方计算。 艺术科学。 工程计划。 7 ( 三 ) ( 2023 ) [i5] 伊恩·斯威特 , 大卫·达赖 , 希斯 , 威廉·哈里斯 , 瑞安·埃斯特斯 , 迈克尔·希克斯 :
Symphony:具有协调的表达性安全多方计算。 CoRR公司 abs/2302.10076 ( 2023 ) 2022 [第13条] 齐州 , 乔伊·阿鲁拉吉 , Shamkant B.纳瓦西 , 威廉·哈里斯 , 吴金鹏 :
SPES:一种在Bag语义下证明查询等价性的符号方法。 集成电路驱动单元 2022 : 2735-2748 [第12条] 威廉·哈里斯 , 顾亚伦(Allen Gu) , 田田雅子 :
让人工智能发挥作用:一个实用而简单的应用程序,用于改进3D X射线FA。 红外光谱 2022 : 10 [第11条] 马克·图尔森 , 威廉·哈里斯 , 彼得·怀亚特 :
研究报告:加强PDF信任链中的薄弱环节。 SP(车间) 2022 : 152-167 [第10条] 维杰·科塔里 , Prashant Anantharaman公司 , 肖恩·史密斯 , 布里兰·希塔吉 , Prashanth Mundkur公司 , 纳塔拉詹·尚卡尔 , Letitia W.Li女士 , 亚沃·迪亚奇基 , 威廉·哈里斯 :
捕获iccMAX计算器元素:格式设计案例研究。 SP(车间) 2022 : 176-197 2021 [j3] 穆斯塔法·奥古斯·阿法坎 , 乌穆特·默特·杜尔 , 威廉·哈里斯 :
混合时间表的学校选择。 游戏 12 ( 2 ) : 37 ( 2021 ) 【c9】 齐州 , 乔伊·阿鲁拉吉 , Shamkant B.纳瓦西 , 威廉·哈里斯 , 吴金鹏 :
SIA:使用学习的谓词优化查询。 SIGMOD会议 2021 : 2169-2181 2020 【c8】 萨姆·考格 , Yerim Lee先生 , 尼科尔·斯基曼斯基 , 马克·图尔森 , 沃尔特·伍兹 , 理查德·琼斯 , E.W.戴维斯 , 威廉·哈里斯 , 特伦特·布伦森 , 卡森·哈蒙 , 布拉德福德·拉森 , 埃文·苏塔尼克 :
研究报告:ICARUS:通过羽毛和蜡了解事实形式。 SP(车间) 2020 : 327-334 [i4] 齐州 , 乔伊·阿鲁拉吉 , Shamkant B.纳瓦西 , 威廉·哈里斯 , 吴金鹏 :
SPES:一个两阶段查询等价性验证程序。 CoRR公司 abs/2004.00481 ( 2020 )
2010 – 2019
2019 [注2] 齐州 , 乔伊·阿鲁拉吉 , Shamkant B.纳瓦西 , 威廉·哈里斯 , 董旭 :
使用可满足性模理论自动验证查询等价性。 程序。 荷兰VLDB。 12 ( 11 ) : 1276-1288 ( 2019 ) 【c7】 齐州 , 希斯 , 威廉·哈里斯 :
通过不变引导同步进行关系验证。 HCVS公司/ PERR@ETAPS(预计到达时间) 2019 : 28-41 2018 【c6】 齐州 , 威廉·哈里斯 :
使用依赖不相交展开求解约束Horn子句。 hcv公司 2018 : 3-18 2017 【c5】 关孝君 , 威廉·哈里斯 , 哈迪·伊斯梅尔扎德 :
通过自动合成的关系不变量证明序列逻辑的流安全性。 CSF公司 2017 : 420-435 【c4】 威廉·哈里斯 , 梅赫达德·埃萨尼 :
社会经济可持续农村微电网工程设计。 GHTC公司 2017 : 1-9 【c3】 任丁 , 钱晨雄 , 宋成玉 , 威廉·哈里斯 , 泰索·金 , 李文克 :
有效保护路径敏感控制安全。 USENIX安全研讨会 2017 : 131-148 [i3] 齐州 , 希斯 , 威廉·哈里斯 :
全自动等价证明。 CoRR公司 abs/1705.03110 ( 2017 ) [i2] 卡勒布·沃斯 , 希斯 , 威廉·哈里斯 :
作为综合执行语法的关系不变量的证明。 CoRR公司 abs/1710.03357 ( 2017 ) 2016 【c2】 宋成玉 , 李炳扬(Byoungyoung Lee) , 康杰路 , 威廉·哈里斯 , 泰索·金 , 李文克 :
使用数据流完整性强制内核安全不变量。 NDSS公司 2016 2015 【c1】 Jongse公园 , 哈迪·伊斯梅尔扎德 , 张欣(Xin Zhang) , 马约尔·奈克 , 威廉·哈里斯 :
FlexJava:对安全和模块化近似编程的语言支持。 ESEC/SIGSOFT FSE 2015 : 745-757 2012 [i1] 威廉·哈里斯 :
通过安全游戏实现安全编程。 微型变速器。 计算。 科学。 1 ( 2012 )
2000 – 2009
2006 [j1] 斯图亚特·菲尔斯·克拉克 , 亨利·M·G·威廉姆斯 , 安东尼·威廉姆斯 , 威廉·哈里斯 :
利用蛋白质合成和筛选新的雌激素受体配体 德诺沃 基于结构的设计工具,SkelGen。 化学杂志。 信息模型。 46 ( 2 ) : 642-647 ( 2006 )