保罗·布劳纳
人员信息
优化列表
2010 – 2019
2016 [j3] 瓦利德·塔哈 , 曾英福 , 亚当·杜拉茨 , 费旭 , 凯文·阿特金森 , 保罗·布劳纳 , 罗伯特·卡特赖特 , 罗兰·菲利普森 :
开发关于网络物理系统的第一门课程。 SIGBED版本。 14 ( 1 ) : 44-52 ( 2016 ) 2015 [c8] 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2014 【c7】 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 玛西娅·基尔琴曼·奥马利 , 罗伯特·卡特赖特 :
网络物理系统建模基本方面,第二部分(扩展摘要)。 HPCC/CSS/ICESS公司 2014 : 550-557 [i1] 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 马西娅·奥马利 , 罗伯特·卡特赖特 :
网络物理系统的建模基本方面,第二部分。 CoRR公司 abs/1408.1110 ( 2014 ) 2012 【c6】 瓦利德·塔哈 , 保罗·布劳纳 , 曾英福 , 罗伯特·卡特赖特 , 维罗尼卡·加斯佩斯 , 亚伦·D·艾姆斯 , 亚历山大·查普特 :
网络物理系统可执行模型的核心语言(初步报告)。 ICDCS研讨会 2012 : 303-308 2011 [注2] 瓦利德·塔哈 , 保罗·布劳纳 , 罗伯特·卡特赖特 , 维罗尼卡·加斯佩斯 , 亚伦·D·艾姆斯 , 亚历山大·查普特 :
网络物理系统可执行模型的核心语言:工作进度报告。 SIGBED版本。 8 ( 2 ) : 39-43 ( 2011 ) 【c5】 埃德温·韦斯特布鲁克 , 尼古拉斯·弗里斯比 , 保罗·布劳纳 :
Haskell的Hobbits:函数编程语言中的高阶编码库。 哈斯克尔 2011 : 35-46
2000 – 2009
2009 [j1] 法布里斯·纳洪 , 克洛德·基什内尔 , 赫莱内·基什内尔 , 保罗·布劳纳 :
防感应搜索模块。 安。数学。 Artif公司。 智力。 55 ( 1-2 ) : 123-154 ( 2009 ) 2007 【c4】 保罗·布劳纳 , 克莱门·霍特曼 , 克洛德·基什内尔 :
工作中的额外扣除。 重写、计算和证明 2007 : 132-166 【c3】 保罗·布劳纳 , 克莱门·霍特曼 , 克洛德·基什内尔 :
叠加原理。 低收入国家 2007 : 41-50 【c2】 艾米莉·巴拉德 , 保罗·布劳纳 , 拉杜·科佩兹 , Pierre-Etienne Moreau公司 , 安托万·雷尔斯 :
汤姆:Piggybacking重写Java。 区域贸易协定 2007 : 36-47 【c1】 艾米莉·巴拉德 , 保罗·布劳纳 :
使用相对位置在Tom中重写术语图。 TERMGRAPH@ETAPS(预计到达时间) 2007 : 3-17