×
作者ID: 威勒·罗伯特“Wille,Robert”最近发表的zbMATH文章
发布日期: 罗伯特·威利
外部链接: 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 埃琳娜·泽纳罗

按年份列出的出版物

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位作者

按年份列出的引文