停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

瓦利德·塔哈

瓦利德·穆罕默德·塔哈

>主页 >珀森斯

人员信息

附属： 瑞典哈尔姆斯塔德大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元62年]
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nsdi/Ramanathan0GMWY23号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nsdi/Ramanathan0GMWY23
Sivaramakrishnan Ramanathan公司,张颖（音）,穆罕默德·加维什,优格什·蒙达达,王兆东,桑基·云,利珀特,瓦利德·塔哈,俞敏兰,杰琳娜·米尔科维奇:
实用的意图驱动路由配置合成。 NSDI公司 2023:629-644
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-06079
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-06079
桑达斯·穆尼尔,瓦利德·塔哈:
智能合约的部署前分析——一项调查。 CoRR公司腹肌/2301.06079(2023)
2021
【b2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - books/sp/TahaTT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/TahaTT21
瓦利德·穆罕默德·塔哈,阿布德·埃哈米德·塔哈,约翰·桑伯格:
网络物理系统：基于模型的方法。施普林格 2021，国际标准图书编号978-3-030-36070-2，第1-187页
[第61条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifip12/TzamarasAT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip12/TzamarasAT21
索蒂里奥斯·扎马拉斯,斯塔夫罗斯·P·亚当,瓦利德·塔哈:
使用Acumen建模和仿真环境的智能技术和混合系统实验。 AIAI公司 2021:531-542
2020
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/actaC/MoggiTT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/actaC/MoggiTT20
尤金尼奥·莫吉,瓦利德·塔哈,约翰·桑伯格:
声音超过概率的近似值。《网络学报》。 24(三):269-285(2020)
[电子10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cyphy/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/2019
罗杰·张伯伦,马丁·爱丁·格林哈登,瓦利德·塔哈:
网络物理系统。基于模型的设计——2019年CyPhy第九届国际研讨会和2019年WESE第十五届国际研讨会，2019年10月17日至18日，美国纽约市，修订论文集。计算机科学课堂讲稿11971,施普林格 2020，国际标准图书编号978-3-030-41130-5 [目录]

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元60年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/MoggiFT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/MoggiFT19
尤金尼奥·莫吉,阿明·法朱迪安,瓦利德·塔哈:
系统分析和鲁棒性。信息通信与通信系统 2019:1-7
[电子9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cyphy/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/2017
罗杰·张伯伦,瓦利德·塔哈,马丁·特伦格伦:
网络物理系统。设计、建模和评估——第七届国际研讨会，CyPhy 2017，韩国首尔，2017年10月15日至20日，修订论文集。计算机科学课堂讲稿11267,施普林格 2019，国际标准图书编号978-3-030-17909-0 [目录]
[电子8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cyphy/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/2018
罗杰·张伯伦,瓦利德·塔哈,马丁·特恩格伦:
网络物理系统。基于模型的设计——2018年CyPhy第八届国际研讨会和2018年WESE第十四届国际研讨会，意大利都灵，2018年10月4-5日，修订论文集。计算机科学课堂讲稿11615,施普林格 2019，国际标准图书编号978-3-030-23702-8 [目录]
2018
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MoggiFDT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MoggiFDT18
尤金尼奥·莫吉,阿明·法朱迪安,亚当·杜拉茨,瓦利德·塔哈:
混合系统的安全和鲁棒可达性分析。理论。计算。科学。 747:75-99(2018)
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MoggiFT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MoggiFT18
尤金尼奥·莫吉,阿明·法朱迪安,瓦利德·塔哈:
系统分析和鲁棒性。模型、心态、元 2018:36-44
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/DuraczMTL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/DuraczMTL18
亚当·杜拉茨,尤金尼奥·莫吉,瓦利德·塔哈,林振超:
严格模拟的语义描述。建模原理 2018:223-239
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cyphy/MarchandPLT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/MarchandPLT18
朱迪卡·马尔坎德,盖尔·普伊斯切特,托马斯·利森,瓦利德·塔哈:
MicroITS：一个规模缩小的ITS平台。 CyPhy/WSE公司 2018:214-221
2017
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ZengBT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ZengBT17
曾英福,费伦茨·A·巴萨,瓦利德·塔哈:
混合ODE的编译时扩展。 ETAPS时的信噪比 2017:52-70
[电子7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2017年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2017
尤利亚·利勒,瓦利德·塔哈:
声明语言的实践方面-第19届国际研讨会，PADL 2017，法国巴黎，2017年1月16日至17日，会议记录。计算机科学课堂讲稿10137,施普林格 2017，国际标准图书编号978-3-319-51675-2 [目录]
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-05658
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-05658
尤金尼奥·莫吉,阿明·法朱迪安,亚当·杜拉茨,瓦利德·塔哈:
混合系统的安全与鲁棒可达性分析。 CoRR公司 abs/1709.05658(2017)
2016
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/InoueT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/InoueT16
井上俊美,瓦利德·塔哈:
关于多阶段程序的推理。 J.功能。程序。 26:第22页(2016)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sigbed/TahaZDXABCP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigbed/TahaZDXABCP16
瓦利德·塔哈,曾英福,亚当·杜拉茨,费旭,凯文·阿特金森,保罗·布劳纳,罗伯特·卡特赖特,罗兰·菲利普森:
开发关于网络物理系统的第一门课程。 SIGBED版本。 14(1):44-52(2016)
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cse/AljarbouhZDCT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cse/AljarbouhZDCT16
艾曼·阿尔贾布,曾英福,亚当·杜拉茨,贝诺·特凯劳德,瓦利德·塔哈:
混合动力系统无颤振仿真语义与原型实现。 CSE/EUC/DCABES公司 2016:412-422
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esweek/TahaHXDBZDG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esweek/TahaHXDBZDG16
瓦利德·塔哈,拉尔斯·戈兰·赫德斯特罗姆,费旭,亚当·杜拉茨,费伦茨·A·巴萨,曾英福,詹妮弗·大卫,高拉夫·冈扬:
翻转第一门关于网络物理系统的课程：一份经验报告。 WESE公司 2016:8:1-8:8
2015
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hpcc/DuraczEBXZT15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpcc/DuraczEBXZT15
亚当·杜拉茨,亨利克·埃里克森,费伦茨·A·巴萨,费旭,曾英福,瓦利德·塔哈:
使用严格的模拟来支持ISO 26262危险分析和风险评估。 HPCC/CSS/ICESS公司 2015:1093-1096
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iot360/TahaDZABBDXCKMM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15
瓦利德·塔哈,亚当·杜拉茨,曾英福,凯文·阿特金森,费伦茨·A·巴萨,保罗·布劳纳,扬·杜拉茨,费旭,罗伯特·卡特赖特,米查尔·科内肯（Michal Konecn）,尤金尼奥·莫吉,贾瓦德·马苏德,佩雷里克·安德烈亚松,井上俊美,安妮塔·皮涅罗·圣安娜,罗兰·菲利普森,亚历山大·查普特,马西娅·奥马利,亚伦·D·艾姆斯,维罗尼卡·加斯佩斯,Lise Hvatum公司,希亚姆·梅塔,亨利克·埃里克森,克里斯蒂安·格兰特:
Acumen:一个用于网络物理系统研究的开源测试平台。物联网360（1） 2015:118-130
[i3]
- 看法
  - 电子版@nii.ac.jp（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/shonan-reports/IshiiST215
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/shonan-reports/IshiiST215
石井大辅,Kohei Suenaga公司,瓦利德·塔哈:
验证的数值符合CPS设计可达性分析（NII Shonan会议2015-14）。 NII Shonan会议。代表。 2015(2015)
2014
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eceasst/MohaqeqiMT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/MohaqeqiMT14
莫特扎·莫哈基奇（Morteza Mohaqeqi）,穆罕默德·雷扎·穆萨维,瓦利德·塔哈:
网络物理系统的一致性测试：一项比较研究。电子。Commun公司。欧洲协会软件。科学。Technol公司。 70(2014)
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esweek/TahaCPZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esweek/TahaCPZ14
瓦利德·塔哈,罗伯特·卡特赖特,罗兰·菲利普森,曾英福:
开发网络物理系统第一课程。韦斯 2014:6:1-6:8
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hpcc/曾RBTMPOC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpcc/ZengRBTMPOC14
曾英福,乍得·G·罗斯,保罗·布劳纳,瓦利德·塔哈,贾瓦德·马苏德,罗兰·菲利普森,玛西娅·基尔琴曼·奥马利,罗伯特·卡特赖特:
网络物理系统建模基本方面，第二部分（扩展摘要）。 HPCC/CSS/ICESS公司 2014:550-557
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icms/DuraczFKT14会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icms/DuraczFKT14
扬·杜拉茨,阿明·法朱迪安,米查尔·科内肯（Michal Konecn）,瓦利德·塔哈:
函数区间算术。信息和通信管理系统 2014:677-684
[电子6]
- 看法
- 出口记录
  dblp键：
  - conf/cyphy/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cyphy/2014
拉尔夫·拉梅尔,瓦利德·塔哈:
第四届ACM SIGBED网络物理系统设计、建模和评估国际研讨会论文集，CyPhy 2014，德国柏林，2014年4月14-17日。 ACM公司 2014，国际标准图书编号978-1-4503-2871-5 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ZengRBTMPOC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/ZengRBTMPOC14
曾英福,乍得·G·罗斯,保罗·布劳纳,瓦利德·塔哈,贾瓦德·马苏德,罗兰·菲利普森,马西娅·奥马利,罗伯特·卡特赖特:
网络物理系统的建模基本方面，第二部分。 CoRR公司 abs/1408.1110(2014)
2013
[c48]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpsna/KonecnyTDDA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsna/KonecnyTDDA13
米查尔·科内肯（Michal Konecn）,瓦利德·塔哈,扬·杜拉茨,亚当·杜拉茨,亚伦·D·艾姆斯:
封闭混合系统在Zeno点前后的行为。 CPSNA公司 2013:120-125
[公元47年]
- 看法
  - 电子版@liu.se（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/eoolt/Taha13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eoolt/Taha13
瓦利德·塔哈:
受邀演讲：封闭混合行为。 EOOLT公司 2013:三
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1303-2792
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1303-2792
瓦利德·塔哈,罗兰·菲利普森:
网络物理系统的基本方面建模。 CoRR公司腹肌/1303.2792(2013)
2012
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/InoueT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/InoueT12
井上俊美,瓦利德·塔哈:
关于多阶段程序的推理。员工持股计划 2012:357-376
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icdcsw/TahaBZCGAC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icdcsw/TahaBZCGAC12
瓦利德·塔哈,保罗·布劳纳,曾英福,罗伯特·卡特赖特,维罗尼卡·加斯佩斯,亚伦·D·艾姆斯,亚历山大·查普特:
网络物理系统可执行模型的核心语言（初步报告）。 ICDCS研讨会 2012:303-308
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/intenv/文莱COTH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/intev/BruneauCOTH12
朱利安·布鲁诺,查尔斯·康塞尔,马西娅·奥马利,瓦利德·塔哈,哀号Masry Hannourah:
智能建筑虚拟测试。智能环境 2012:282-289
2011
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/SalamaMTGO11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/SalamaMTGO11
谢里夫·萨拉马,格雷戈里·马莱查,瓦利德·塔哈,吉姆·格兰迪,约翰·奥利里:
Verilog有线互连的静态一致性检查-使用依赖类型检查Verilogs描述的完整性。高。订购符号。计算。 24(1-2):81-114(2011)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sigbed/TahaBCGAC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigbed/TahaBCGAC11
瓦利德·塔哈,保罗·布劳纳,罗伯特·卡特赖特,维罗尼卡·加斯佩斯,亚伦·D·艾姆斯,亚历山大·查普特:
网络物理系统可执行模型的核心语言：工作进度报告。 SIGBED版本。 8(2):39-43(2011)
[公元43年]
- 看法
- 出口记录
  dblp键：
  - conf/gi/TahaC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/TahaC11
瓦利德·塔哈,罗伯特·卡特赖特:
实数问题（特邀论文）。 GI-Jahrestagung公司 2011:325
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/trustcom/BelwalCT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/trust.com/BelwalCT11
Chaitanya Belwal女士,阿尔伯特·M·K·程,瓦利德·塔哈:
使用穷举枚举进行P-FRP响应时间分析的释放偏移界。 TrustCom公司 2011:950-957
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1109-0786
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1109-0786
瓦利德·塔哈,维罗尼卡·加斯佩斯,雷克斯·L·佩奇:
精确编程：从属性的角度思考程序。数字用户线 2011:236-260
2010
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/Gillenwater MSZTGO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/GillenwaterMSZTGO10
詹妮弗·吉伦沃特,格雷戈里·马莱查,谢里夫·萨拉马,安吉拉·朱云（Angela Yun Zhu）,瓦利德·塔哈,吉姆·格兰迪,约翰·奥利里:
可综合的高级硬件描述。新一代。计算。 28(4):339-369(2010)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccps/ZhuWICSPMTOCAB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccps/ZhuWICSPMTOCAB10
安吉拉·朱云（Angela Yun Zhu）,埃德温·韦斯特布鲁克,井上俊美,亚历山大·查普特,谢里夫·萨拉马,玛丽莎·琳娜·佩拉尔塔,特拉维斯·马丁,瓦利德·塔哈,马西娅·奥马利,罗伯特·卡特赖特,亚伦·D·艾姆斯,拉克蒂姆·巴塔查里亚:
数学方程是机械系统的可执行模型。 ICCPS公司 2010:1-11
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mobiquitous/文莱COTH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mobiquitous/BruneauCOTH10
朱利安·布鲁诺,查尔斯·康塞尔,马西娅·奥马利,瓦利德·塔哈,Wail Masry Hannourah女士:
智能建筑虚拟测试的初步结果。 MobiQuitous公司 2010:347-349
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WestbrookRIYAT10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WestbrookRIYAT10
埃德温·韦斯特布鲁克,马蒂亚斯·里肯,井上俊美,姚一龙,塔梅尔·阿卜杜拉提夫,瓦利德·塔哈:
Mint:使用弱可分性的Java多级编程。 PLDI公司 2010:400-411

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SiekGT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SiekGT09
杰里米·西克,罗纳德·加西亚,瓦利德·塔哈:
探索高阶铸件的设计空间。员工持股计划 2009:17-31
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icess/ZhuTCMS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icess/ZhuTCMS09
安吉拉·朱云（Angela Yun Zhu）,瓦利德·塔哈,罗伯特·卡特赖特,马蒂厄·马特尔,杰里米·西克:
寻求真正的答案。 ICESS公司 2009:115-122
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icess/ZhuIPTOP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icess/ZhuIPTOP09
安吉拉·朱云（Angela Yun Zhu）,井上俊美,玛丽莎·琳娜·佩拉尔塔,瓦利德·塔哈,马西娅·奥马利,戴恩·鲍威尔:
从高级描述实现触觉反馈环境。 ICESS公司 2009:482-489
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/SalamaMTGO09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/SalamaMTGO09
Cherif R.萨拉马,格雷戈里·马莱查,瓦利德·塔哈,吉姆·格兰迪,约翰·奥利里:
verilog-wire互连的静态一致性检查：使用依赖类型检查verilog描述的完整性。政治公众人物 2009:121-130
[电子5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsl/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsl/2009
瓦利德·穆罕默德·塔哈:
领域特定语言，IFIP TC 2工作会议，DSL 2009，英国牛津，2009年7月15日至17日，会议记录。计算机科学课堂讲稿5658,施普林格 2009，国际标准图书编号978-3-642-03033-8 [目录]
[电子4]
- 看法
- 出口记录
  dblp键：
  - conf/icess/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icess/2009
陈天洲,Dimitrios N.Serpanos公司,瓦利德·塔哈:
2009年5月25日至27日，中国浙江杭州，ICESS’09，嵌入式软件和系统国际会议。 IEEE计算机学会 2009，国际标准图书编号978-0-7695-3678-1 [目录]
2008
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/Gillenwater MSZTGO08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/GillenwaterMSZTGO08
詹妮弗·吉伦沃特,格雷戈里·马莱查,谢里夫·萨拉马,安吉拉·朱云（Angela Yun Zhu）,瓦利德·塔哈,吉姆·格兰迪,约翰·奥利里:
可合成的高级硬件描述：使用静态类型的两级语言来保证verilog的可合成性。政治公众人物 2008:41-50
2007
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/EckhardtKPST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/EckhardtKPST07
杰森·埃克哈特,鲁门·凯亚巴切夫,埃米尔·帕萨利克,Kedar N.斯瓦迪,瓦利德·塔哈:
隐式异构多阶段编程。新一代。计算。 25(三):305-336(2007)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/SiekT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/SiekT07
杰里米·西克,瓦利德·塔哈:
对象的渐变键入。 ECOOP公司 2007:2-27
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/KaiabachevTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/KaiabachevTZ07
鲁门·凯亚巴切夫,瓦利德·塔哈,安吉拉·朱云（Angela Yun Zhu）:
具有优先权的E-FRP。 EMSOFT公司 2007:221-230
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gttse/塔哈07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gttse/Taha07网址
瓦利德·塔哈:
多阶段编程简介，第二部分。 GTTSE公司 2007:260-290
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/FogartyPST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/FogartyPST07
塞斯·福格蒂,埃米尔·帕萨利克,杰里米·西克,瓦利德·塔哈:
Concoqtion：索引类型现在！政治公众人物 2007:112-121
[c28]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/EllnerT07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/EllnerT07
斯蒂芬·埃尔纳,瓦利德·塔哈:
图形语言的语义。政治公众人物 2007:122-133
2006
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/LengauerT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/LengauerT06
克里斯蒂安·伦高,瓦利德·塔哈:
前言。科学。计算。程序。 62(1):1-2(2006)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/SiekT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/SiekT06
杰里米·西克,瓦利德·塔哈:
C++模板的语义分析。 ECOOP公司 2006:304-327
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pem/SwadiTKP06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/SwadiTKP06网站
Kedar N.斯瓦迪,瓦利德·塔哈,奥列格·基塞利约夫,埃米尔·帕萨利克:
暂存已记忆函数时避免代码重复的一元方法。政治公众人物 2006:160-169
2005
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/EckhardtKPST05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/EckhardtKPST05
杰森·埃克哈特,鲁门·凯亚巴切夫,埃米尔·帕萨利克,Kedar N.斯瓦迪,瓦利德·塔哈:
隐式异构多阶段编程。 GPCE公司 2005:275-292
2004
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/KiselyovST04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/KiselyovST04
奥列格·基塞利约夫,Kedar N.斯瓦迪,瓦利德·塔哈:
生成经过验证的组合电路的方法。 EMSOFT公司 2004:249-258
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CalcagnoMT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CalcagnoMT04
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉,瓦利德·塔哈:
分类器的类ML推理。员工持股计划 2004:79-93
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icess/Tah04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icess/Taha04
瓦利德·塔哈:
资源软件编程。 ICESS公司 2004:38-43
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icess/KiselyovT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icess/KiselyovT04
奥列格·基塞利约夫,瓦利德·塔哈:
关联FFTW和分裂基数。 ICESS公司 2004:488-493
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/格雷罗PRST04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/GuerreroPRST04
米格尔·盖雷罗,爱德华·皮兹,罗伯特·罗森鲍姆,Kedar N.斯瓦迪,瓦利德·塔哈:
在metaOCaml中实现DSL。 OOPSLA指南 2004:41-42
2003
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Taha03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Taha03网站
瓦利德·塔哈:
程序生成的语义、应用和实现。 J.功能。程序。 13(三):453-454(2003)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Taha03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Taha03a网站
瓦利德·塔哈:
丹尼尔·弗里德曼（Daniel P.Friedman）、米切尔·旺德（Mitchell Wand）和克里斯托弗·海恩斯（Christopher T.Haynes）合著的《编程语言精要》（第二版），麻省理工学院出版社，ISBN 0-262-06217-8，2001年。 J.功能。程序。 13(4):829-831(2003)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/塔哈03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Taha03网址
瓦利德·塔哈:
多阶段编程简介。领域特定程序生成 2003:30-50
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/CzarneckiOST03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/CzarneckiOST03
克日什托夫·恰尔内茨基,约翰·T·奥唐纳,约格·斯特里格尼茨,瓦利德·塔哈:
MetaOCaml、Template Haskell和C++中的DSL实现。特定于域的程序生成 2003:51-72
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/TahaEX03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/TahaEX03
瓦利德·塔哈,斯蒂芬·埃尔纳,西红卫:
在功能设置中生成堆绑定程序。 EMSOFT公司 2003:340-355
[c16]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/CalcagnoTHL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/CalcagnoTHL03
克里斯蒂亚诺·卡尔加诺,瓦利德·塔哈,黄立文,泽维尔·勒罗伊:
使用AST、Gensym和Reflection实现多阶段语言。 GPCE公司 2003:57-76
[c15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/TahaJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/TahaJ03
瓦利德·塔哈,帕特里夏·约翰:
分阶段符号定义。 GPCE公司 2003:97-116
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TahaN03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TahaN03网址
瓦利德·塔哈,迈克尔·弗洛伦丁·尼尔森:
环境分类器。府绸 2003:26-37
2002
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/PasalicTS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/PasalicTS02
埃米尔·帕萨利克,瓦利德·塔哈,蒂姆·谢尔德:
打字语言的无标签分阶段口译员。 ICFP公司 2002:218-229
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WanTH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WanTH02
战勇丸,瓦利德·塔哈,保罗·哈达克:
事件驱动FRP。焊盘 2002:155-172
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/奥斯特罗夫斯基PT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/OstrovskyPT02
卡罗尔·奥斯特罗夫斯基,K.V.S.普拉萨德,瓦利德·塔哈:
广播系统的原始高阶演算。 PPDP（PPDP） 2002:2-13
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/2002
唐·S·巴托里,查尔斯·康塞尔,瓦利德·塔哈:
生成性编程和组件工程，ACM SIGPLAN/SIGSOFT会议，GPCE 2002，匹兹堡，宾夕法尼亚州，美国，2002年10月6-8日，会议记录。计算机科学课堂讲稿2487,施普林格 2002，国际标准图书编号3-540-44284-7 [目录]
2001
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/TahaHW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/TahaHW01
瓦利德·塔哈,保罗·哈达克,战勇丸:
实时应用程序函数编程指南。 EMSOFT公司 2001:185-203
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GanzST01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GanzST01
史蒂文·甘兹,Amr Sabry公司,瓦利德·塔哈:
作为多级计算的宏：MacroML中的类型安全、生成、绑定宏。 ICFP公司 2001:74-85
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/WanTH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/WanTH01
战勇丸,瓦利德·塔哈,保罗·哈达克:
实时FRP。 ICFP公司 2001:146-156
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pado/TahaMH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pado/TahaMH01
瓦利德·塔哈,亨宁·马克霍姆,约翰·休斯:
标签消除和Jones优化。 PADO公司 2001:257-275
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saig/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saig/2001
瓦利德·塔哈:
《程序生成的语义、应用和实现》，第二届国际研讨会，SAIG 2001，意大利佛罗伦萨，2001年9月6日，会议记录。计算机科学课堂讲稿2196,施普林格 2001，国际标准图书编号3-540-42558-6 [目录]
2000
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/TahaS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/TahaS00
瓦利德·塔哈,蒂姆·谢尔德:
MetaML和带有显式注释的多阶段编程。理论。计算。科学。 248(1-2):211-242(2000)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CalcagnoMT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CalcagnoMT00
克里斯蒂亚诺·卡尔加诺,尤金尼奥·莫吉,瓦利德·塔哈:
封闭类型是安全的强制多阶段编程的简单方法。 ICALP公司 2000:25-36
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/Taha00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/Taha00
瓦利德·塔哈:
一种用于非类型CBN多级计算的降噪语义。或者，MetaML的理论是非平凡的（扩展抽象）。政治公众人物 2000:34-43
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saig/2000年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saig/2000
瓦利德·塔哈:
《程序生成的语义、应用和实现》，SAIG 2000国际研讨会，加拿大蒙特利尔，2000年9月20日，会议记录。计算机科学课堂讲稿1924,施普林格 2000，国际标准图书编号3-540-41054-6 [目录]

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【b1】
- 看法
  - 电子版@kb.se
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/硕士/塔哈99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/se/Taha99
瓦利德·塔哈:
多阶段编程：理论与应用。瑞典哈尔姆斯塔德大学，1999
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/MoggiTBS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/MoggiTBS99
尤金尼奥·莫吉,瓦利德·塔哈,Zine-El-Abidine Benaissa公司,蒂姆·谢尔德:
理想化的MetaML：更简单，更具表现力。员工持股计划 1999:193-207
1998
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/TahaBS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/TahaBS98
瓦利德·塔哈,Zine-El-Abidine Benaissa公司,蒂姆·谢尔德:
多阶段编程：公理化和类型安全。 ICALP公司 1998:918-929
1997
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/TahaS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/TahaS97
瓦利德·塔哈,蒂姆·谢尔德:
多阶段编程。 ICFP公司 1997:321
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/TahaS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/TahaS97
瓦利德·塔哈,蒂姆·谢尔德:
带有显式注释的多级编程。政治公众人物 1997:203-217

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。