安德鲁·韦尔斯
人员信息
其他同名人员
优化列表
2020年–今天
2024 [j8] 约瑟夫·卡特勒 , 克雷格·迪塞尔科恩 , 亚伦·艾琳 , 何绍波 , 凯尔·海德利 , 迈克尔·希克斯 , 科莎·希塔拉 , Eleftherios Ioanidis公司 , 约翰·卡斯特纳 , 安瓦尔·马马特 , 达林·麦克亚当斯 , 马特·麦库琴 , 内哈·隆塔 , 埃米娜·托拉克 , 安德鲁·韦尔斯 :
Cedar:一种用于表达、快速、安全和可分析授权的新语言。 程序。 ACM计划。 语言。 8 ( OOPSLA1公司 ) : 670-697 ( 2024 ) 【c5】 克雷格·迪塞尔科恩 , 亚伦·艾琳 , 何绍波 , 凯尔·海德利 , 迈克尔·希克斯 , 科莎·希塔拉 , 约翰·卡斯特纳 , 安瓦尔·马马特 , 马特·麦库琴 , 内哈·隆塔 , 巴克蒂·沙阿 , 埃米娜·托拉克 , 安德鲁·韦尔斯 :
我们如何建造雪松:一种验证导向的方法。 SIGSOFT FSE伴侣 2024 : 351-357 [i2] 约瑟夫·卡特勒 , 克雷格·迪塞尔科恩 , 亚伦·艾琳 , 何绍波 , 凯尔·海德利 , 迈克尔·希克斯 , 科莎·希塔拉 , Eleftherios Ioanidis公司 , 约翰·卡斯特纳 , 安瓦尔·马马特 , 达林·麦克亚当斯 , 马特·麦库琴 , 内哈·隆塔 , 埃米娜·托拉克 , 安德鲁·韦尔斯 :
Cedar:一种用于表达、快速、安全和可分析授权的新语言(扩展版)。 CoRR公司 abs/2403.04651 ( 2024 ) [i1] 克雷格·迪塞尔科恩 , 亚伦·艾琳 , 何绍波 , 凯尔·海德利 , 迈克尔·希克斯 , 科莎·希塔拉 , 约翰·卡斯特纳 , 安瓦尔·马马特 , 马特·麦库琴 , 内哈·隆塔 , 巴克蒂·沙阿 , 埃米娜·托拉克 , 安德鲁·韦尔斯 :
我们如何建造雪松:一种验证导向的方法。 CoRR公司 abs/2407.01688 ( 2024 ) 2023 [j7] 王子松 , 赵佩仪 , 汤姆·斯普林格 , 朱从义 , 雅克布毛 , 安德鲁·韦尔斯 , 银水侠 , 王凌丽(Lingli Wang) :
使用单晶体管锁定缓冲器的低功耗冗余转换自由TSPC双边缘触发触发器。 IEEE传输。 超大规模集成电路。 系统。 31 ( 5 ) : 706-710 ( 2023 )
2010 – 2019
2019 [j6] 巴米德勒·阿德比西 , 开尔文·O·O·阿诺 , 哈立德·拉比 , 奥古斯汀·伊克佩海 , 迈克尔·费尔南多 , 安德鲁·韦尔斯 :
一种新的峰值阈值估计方法,用于减少电力线衰落信道上的脉冲噪声。 IEEE系统。 J。 13 ( 2 ) : 1682-1693 ( 2019 ) 2018 [j5] 巴米代勒·阿德比西 , 哈立德·马乌夫·拉比 , 奥古斯汀·伊克佩海 , 辛纳索尔坦普尔 , 安德鲁·韦尔斯 :
非高斯电力线通信信道上的矢量OFDM传输。 IEEE系统。 J。 12 ( 三 ) : 2344-2352 ( 2018 ) 【j4】 辛纳·索坦普尔 , 哈立德·马乌夫·拉比 , 巴米德勒·阿德比西 , 安德鲁·韦尔斯 :
非高斯信道中的Masreliez-均衡VOFDM:电力线通信系统。 IEEE系统。 J。 12 ( 三 ) : 2803-2811 ( 2018 ) 2017 [j3] 奥古斯汀·伊克佩海 , 巴米德勒·阿德比西 , Khaled Maaiuf Rabie先生 , 迈克尔·费尔南多 , 安德鲁·韦尔斯 :
基于动态峰值阈值估计的高能效矢量OFDM PLC系统。 IEEE接入 5 : 10723-10733 ( 2017 ) [注2] 周日C.Ekpo , 巴米德勒·阿德比西 , 安德鲁·韦尔斯 :
用于车载多媒体声音增强和降噪应用的调节元件霜波束形成器。 IEEE接入 5 : 27254-27262 ( 2017 ) 2015 【c4】 安德鲁·韦尔斯 , 埃里昂·普拉库 :
基于自适应采样的差分约束移动机器人运动规划。 塔罗斯 2015 : 283-295 2014 【c3】 巴米德勒·阿德比西 , 周日C.Ekpo , Angham A.Sabagh公司 , 安德鲁·韦尔斯 :
使用REF波束形成算法增强智能手机中的声音信号增益和语音识别。 CSNDSP公司 2014 : 469-474 【c2】 迈克尔·奥尼尔 , 安德鲁·韦尔斯 , 孙欣(Xin Sun) :
一种新的、最优的SDN分组标识符设计。 HotSDN(热SDN) 2014 : 223-224
2000 – 2009
2004 【c1】 安德鲁·韦尔斯 , 托尼·卡格内卢蒂 :
澳大利亚数字论文项目:扩展、合作与未来。 ICADL公司 2004 : 660
1990 – 1999
1996 [j1] 安德鲁·韦尔斯 :
情境动作、符号系统和通用计算。 Minds马赫。 6 ( 1 ) : 33-46 ( 1996 )