编辑配置文件(在新选项卡中打开) 罗尔夫·德雷克斯勒 合著者距离 作者ID: drechsler.rolf公司 发布日期: 罗尔夫·德雷克斯勒;R·德雷克斯勒。 外部链接: 逆戟鲸·数据库许可证 已编制索引的文档: 76出版物自1995年以来,包括9本书 11作为编辑的贡献 合著者: 62位合著者具有78联合出版物 489名合著者 全部的 前5名合著者 7 单作者的 21 罗伯特·威利 13 丹尼尔·格罗 13 索肯,马蒂亚斯 11 贝恩德·贝克尔 8 沃尔夫冈·Günther 7 菲利普·尼曼 5 纳比拉·阿卜杜塞德 5 尼科尔·德雷克斯勒 5 格什温·菲 4 弗兰克·施密德 三 卡马利卡·达塔 三 奥利弗·凯斯科兹 三 森·古普塔(Sen Gupta,Indranil) 三 拉尔夫·沃奇纳 2 扎伊德·阿尔瓦迪 2 杰哈德·杜克(Gerhard W.Dueck)。 2 埃格斯格鲁,斯蒂芬 2 马丁·凯姆 2 阿卜霍伊·科尔 2 Le,Hoang Mai村 2 Alireza Mahzoon 2 Massoud,康复中心 2 米勒,D.迈克尔 2 保罗·莫里托 2 拉哈曼,哈菲祖尔 2 迈克尔·西奥博尔德 2 迈克尔·柯克达尔·汤姆森 1 艾米、马修 1 巴塔查里亚,巴加布·比克拉姆 1 罗德里克·布洛姆 1 Das,Debesh K。 1 阿利格纳·德布 1 吕迪格埃本特 1 托马斯·埃什巴赫 1 哈里奇,蒂洛 1 弗拉基米尔·赫特 1 斯特凡·Höreth 1 塞巴斯蒂安·胡恩 1 Janković,Dragan S。 1 乌尔里希·库恩 1 亚伦·赖伊 1 蒂姆·梅沃克 1 新池敏人 1 Müller,卢卡 1 拉尔斯·奥瑟默 1 高拉夫·拉蒂 1 安德烈·伊纳西奥·里斯 1 迈赫迪·赛迪 1 肖恩·萨法珀 1 莫伊恩·萨瓦哈德·莫哈达姆 1 延斯·施罗德 1 肯尼思·施密茨 1 朱莉娅·塞特 1 西林,德特勒夫 1 停下,Jannis 1 安德烈·苏尔弗洛 1 劳拉·塔格 1 蒂勒,D。 1 伊雷克·乌利多夫斯基 1 安德烈亚斯·维尼里斯(Andreas G.Veneris)。 1 马赛尔·沃尔特 1 阿尔文·祖勒纳 1 阿伦卡·朱泽克 全部的 前5名系列 5 集成。超大规模集成电路杂志 4 多值逻辑 三 信息处理信件 三 量子信息处理 三 多值逻辑与软计算杂志 2 电气电子工程师学会计算机期刊 1 人工智能 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 自动化和远程控制 1 系统设计中的形式化方法 1 it+ti.信息技术和技术信息 1 遗传算法与进化计算 1 可满足性、布尔建模与计算杂志 1 电气工程课堂讲稿 全部的 前5名领域 72 计算机科学(68至XX) 34 信息与通信理论、电路(94-XX) 21 量子理论(81-XX) 6 总体主题;集合(00-XX) 三 组合数学(05-XX) 2 数理逻辑与基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用127中的次109文件 引用人▼ 年份▼ 线性最近邻结构的量子电路合成。 Zbl 1216.81052号 迈赫迪·赛迪;罗伯特·威利;罗尔夫·德雷克斯勒 28 2011 朝向可逆逻辑的设计流程。 Zbl 1210.94123号 罗伯特·威利;罗尔夫·德雷克斯勒 9 2010 理论和实践中的二元决策图。 Zbl 1002.68583号 罗尔夫·德雷克斯勒;西林,德特勒夫 7 2001 将NCV电路映射到优化的Clifford(+T)电路。 Zbl 1417.94132号 米勒,D.迈克尔;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 7 2014 使用额外的电路线减少量子电路的深度。 Zbl 1406.68023号 纳比拉·阿卜杜塞德;罗伯特·威利;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 7 2013 可逆电路的复杂性及其量子实现。 兹比尔1335.68093 纳比拉·阿卜杜塞德;艾米、马修;罗尔夫·德雷克斯勒;索肯,马蒂亚斯 6 2016 基于Young子群的可逆电路的上界。 Zbl 1285.94134号 纳比拉·阿卜杜塞德;索肯,马蒂亚斯;迈克尔·柯克达尔·汤姆森;罗尔夫·德雷克斯勒 6 2014 关于BDD和FDD之间的关系。 Zbl 0839.68022号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;拉尔夫·沃奇纳 4 1995 使用二元决策图进行大型可逆函数的无需辅助合成。 Zbl 1336.68310号 索肯,马蒂亚斯;劳拉·塔格;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 4 2016 固定极性Reed-Muller表达式的快速OFDD最小化。 Zbl 1057.94520号 罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 4 1996 OFDD的可满足性问题。 Zbl 0849.68057号 拉尔夫·沃奇纳;哈里奇,蒂洛;罗尔夫·德雷克斯勒;贝恩德·贝克尔 三 1996 使用不可满足的内核调试设计错误。 Zbl 1156.68315号 安德烈·苏尔弗洛;格什温·菲;罗德里克·布洛姆;罗尔夫·德雷克斯勒 三 2008 编码OCL数据类型,用于UML/OCL模型的基于SAT的验证。 Zbl 1335.68070号 索肯,马蒂亚斯;罗伯特·威利;罗尔夫·德雷克斯勒 三 2011 加权搜索-统一视图和应用程序。 Zbl 1194.68207号 吕迪格·埃本特;罗尔夫·德雷克斯勒 三 2009 对称函数的伪Kronecker表达式。 Zbl 1391.94910号 罗尔夫·德雷克斯勒 三 1999 高级形式验证。 Zbl 1071.68060号 三 2004 验证决策图的完整性。 Zbl 1011.68151号 罗尔夫·德雷克斯勒 2 2002 使用量子多值决策图对量子电路进行性能检查。 Zbl 1451.68179号 朱莉娅·塞特;索肯,马蒂亚斯;罗伯特·威利;罗尔夫·德雷克斯勒 2 2013 通过窗口优化减少交叉。 Zbl 1037.68583号 托马斯·埃什巴赫;沃尔夫冈·Günther;罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 2002 基于图形的函数表示。布尔函数和伪布尔函数。(Graphenbasierte Funktionsdarstellung.Boolesche和Pseudo-Boolesche Funktitonen) 兹比尔0914.06004 罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 1998 Clifford+T电路的高级精确合成。 Zbl 1509.81291号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 2 2020 在可逆电路优化中利用负控制线。 Zbl 1406.68024号 卡马利卡·达塔;高拉夫·拉蒂;罗伯特·威利;因德拉尼尔·森古普塔;拉哈曼,哈菲祖尔;罗尔夫·德雷克斯勒 2 2013 自动测试模式生成。 兹比尔1182.68019 罗尔夫·德雷克斯勒;格什温·菲 1 2006 对有界模型检查中的先行调试使用冲突分析。 Zbl 1160.68440号 丹尼尔·格罗;罗伯特·威利;乌尔里希·库恩;罗尔夫·德雷克斯勒 1 2008 使免费BDD最小化。 Zbl 1009.68199号 沃尔夫冈·Günther;罗尔夫·德雷克斯勒 1 2002 线性变换BDD的计算能力。 兹比尔1338.68073 沃尔夫冈·Günther;罗尔夫·德雷克斯勒 1 2000 现代设计流程中的健壮性和可用性。 Zbl 1198.93002号 格什温·菲;罗尔夫·德雷克斯勒 1 2008 基本量子门电路的精确综合。 Zbl 1236.94098号 丹尼尔·格罗;罗伯特·威利;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 1 2009 在可逆电路设计中使用DD。 Zbl 1451.68107号 索肯,马蒂亚斯;罗伯特·威利;新一町美人町;罗尔夫·德雷克斯勒 1 2013 量子电路的哈达玛门简化优化。 Zbl 1417.81077号 纳比拉·阿卜杜塞德;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 1 2014 多级量子系统中的等价性检查。 Zbl 1417.81096号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 1 2014 使用遗传编程进行量子电路的多目标合成。 Zbl 1515.81071号 莫伊恩·萨瓦哈德·莫哈达姆;菲利普·尼曼;罗尔夫·德雷克斯勒 1 2018 电路的正式验证。 兹比尔1062.68076 罗尔夫·德雷克斯勒 1 2000 乘数的多项式形式验证。 Zbl 1033.68075号 马丁·凯姆;罗尔夫·德雷克斯勒;贝恩德·贝克尔;迈克尔·马丁;保罗·莫里托 1 2003 GAME-HDL:使用硬件描述语言实现进化算法。 Zbl 1033.68621号 罗尔夫·德雷克斯勒;尼科尔·德雷克斯勒 1 2003 OKFDD与OBDD和OFDD的比较。 兹伯利1412.68046 贝恩德·贝克尔;罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 1 1995 在可逆电路级考虑量子电路的最近邻约束。 Zbl 1291.81113号 罗伯特·威利;亚伦·赖伊;罗尔夫·德雷克斯勒 1 2014 Clifford+T电路的高级精确合成。 Zbl 1509.81291号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 2 2020 使用遗传编程进行量子电路的多目标合成。 Zbl 1515.81071号 Sarvaghad Moghaddam,莫因;菲利普·尼曼;罗尔夫·德雷克斯勒 1 2018 可逆电路的复杂性及其量子实现。 Zbl 1335.68093号 纳比拉·阿卜杜塞德;艾米、马修;罗尔夫·德雷克斯勒;索肯,马蒂亚斯 6 2016 使用二元决策图进行大型可逆函数的无需辅助合成。 Zbl 1336.68310号 索肯,马蒂亚斯;劳拉·塔格;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 4 2016 将NCV电路映射到优化的Clifford(+T)电路。 Zbl 1417.94132号 米勒,D.迈克尔;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 7 2014 基于Young子群的可逆电路的上界。 Zbl 1285.94134号 纳比拉·阿卜杜塞德;索肯,马蒂亚斯;迈克尔·柯克达尔·汤姆森;罗尔夫·德雷克斯勒 6 2014 量子电路的哈达玛门简化优化。 Zbl 1417.81077号 纳比拉·阿卜杜塞德;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 1 2014 多级量子系统中的等价性检查。 Zbl 1417.81096号 菲利普·尼曼;罗伯特·威利;罗尔夫·德雷克斯勒 1 2014 在可逆电路级考虑量子电路的最近邻约束。 Zbl 1291.81113号 罗伯特·威利;亚伦·赖伊;罗尔夫·德雷克斯勒 1 2014 使用额外的电路线减少量子电路的深度。 兹比尔1406.68023 纳比拉·阿卜杜塞德;罗伯特·威利;索肯,马蒂亚斯;罗尔夫·德雷克斯勒 7 2013 使用量子多值决策图对量子电路进行性能检查。 Zbl 1451.68179号 朱莉娅·塞特;索肯,马蒂亚斯;罗伯特·威利;罗尔夫·德雷克斯勒 2 2013 在可逆电路优化中利用负控制线。 Zbl 1406.68024号 卡马利卡·达塔;高拉夫Rathi;罗伯特·威利;因德拉尼尔·森古普塔;拉哈曼,哈菲祖尔;罗尔夫·德雷克斯勒 2 2013 在可逆电路设计中使用DD。 Zbl 1451.68107号 索肯,马蒂亚斯;罗伯特·威利;新一町美人町;罗尔夫·德雷克斯勒 1 2013 线性最近邻结构的量子电路合成。 Zbl 1216.81052号 迈赫迪·赛迪;罗伯特·威利;罗尔夫·德雷克斯勒 28 2011 编码OCL数据类型,用于UML/OCL模型的基于SAT的验证。 Zbl 1335.68070号 索肯,马蒂亚斯;罗伯特·威利;罗尔夫·德雷克斯勒 三 2011 朝向可逆逻辑的设计流程。 Zbl 1210.94123号 罗伯特·威利;罗尔夫·德雷克斯勒 9 2010 加权搜索-统一视图和应用程序。 Zbl 1194.68207号 吕迪格·埃本特;罗尔夫·德雷克斯勒 三 2009 基本量子门电路的精确综合。 Zbl 1236.94098号 丹尼尔·格罗;罗伯特·威利;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 1 2009 使用不可满足的内核调试设计错误。 Zbl 1156.68315号 安德烈·苏尔弗洛;格什温·菲;罗德里克·布洛姆;罗尔夫·德雷克斯勒 三 2008 对有界模型检查中的先行调试使用冲突分析。 Zbl 1160.68440号 丹尼尔·格罗;罗伯特·威利;乌尔里希·库恩;罗尔夫·德雷克斯勒 1 2008 现代设计流程中的健壮性和可用性。 Zbl 1198.93002号 格什温·菲;罗尔夫·德雷克斯勒 1 2008 自动生成测试模式。 Zbl 1182.68019号 罗尔夫·德雷克斯勒;格什温·菲 1 2006 高级形式验证。 Zbl 1071.68060号 三 2004 乘数的多项式形式验证。 Zbl 1033.68075号 马丁·凯姆;罗尔夫·德雷克斯勒;贝恩德·贝克尔;迈克尔·马丁;保罗·莫里托 1 2003 GAME-HDL:使用硬件描述语言实现进化算法。 Zbl 1033.68621号 罗尔夫·德雷克斯勒;尼科尔·德雷克斯勒 1 2003 验证决策图的完整性。 Zbl 1011.68151号 罗尔夫·德雷克斯勒 2 2002 通过窗口优化减少交叉。 Zbl 1037.68583号 托马斯·埃什巴赫;沃尔夫冈·Günther;罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 2002 使免费BDD最小化。 Zbl 1009.68199号 沃尔夫冈·Günther;罗尔夫·德雷克斯勒 1 2002 理论和实践中的二元决策图。 Zbl 1002.68583号 罗尔夫·德雷克斯勒;西林,德特勒夫 7 2001 关于线性变换BDD的计算能力。 Zbl 1338.68073号 沃尔夫冈·Günther;罗尔夫·德雷克斯勒 1 2000 电路的正式验证。 Zbl 1062.68076号 罗尔夫·德雷克斯勒 1 2000 对称函数的伪Kronecker表达式。 Zbl 1391.94910号 罗尔夫·德雷克斯勒 三 1999 基于图形的函数表示。布尔函数和伪布尔函数。(Graphenbasierte Funktionsdarstellung.Boolesche和Pseudo-Boolesche Funktitonen) Zbl 0914.06004号 罗尔夫·德雷克斯勒;贝恩德·贝克尔 2 1998 基于OFDD的快速固定极性Reed-Muller表达式最小化。 Zbl 1057.94520号 罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 4 1996 OFDD的可满足性问题。 Zbl 0849.68057号 拉尔夫·沃奇纳;哈里奇,蒂洛;罗尔夫·德雷克斯勒;贝恩德·贝克尔 三 1996 关于BDD和FDD之间的关系。 Zbl 0839.68022号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;拉尔夫·沃奇纳 4 1995 OKFDD与OBDD和OFDD。 Zbl 1412.68046号 贝恩德·贝克尔;罗尔夫·德雷克斯勒;迈克尔·西奥博尔德 1 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名234位作者引用 9 罗尔夫·德雷克斯勒 7 索肯,马蒂亚斯 7 罗伯特·威利 4 杰哈德·杜克(Gerhard W.Dueck)。 4 亚伦·赖伊 三 程雪云 三 乔瓦尼·德米凯利 三 吕迪格·埃勒斯 三 罗伯特·格莱克 三 关志进 三 马丁·洛宾 三 米勒,D.迈克尔 三 亨氏里纳 三 Bruno de O.施密特。 三 英戈·韦格纳 三 横山,铁雄 三 德米特里五世·扎卡布卢科夫。 2 阿卜杜赛义德,纳比拉 2 伊姆蒂亚斯·艾哈迈德 2 穆罕默德·阿尔法拉卡维 2 莱拉阿尔特卡维 2 艾米、马修 2 霍尔格·博克·阿克塞尔森 2 贝恩德·贝克尔 2 肖姆·本·达维德 2 贝特·博利格 2 Choi、Dooho 2 亚历克西斯·德沃斯 2 萨米亚潘·达纳拉克什米 2 加亚特里,S.S。 2 Haghpasat,马吉德 2 苏哈·哈姆丹 2 Yuma井上 2 罗宾·卡斯加德 2 考希克、布拉杰什·库马尔 2 汉斯·约尔格·克鲁斯基 2 普雷西卡库马尔 2 Lee,Jongheon先生 2 Lee,You-Seok先生 2 朱利亚·梅利 2 新池敏人 2 菲利普·尼曼 2 西林,德特勒夫 2 英明生 1 本斯拉马·阿查尔 1 尤里·亚·阿格拉诺维奇。 1 蒙娜·阿拉布扎德 1 托马斯·阿特玛 1 斯利马尼·阿尤布 1 克里斯特·Bäckström 1 本杰明·巴兰 1 阿尼尔班·巴萨克 1 文森特·波杜伊 1 哈特维格·鲍尔 1 约翰内斯·鲍什 1 啤酒,伊兰 1 贝洛佐洛夫,S.A。 1 安娜·伯纳斯科尼 1 汉斯·比雷尔 1 尼古拉·S·比约纳。 1 阿里·博尔哈桑尼 1 Shahram Etemadi Borujeni 1 Randal E.布莱恩特。 1 曹可欣 1 陈新余 1 Cheremisinova,L.D。 1 Andrew M.Childs。 1 伊琳娜·奇斯科普 1 哈娜·乔克勒 1 Choi、Byung-Soo 1 Boheung Chung 1 吉安弗兰科·西亚多 1 瓦伦蒂娜·齐里亚尼 1 雷诺德·克莱维尔 1 科普提,费迪 1 达斯,库纳尔 1 卡马利卡·达塔 1 亚历山大·阿尔梅达。 1 朱尔斯·德沙奈斯 1 西蒙·德维特。 1 丁伟平 1 冯世光 1 Celina M.H.Figueiredo。 1 达纳·菲斯曼 1 彼得·福马诺维奇 1 福岛,Kazuhide 1 阿卜杜拉·加尼 1 加里吉帕蒂、鲁德雷亚·乔达里 1 庆蒂里尼、拉斐拉 1 Prasun Ghosal公司 1 Andrew N.Glaudell。 1 亚当·格洛斯 1 龚长清 1 克莱门斯·格里普 1 丹尼尔·格罗 1 顾天龙 1 马丁·哈里根 1 哈里斯·H·鲁斯蒂 1 帕特里克·希利 1 霍玛,瑙富米 …还有134位作者 全部的 前5名29篇连载文章中引用 25 量子信息处理 5 国际理论物理杂志 4 理论计算机科学 三 计算机与系统科学杂志 三 系统设计中的形式化方法 2 信息处理信件 2 信息科学 2 信息与计算 2 自动化和远程控制 2 自然计算 2 国际量子信息杂志 1 人工智能 1 离散应用数学 1 莫斯科大学数学通报 1 编程与计算机软件 1 电路、系统和信号处理 1 符号计算杂志 1 算法 1 国际并行程序设计杂志 1 计算机与运筹学 1 计算的形式方面 1 离散事件动态系统 1 计算与决策科学基础 1 启发式杂志 1 开放系统与信息动力学 1 RAIRO公司。理论信息学及其应用 1 计算机语言、系统和结构 1 离散算法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名17个字段中引用 71 计算机科学(68至XX) 51 量子理论(81-XX) 29 信息与通信理论、电路(94-XX) 6 数理逻辑与基础(03-XX) 5 运筹学、数学规划(90-XX) 三 群论与推广(20-XX) 2 组合数学(05-XX) 2 统计力学,物质结构(82-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 系统论;控制(93至XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环和代数(17-XX) 1 差分方程和函数方程(39至XX) 1 欧氏空间的调和分析(42-XX) 1 抽象谐波分析(43至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文