编辑配置文件(在新选项卡中打开) 罗伯特·格莱克 合著者距离 作者ID: 格鲁克·罗伯特 发布日期: 罗伯特·格莱克;格吕克,R。 外部链接: ORCID公司 已编制索引的文档: 54出版物自1996年起 3作为编辑的贡献 合著者: 40位合著者具有50联合出版物 479名合作作者 全部的 前5名合著者 6 单作者的 12 阿克塞尔森,霍尔格·博克 11 横山,铁雄 6 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 6 罗宾·卡斯加德 4 福村义彦 三 Haulund,周二 三 川端康成 2 马丁·霍尔姆·塞文卡 2 Kakehi、Kazuhiko 2 曾次郎科尼西 2 Michael Leuschel先生 2 托本·吉迪乌斯·莫根森 2 Ryo Nakashige 2 索伦森,莫滕·海涅B。 2 罗伯特·泽奇林 1 尼尔斯·克里斯滕森。 1 丹尼·德·施雷耶 1 约翰·加德 1 约翰·加拉赫(John P.Gallagher)。 1 干草-施密特,拉丝 1 胡镇江 1 尼尔·D·琼斯。 1 杰斯珀·约根森 1 Maja Hanne Kirkeby 1 尤里·克里莫夫 1 马蒂斯·克鲁斯 1 Kühnemann,阿明 1 伊万·拉内斯 1 瑟伦·劳森 1 伯尔尼马滕斯 1 克劳迪奥·安塔雷斯·梅齐纳 1 雅罗斯瓦夫·亚当·米兹扎克 1 伊恩·菲利普斯。 1 雷霍特,乔纳斯·沃尔珀斯 1 迈克尔·柯克达尔·汤姆森 1 巴赫·阮(Barh Nguyen Trong) 1 嘉奈县津岛 1 伊雷克·乌利多夫斯基 1 德国维达尔 1 伊尔科Visser 全部的 前5名系列 三 信息处理信件 三 理论计算机科学 2 计算机程序设计科学 2 新一代计算 1 信息学报 1 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 1 逻辑程序设计杂志 1 国际计算机科学基础杂志 1 函数编程杂志 1 高阶和符号计算 1 计算机基础理论 1 多值逻辑与软计算杂志 1 计算机科学课堂讲稿 1 物理学报A:数学与理论 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 57 计算机科学(68至XX) 5 量子理论(81-XX) 三 总体主题;集合(00-XX) 三 范畴理论;同调代数(18-XX) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用275次116文件 引用人▼ 年份▼ 走向可逆函数式语言。 Zbl 1407.68075号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 20 2012 一个积极的超级编译器。 Zbl 0870.68040号 瑟伦森,M.H。;格吕克,R。;N.D.琼斯。 20 1996 关联部分演绎:基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 可逆程序计算什么? Zbl 1326.68134号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 16 2011 可逆机器码及其抽象处理器体系结构。 Zbl 1188.68108号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克;横山,铁雄 15 2007 用于量子运算的可逆算术逻辑单元。 Zbl 1198.81070号 迈克尔·柯克达尔·汤姆森;罗伯特·格莱克;阿克塞尔森,霍尔格·博克 14 2010 可逆流程图语言基础。 Zbl 1332.68028号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 14 2016 具有等式和构造函数的函数语言的程序反相器。 兹比尔1254.68057 罗伯特·格莱克;川端康成 13 2003 一种简单有效的通用可逆图灵机。 Zbl 1330.68066号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 12 2011 可逆流程图语言和结构化可逆程序定理。 Zbl 1155.68388号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 12 2008 基于LR解析的确定性逆程序推导。 Zbl 1122.68394号 罗伯特·格莱克;川端康成 10 2004 一种基于LR(0)解析的程序自动反转方法。 Zbl 1098.68025号 罗伯特·格莱克;川端康成 10 2005 连接逆范畴和可逆递归。 Zbl 1359.68045号 罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 10 2017 逆计算原理和通用求解算法。 Zbl 1026.68023号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 9 2002 通用求解算法及其正确性:函数语言中的逆计算。 Zbl 1014.68037号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 8 2002 关于可逆图灵机及其函数的普适性。 兹比尔1348.68051 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 6 2016 通用求解算法:函数语言中的逆计算。 Zbl 0963.68500号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 6 2000 结构化可逆流程图语言的分类基础:可靠性和充分性。 Zbl 1398.68082号 罗伯特·格莱克;罗宾·卡斯加德 6 2018 优化内射函数的可逆模拟。 Zbl 1236.68068号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 6 2012 在可逆机器上实现可逆的面向对象语言功能。 Zbl 1487.68079号 Haulund,周二;托本·吉迪乌斯·莫根森;罗伯特·格莱克 4 2017 面向可逆面向对象编程的统一语言体系结构。 Zbl 07419485号 干草-施密特,拉丝;罗伯特·格莱克;马丁·霍尔姆·塞文卡;Haulund,周二 4 2021 可逆语言中的数据结构和动态内存管理。 Zbl 1515.68090号 马丁·霍尔姆·塞文卡;罗伯特·格莱克;Haulund,周二;托本·吉迪乌斯·莫根森 三 2018 关联累加和非累加功能程序。 Zbl 1018.68017号 Kühnemann,阿明;罗伯特·格莱克;Kakehi、Kazuhiko 三 2001 惰性语言逆计算的通用求解算法。 Zbl 1185.68328号 谢尔盖·阿布拉莫夫;罗伯特·格莱克;尤里·克里莫夫 三 2007 将语义与非标准解释器层次结构相结合。 Zbl 1044.68664号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 三 2000 通过可逆递归和迭代从其遍历构造二叉树。 Zbl 1473.68214号 罗伯特·格莱克;横山,铁雄 三 2019 堆中构造函数项的可逆表示和操作。 兹比尔1407.68105 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 三 2013 从编程语言的角度看可逆计算。 Zbl 07667524号 罗伯特·格莱克;横山,铁雄 三 2023 基于广义部分计算的程序转换系统。 Zbl 0994.68132号 福村义彦;Konishi,曾次郎;罗伯特·格莱克 2 2002 WSDFU:基于广义部分计算的程序转换系统。 Zbl 1026.68510号 福村义彦;曾次郎科尼西;罗伯特·格莱克 2 2002 通过语义修饰符从标准语义到非标准语义。 Zbl 1319.68050号 阿布拉莫夫,谢尔盖;罗伯特·格莱克 2 2001 结构化可逆流程图语言的分类基础。 Zbl 1525.68025号 罗伯特·格莱克;罗宾·卡斯加德 2 2018 从可逆编程语言到可逆元语言。 Zbl 07527764号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 2 2022 应用于数学算法的绑定时间分析。 Zbl 0881.68052号 罗伯特·格莱克;Ryo Nakashige;罗伯特·泽克林 1 1996 Jones最优性和BTI泛特化子的研究。 Zbl 1188.68112号 罗伯特·格莱克 1 2008 多项式时间内的最大多元部分求值。 Zbl 1461.68055号 罗伯特·格莱克 1 2016 双向下推自动机的实际仿真结果。 Zbl 1475.68153号 罗伯特·格莱克 1 2016 用于生成扩展的再生方案。 Zbl 1337.68071号 罗伯特·格莱克;安德烈·克里莫夫 1 1997 关于Jones最佳专业人员:使用Unmix的案例研究。 Zbl 1168.68360号 约翰·加德;罗伯特·格莱克 1 2006 用于解决反问题的基于抽象的部分推导——软件验证的一种转换方法。(扩展摘要)。 Zbl 0970.68732号 罗伯特·格莱克;Michael Leuschel先生 1 2000 条件构造函数项重写系统的半嵌入。 Zbl 1502.68152号 Maja Hanne Kirkeby;罗伯特·格莱克 1 2020 重温双向下推自动机的模拟。 Zbl 1464.68167号 罗伯特·格莱克 1 2013 可逆程序具有可逆语义。 Zbl 1509.68034号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 1 2020 从编程语言的角度看可逆计算。 Zbl 07667524号 罗伯特·格莱克;横山,铁雄 三 2023 从可逆编程语言到可逆元语言。 Zbl 07527764号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 2 2022 面向可逆面向对象编程的统一语言体系结构。 Zbl 07419485号 干草-施密特,拉丝;罗伯特·格莱克;马丁·霍尔姆·塞文卡;Haulund,周二 4 2021 条件构造函数项重写系统的半嵌入。 Zbl 1502.68152号 Maja Hanne Kirkeby;罗伯特·格莱克 1 2020 可逆程序具有可逆语义。 Zbl 1509.68034号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 1 2020 通过可逆递归和迭代从其遍历构造二叉树。 Zbl 1473.68214号 罗伯特·格莱克;横山,铁雄 三 2019 结构化可逆流程图语言的分类基础:可靠性和充分性。 Zbl 1398.68082号 罗伯特·格莱克;罗宾·卡斯加德 6 2018 可逆语言中的数据结构和动态内存管理。 Zbl 1515.68090号 马丁·霍尔姆,塞文卡;罗伯特·格莱克;Haulund,周二;托本·吉迪乌斯·莫根森 三 2018 结构化可逆流程图语言的分类基础。 Zbl 1525.68025号 罗伯特·格莱克;罗宾·卡斯加德 2 2018 连接逆范畴和可逆递归。 兹比尔1359.68045 罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 10 2017 在可逆机器上实现可逆的面向对象语言功能。 Zbl 1487.68079号 Haulund,周二;托本·吉迪乌斯·莫根森;罗伯特·格莱克 4 2017 可逆流程图语言的基础。 Zbl 1332.68028号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 14 2016 关于可逆图灵机及其函数的普适性。 Zbl 1348.68051号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 6 2016 多项式时间内的最大多元部分求值。 Zbl 1461.68055号 罗伯特·格莱克 1 2016 双向下推自动机的实际仿真结果。 Zbl 1475.68153号 罗伯特·格莱克 1 2016 堆中构造函数项的可逆表示和操作。 Zbl 1407.68105号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 三 2013 重温双向下推自动机的模拟。 Zbl 1464.68167号 罗伯特·格莱克 1 2013 走向可逆函数式语言。 Zbl 1407.68075号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 20 2012 优化内射函数的可逆模拟。 Zbl 1236.68068号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 6 2012 可逆程序计算什么? Zbl 1326.68134号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 16 2011 一种简单有效的通用可逆图灵机。 Zbl 1330.68066号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克 12 2011 用于量子算术的可逆算术逻辑单元。 兹比尔1198.81070 迈克尔·柯克达尔·汤姆森;罗伯特·格莱克;阿克塞尔森,霍尔格·博克 14 2010 可逆流程图语言和结构化可逆程序定理。 Zbl 1155.68388号 横山,铁雄;阿克塞尔森,霍尔格·博克;罗伯特·格莱克 12 2008 Jones最优性和BTI泛特化子的研究。 Zbl 1188.68112号 罗伯特·格莱克 1 2008 可逆机器代码及其抽象处理器体系结构。 Zbl 1188.68108号 阿克塞尔森,霍尔格·博克;罗伯特·格莱克;横山,铁雄 15 2007 惰性语言逆计算的通用求解算法。 Zbl 1185.68328号 谢尔盖·阿布拉莫夫;罗伯特·格莱克;尤里·克里莫夫 三 2007 关于Jones最优专家:使用Unmix的案例研究。 Zbl 1168.68360号 约翰·加德;罗伯特·格莱克 1 2006 一种基于LR(0)解析的程序自动反转方法。 Zbl 1098.68025号 罗伯特·格莱克;川端康成 10 2005 基于LR解析的确定性逆程序推导。 Zbl 1122.68394号 罗伯特·格莱克;川端康成 10 2004 具有等式和构造函数的函数语言的程序反相器。 Zbl 1254.68057号 罗伯特·格莱克;川端康成 13 2003 逆计算原理和通用求解算法。 Zbl 1026.68023号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 9 2002 通用求解算法及其正确性:函数语言中的逆计算。 Zbl 1014.68037号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 8 2002 基于广义部分计算的程序转换系统。 Zbl 0994.68132号 福村义彦;曾次郎科尼西;罗伯特·格莱克 2 2002 WSDFU:基于广义部分计算的程序转换系统。 Zbl 1026.68510号 Futamura、Yoshihiko;曾次郎科尼西;罗伯特·格莱克 2 2002 关联累加和非累加功能程序。 Zbl 1018.68017号 Kühnemann,阿明;罗伯特·格莱克;Kakehi、Kazuhiko 三 2001 通过语义修饰符从标准语义到非标准语义。 Zbl 1319.68050号 阿布拉莫夫,谢尔盖;罗伯特·格莱克 2 2001 通用求解算法:函数语言中的逆计算。 Zbl 0963.68500号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 6 2000 将语义与非标准解释器层次结构相结合。 Zbl 1044.68664号 谢尔盖·阿布拉莫夫;罗伯特·格莱克 三 2000 用于解决反问题的基于抽象的部分推导——软件验证的一种转换方法。(扩展摘要)。 Zbl 0970.68732号 罗伯特·格莱克;Michael Leuschel先生 1 2000 关联部分演绎:基础、控制、算法和实验。 Zbl 0944.68025号 丹尼·德·施雷耶;罗伯特·格莱克;杰斯珀·约根森;Michael Leuschel先生;伯尔尼马滕斯;莫滕·海涅·瑟伦森 19 1999 用于生成扩展的再生方案。 Zbl 1337.68071号 罗伯特·格莱克;安德烈·克里莫夫 1 1997 一个积极的超级编译器。 Zbl 0870.68040号 瑟伦森,M.H。;格吕克,R。;N.D.琼斯。 20 1996 应用于数学算法的绑定时间分析。 Zbl 0881.68052号 罗伯特·格莱克;Ryo Nakashige;罗伯特·泽克林 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名152位作者引用 21 罗伯特·格莱克 11 罗宾·卡斯加德 10 马丁·库特里布 10 德国维达尔 9 阿克塞尔森,霍尔格·博克 7 直纪西田 6 横山,铁雄 5 安德烈亚斯·马尔彻 5 阿尔贝托·佩特罗西 5 毛里齐奥·普罗埃蒂 5 迈克尔·柯克达尔·汤姆森 4 伊曼纽尔·德·安吉利斯 4 尼古拉斯·德沃雷茨基 4 法比奥·菲奥拉万蒂 4 卢卡保利尼 4 卢卡·罗维斯 4 伊雷克·乌利多夫斯基 三 玛丽亚·阿尔普特 三 圣地亚哥埃斯科瓦尔 三 杰夫·汉密尔顿。 三 詹姆斯·霍伊 三 松田和川 三 乌韦·迈耶 三 克劳迪奥·安塔雷斯·梅齐纳 三 毛罗·皮科洛 三 Masahiko酒井 2 艾尔维拉·阿尔伯特 2 巴利斯,德米斯 2 雅克·卡雷特 2 伊万·拉内斯 2 托本·吉迪乌斯·莫根森 2 Masanori长岛 2 谢尔盖·罗曼年科。 2 朱莉娅·萨皮娜 2 袁,Shoji 1 奥斯卡·亚伯拉罕森 1 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 1 本斯拉马·阿查尔 1 阿提姆·阿尔哈佐夫 1 克莱门·奥伯特 1 斯利马尼·阿尤布 1 本杰明·阿齐兹 1 埃里克·巴杜埃尔 1 阿提拉·巴戈西 1 巴鲁,阿扬 1 马可·贝尔纳多 1 阿里·博尔哈桑尼 1 布里格特,圣菲 1 科科特,J.罗宾B。 1 舒适,科尔 1 路易斯·古斯塔沃·科尔德罗 1 伊奥娜·多姆尼纳·克里斯特斯库 1 马丁·霍尔姆·塞文卡 1 阿尔西诺·库尼亚 1 奥利维尔·丹维 1 克里斯蒂娜·大卫 1 丹尼·德·施雷耶 1 亚历克西斯·德沃斯 1 埃里克·德曼。 1 莫雷诺,法拉斯基 1 鲁道夫·弗伦德 1 傅德利 1 福村义彦 1 卢卡斯·盖尔 1 约翰·加拉赫(John P.Gallagher)。 1 吉尔根·吉斯尔 1 S.A.格雷查尼克。 1 谢尔盖·格雷查尼克 1 马吉德·哈格帕拉斯特 1 迈克尔·哈纳斯 1 Haulund,周二 1 干草-施密特,拉丝 1 弗里茨·亨利恩 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 克里斯·希恩 1 马库斯·霍尔泽 1 胡本琼 1 胡镇江 1 稻田,Kazuhiro 1 塞巴斯蒂安·雅各比 1 罗珊·詹姆斯(Roshan P.James)。 1 金建华 1 尼尔·D·琼斯。 1 杰斯珀·约根森 1 赤顺县金山 1 马尔蒂·卡沃宁 1 加藤富美 1 Maja Hanne Kirkeby 1 奥列格·基塞利约夫 1 Klyuchnikov,I.G。 1 伊利亚·克鲁奇尼科夫 1 曾次郎科尼西 1 Korsholm Rohde,海宁 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 马蒂斯·克鲁斯 1 库切拉,迈克尔 1 Kühnemann,阿明 1 Michael Leuschel先生 1 李春泉 1 李海生 …还有52位作者 全部的 前5名23篇连载文章中引用 10 理论计算机科学 7 逻辑程序设计理论与实践 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 4 高阶和符号计算 三 国际理论物理杂志 三 国际计算机科学基础杂志 2 编程和计算机软件 2 计算机程序设计科学 2 新一代计算 2 逻辑与代数程序设计杂志 2 量子信息处理 2 计算机科学中的逻辑方法 1 信息学报 1 计算机与系统科学杂志 1 半群论坛 1 计算的形式方面 1 系统设计中的形式化方法 1 自动机、语言和组合学杂志 1 国际量子信息杂志 1 物理学报A:数学与理论 1 RAIRO公司。理论信息学及其应用 1 膜计算杂志 全部的 前5名在9个字段中引用 106 计算机科学(68至XX) 22 量子理论(81-XX) 11 数学逻辑和基础(03-XX) 9 范畴理论;同调代数(18-XX) 4 信息与通信理论、电路(94-XX) 2 数值分析(65-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 1 运筹学、数学规划(90-XX) 按年份列出的引文