编辑配置文件(在新选项卡中打开) 罗伯特·威利 合著者距离 作者ID: 威勒·罗伯特 发布日期: 罗伯特·威利 外部链接: MGP公司·ORCID公司 已编制索引的文档: 40出版物自2004年以来,包括3本书 4作为编辑的贡献 合著者: 57位合著者具有43联合出版物 554位合作作者 全部的 前5名合著者 0 单作者的 21 罗尔夫·德雷克斯勒 7 菲利普·尼曼 6 阿尔文·祖勒纳 5 马蒂亚斯·苏肯 4 森·古普塔(Sen Gupta,Indranil) 三 卡马利卡·达塔 2 扎伊德·阿尔·沃迪 2 卢卡斯·勃格霍尔泽 2 丹尼尔·格罗斯 2 阿卜霍伊·科尔 2 亚伦·赖伊 2 新池敏人 2 哈菲祖尔·拉哈曼 1 纳比拉·阿卜杜塞德 1 Saikat巴苏 1 哈特维格·鲍尔 1 巴塔查里亚,巴加布·比克拉姆 1 弗兰兹·伯恩 1 阿姆兰·查克拉巴蒂 1 阿努帕姆Chattopadhyay 1 约阿希姆·克莱门斯 1 德贝什·K·达斯。 1 亚历克西斯·德沃斯 1 阿利格纳·德布 1 基尔西库马拉·德瓦拉耶戈达 1 罗尔夫·德雷施勒 1 杰哈德·杜克(Gerhard W.Dueck)。 1 沃尔夫冈·埃克尔 1 斯特凡·加斯尔 1 费利克斯·G·杰梅因哈特。 1 安德烈亚斯·格里默 1 马吉德·哈格帕拉斯特 1 斯特凡·希尔米奇 1 Yuma井上 1 尼拉杰·库马尔·杰哈 1 奥利弗·凯斯科兹 1 汉斯·约尔格·克鲁斯基 1 乌尔里希·库恩 1 萨宾·库斯克 1 马丁·卢卡克 1 D.迈克尔·米勒 1 蒙法雷德,阿斯玛·塔赫里 1 埃多亚多·莫斯卡 1 拉尔斯·奥瑟默 1 尼尔斯·奎奇里奇 1 高拉夫·拉蒂 1 鲁迪·雷蒙德 1 迈赫迪·赛迪 1 朱莉娅·塞特 1 洛伦佐·塞瓦迪 1 弗洛里安·施特格米勒 1 Surhonne、Anmol Prakash 1 迈克尔·柯克达尔·汤姆森 1 伊雷克·乌利多夫斯基 1 迈克尔·沃纳 1 曼纽尔·威默 1 靖国神社 1 埃琳娜·泽纳罗 全部的 前5名系列 5 量子信息处理 三 多值逻辑与软计算杂志 1 电气电子工程师学会计算机期刊 1 国际近似推理杂志 1 计算机科学课堂讲稿 1 潘姆。应用数学与力学学报 1 电气工程课堂讲稿 1 施普林格物理学简报 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名字段 36 计算机科学(68-XX) 29 量子理论(81-XX) 13 信息与通信理论、电路(94-XX) 三 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 21出版物有被引用74中的次62文件 引用人▼ 年份▼ 线性最近邻结构的量子电路合成。 Zbl 1216.81052号 迈赫迪·赛迪;罗伯特·威利;罗尔夫·德雷克斯勒 27 2011 朝向可逆逻辑的设计流程。 Zbl 1210.94123号 罗伯特·威利;罗尔夫·德雷克斯勒 9 2010 使用额外的电路线减少量子电路的深度。 兹比尔1406.68023 纳比拉·阿卜杜塞德;罗伯特·威利;马蒂亚斯·苏肯;罗尔夫·德雷克斯勒 7 2013 面向量子可逆三值编码十进制加法器。 Zbl 1387.81153号 马吉德·哈格帕拉斯特;罗伯特·威利;蒙法雷德,阿斯玛·塔赫里 4 2017 改进可逆电路的综合:利用QMDD路径和节点中的冗余。 Zbl 1487.81054号 阿尔文·祖勒纳;罗伯特·威利 三 2017 由SAT解算器引导的图形变换单元。 Zbl 1306.68080号 汉斯·约尔格·克鲁斯基;萨宾·库斯克;罗伯特·威利 三 2010 编码OCL数据类型,用于基于SAT的UML/OCL模型验证。 Zbl 1335.68070号 马蒂亚斯·苏肯;罗伯特·威利;罗尔夫·德雷克斯勒 三 2011 Clifford+T电路的高级精确合成。 Zbl 1509.81291号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 2 2020 检查布尔函数的可逆性。 兹比尔1480.94058 罗伯特·威利;亚伦·赖伊;菲利普·尼曼 2 2016 使用量子多值决策图对量子电路进行性能检查。 Zbl 1451.68179号 朱莉娅·赛特;马蒂亚斯·苏肯;罗伯特·威利;罗尔夫·德雷克斯勒 2 2013 在可逆电路优化中利用负控制线。 Zbl 1406.68024号 卡马利卡·达塔;高拉夫·拉蒂;罗伯特·威利;因德拉尼尔·森古普塔;哈菲祖尔·拉哈曼;罗尔夫·德雷克斯勒 2 2013 对有界模型检查中的先行调试使用冲突分析。 Zbl 1160.68440号 丹尼尔·格罗斯;罗伯特·威尔;乌尔里希·库恩;罗尔夫·德雷克斯勒 1 2008 可逆电路中最近邻约束的成本度量。 Zbl 1464.81021号 阿卜霍伊·科尔;卡马利卡·达塔;因德拉尼尔·森古普塔;罗伯特·威利 1 2015 评估(mathrm{A}^*\)映射量子电路的灵活性。 Zbl 1527.68017号 阿尔文·祖勒纳;哈特维格·鲍尔;罗伯特·威利 1 2019 基本量子门电路的精确综合。 Zbl 1236.94098号 丹尼尔·格罗斯;罗伯特·威利;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 1 2009 使用\({\mathrm{A}}^{*}\)对最近邻量子电路进行精确的全局重新排序。 Zbl 1487.81053号 阿尔文·祖勒纳;斯特凡·加斯尔;罗伯特·威利 1 2017 使用\(\pi\)DDs进行量子电路的最近邻优化。 Zbl 1480.81032号 罗伯特·威利;尼尔斯·奎奇利奇;Yuma井上;靖国神社;新池敏人 1 2016 多级量子系统中的等价性检查。 Zbl 1417.81096号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 1 2014 在可逆电路设计中使用DD。 Zbl 1451.68107号 马蒂亚斯·苏肯;罗伯特·威利;新一町美人町;罗尔夫·德雷克斯勒 1 2013 在可逆电路级考虑量子电路的最近邻约束。 Zbl 1291.81113号 罗伯特·威利;亚伦·赖伊;罗尔夫·德雷克斯勒 1 2014 基于QMDD的可逆逻辑单程设计:探索可用自由度(工作-过程报告)。 兹比尔1515.68136 阿尔文·祖勒纳;罗伯特·威利 1 2018 Clifford+T电路的高级精确合成。 Zbl 1509.81291号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 2 2020 评估(mathrm{A}^*\)映射量子电路的灵活性。 Zbl 1527.68017号 阿尔文·祖勒纳;哈特维格·鲍尔;罗伯特·威利 1 2019 基于QMDD的可逆逻辑单程设计:探索可用自由度(工作-过程报告)。 Zbl 1515.68136号 阿尔文·祖勒纳;罗伯特·威利 1 2018 面向量子可逆三值编码十进制加法器。 Zbl 1387.81153号 马吉德·哈格帕拉斯特;罗伯特·威利;蒙法雷德,阿斯玛·塔赫里 4 2017 改进可逆电路的综合:利用QMDD路径和节点中的冗余。 Zbl 1487.81054号 祖勒纳,阿尔温;罗伯特·威利 三 2017 使用\({\mathrm{A}}^{*}\)对最近邻量子电路进行精确的全局重新排序。 Zbl 1487.81053号 阿尔文·祖勒纳;斯特凡·盖瑟;罗伯特·威利 1 2017 检查布尔函数的可逆性。 Zbl 1480.94058号 罗伯特·威利;亚伦·赖伊;菲利普·尼曼 2 2016 使用\(\pi\)DDs进行量子电路的最近邻优化。 Zbl 1480.81032号 罗伯特·威利;尼尔斯·奎奇里奇;井上由马;靖国神社;新池敏人 1 2016 可逆电路中最近邻约束的成本度量。 Zbl 1464.81021号 阿卜霍伊·科尔;卡马利卡·达塔;因德拉尼尔·森古普塔;罗伯特·威利 1 2015 多级量子系统中的等价性检查。 Zbl 1417.81096号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 1 2014 在可逆电路级考虑量子电路的最近邻约束。 Zbl 1291.81113号 罗伯特·威利;亚伦·赖伊;罗尔夫·德雷克斯勒 1 2014 使用额外的电路线减少量子电路的深度。 Zbl 1406.68023号 纳比拉·阿卜杜塞德;罗伯特·威利;马蒂亚斯·苏肯;罗尔夫·德雷克斯勒 7 2013 使用量子多值决策图对量子电路进行性能检查。 Zbl 1451.68179号 朱莉娅·塞特;马蒂亚斯·苏肯;罗伯特·威利;罗尔夫·德雷克斯勒 2 2013 在可逆电路的优化中利用负控制线。 Zbl 1406.68024号 卡马利卡·达塔;高拉夫·拉蒂;罗伯特·威利;印度森古普塔;哈菲祖尔·拉哈曼;罗尔夫·德雷克斯勒 2 2013 在可逆电路设计中使用DD。 Zbl 1451.68107号 马蒂亚斯·苏肯;罗伯特·威利;新一町美人町;罗尔夫·德雷克斯勒 1 2013 线性最近邻结构的量子电路合成。 Zbl 1216.81052号 迈赫迪·赛迪;罗伯特·威利;罗尔夫·德雷克斯勒 27 2011 编码OCL数据类型,用于基于SAT的UML/OCL模型验证。 兹比尔1335.68070 马蒂亚斯·苏肯;罗伯特·威利;罗尔夫·德雷克斯勒 三 2011 朝向可逆逻辑的设计流程。 Zbl 1210.94123号 罗伯特·威利;罗尔夫·德雷克斯勒 9 2010 由SAT解算器引导的图形变换单元。 Zbl 1306.68080号 汉斯·约尔格·克鲁斯基;萨宾·库斯克;罗伯特·威利 三 2010 基本量子门电路的精确综合。 Zbl 1236.94098号 丹尼尔·格罗斯;罗伯特·威利;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 1 2009 对有界模型检查中的先行调试使用冲突分析。 Zbl 1160.68440号 丹尼尔·格罗斯;罗伯特·威利;乌尔里希·库恩;罗尔夫·德雷克斯勒 1 2008 所有引用出版物 排名前五的出版物 全部的 前5名被143位作者引用 7 罗伯特·威利 4 罗尔夫·德雷克斯勒 三 程雪云 三 罗伯特·格莱克 三 关志进 三 马吉德·哈格帕拉斯特 三 亚伦·赖伊 三 横山,铁雄 三 德米特里五世·扎卡布卢科夫。 2 伊姆蒂亚斯·艾哈迈德 2 穆罕默德·阿尔法拉卡维 2 莱拉阿尔特卡维 2 霍尔格·博克·阿克塞尔森 2 卡马利卡·达塔 2 亚历克西斯·德沃斯 2 哈姆丹,苏哈 2 瑞科·赫克尔 2 Yuma井上 2 汉斯·约尔格·克鲁斯基 2 普雷西卡库马尔 2 新池敏人 2 蒙法雷德,阿斯玛·塔赫里 2 玛丽亚姆·加法里·萨达特 2 英明生 1 本斯拉马·阿查尔 1 艾米、马修 1 蒙娜·阿拉布扎德 1 托马斯·阿特玛 1 斯利马尼·阿尤布 1 本杰明·巴兰 1 阿尼尔班·巴萨克 1 哈特维格·鲍尔 1 尼古拉斯·贝尔 1 西迪·穆罕默德·贝拉希 1 肖姆·本·达维德 1 阿里·博尔哈桑尼 1 Andrew M.Childs。 1 伊琳娜·奇斯科普 1 Choi、Byung-Soo 1 瓦伦蒂娜·齐里亚尼 1 科普特语,法迪语 1 崔兴山 1 达斯,库纳尔 1 西蒙·德维特。 1 丁伟平 1 A.E.多罗宁。 1 冯世光 1 Celina M.H.Figueiredo。 1 达纳·菲斯曼 1 加里吉帕蒂、鲁德雷亚·乔达里 1 Prasun Ghosal公司 1 Andrew N.Glaudell。 1 亚当·格洛斯 1 塞耶德·阿贝德·侯赛尼 1 黄欣 1 黄永洙 1 何塞·路易斯·伊马尼亚 1 伊藤武弘 1 乔伊·丁顿 1 K.V.、Adwaith 1 罗宾·卡斯加德 1 内奥诺里·卡基穆拉 1 康斯坦丁·维克托洛维奇·卡金 1 Naoyuki神山 1 赤顺县金山 1 佩特拉·考夫曼 1 奥利弗·凯斯科兹 1 Lauri Kettunen 1 小林,Yusuke 1 科拉杜兹·拉希米(Kolahdouz-Rahimi)、谢库夫(Shekoufeh) 1 阿卜霍伊·科尔 1 巴巴拉·科尼格 1 马丁·克罗内格 1 萨宾·库斯克 1 莱恩·兰伯斯 1 凯文·拉诺 1 李,贾 1 李茂多 1 李莎拉·孟 1 李晓宇 1 李扬志 1 李玉刚 1 刘俊义 1 刘雯 1 刘,杨 1 罗庆斌 1 M.萨比尔 1 马海英 1 穆罕默德·尤斯里·马哈茂德 1 马奎奇诺(F.L.Marquezino)。 1 D.迈克尔·米勒 1 扎赫拉·米尔卡尼 1 雅罗斯瓦夫·亚当·米兹扎克 1 纳赛尔·穆罕默德扎德 1 萨拉朱·莫汉蒂。 1 杰西·穆德里吉 1 马克西姆·奈德科恩 1 凯·内莫托 1 菲利普·尼曼 1 诺尔特,丹尼斯 …还有43位作者 全部的 前5名14篇连载文章中引用 20 量子信息处理 5 国际理论物理杂志 三 理论计算机科学 2 计算机与系统科学杂志 2 计算的形式方面 1 莫斯科大学数学通报 1 信息与计算 1 系统设计中的形式化方法 1 开放系统与信息动力学 1 自然计算 1 计算机语言、系统和结构 1 物理学报A:数学与理论 1 Diskretny®Analiz i Issledovanie Operati® 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 41 量子理论(81-XX) 38 计算机科学(68-XX) 16 信息与通信理论、电路(94-XX) 4 数学逻辑和基础(03-XX) 三 群论与推广(20-XX) 2 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环与代数(17-XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文