编辑配置文件(在新选项卡中打开) 德国维达尔 合著者距离 作者ID: 维达尔·格曼 发布日期: 德国维达尔;维达尔,G。;维达尔,德语 更多。。。较少的 外部链接: MGP公司·ORCID公司 已编制索引的文档: 86出版物自1993年起 9作为编辑的贡献 合著者: 56位合著者具有71联合出版物 851名合著作者 全部的 前5名合著者 14 单作者的 15 西田,直木 12 玛丽亚·阿尔普特 11 艾尔维拉·阿尔伯特 10 迈克尔·哈纳斯 9 莫雷诺,法拉斯基 9 阿德里安·帕拉西奥斯。 9 乔塞普·席尔瓦 5 伊万·拉内斯 5 弗雷德·梅斯纳德 5 莫雷诺,吉纳斯 5 埃蒂安·佩耶特 4 弗兰克,哈 4 Michael Leuschel先生 4 J.瓜达卢佩·拉莫斯 4 萨尔瓦多塔马利特 三 何塞·伊波拉 三 哈维尔·奥利弗 2 古斯塔沃·阿罗约 2 马蒂亚斯·布鲁姆 2 伯恩德·布拉埃尔 2 埃斯拉·埃尔登 2 均匀地,格伦 2 塞巴斯蒂安·费舍尔 2 安德烈亚·福米萨诺 2 帕斯卡尔·朱利安 2 萨尔瓦多卢卡斯 2 Akihisa山田 2 杨芳凯 1 安东尼奥·阿钦 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 塞尔吉奥·安托伊 1 Murilo S.巴普蒂斯塔。 1 Stefano博卡莱蒂 1 博加茨,巴特 1 让·布拉加德 1 迭戈·切达 1 安德鲁·戴利。 1 玛丽娜·德沃斯 1 沃尔夫冈·杜尔 1 塞萨尔·费里 1 保罗·福多 1 索菲·福茨 1 罗伯特·格莱克 1 González Abril,胡安·何塞 1 乔瓦姆巴蒂斯塔·伊安尼 1 达尼埃拉·因利赞 1 E.简内。 1 Temesghen Kahsai 1 小林直树 1 科琳娜·科莱拉 1 JoséI·拉托雷。 1 朱莉娅·劳尔。 1 玛丽莎·洛伦斯 1 路易斯·马萨内斯 1 卡罗来纳州门多萨 1 克劳迪奥·安塔雷斯 1 米什扎克,雅罗斯瓦夫·亚当 1 克劳迪奥·奥乔亚 1 詹姆·佩纳巴德 1 吉尔斯·佩鲁因 1 伊恩·菲利普斯。 1 德国普埃布拉 1 玛丽亚·何塞·拉米斯 1 何塞·安东尼奥·里亚扎 1 恩里克·里科 1 乌尔里希·肖尔沃克 1 弗兰克·斯坦纳 1 伊雷克·乌利多夫斯基 1 温·范霍夫 1 艾丽西亚·维拉纽瓦 1 彼得·佐勒 全部的 前5名系列 7 逻辑程序设计理论与实践 4 量子信息与计算 三 理论计算机科学 三 高阶和符号计算 三 计算机科学课堂讲稿 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 统计物理杂志 2 计算机基础理论 2 理论计算机科学电子论文集(EPTCS) 1 符号计算杂志 1 新一代计算 1 信息与计算 1 自动推理杂志 1 逻辑与计算杂志 1 工程、通信和计算中的应用代数 1 国际应用科学与工程分叉与混沌杂志 1 混乱 1 函数与逻辑程序设计杂志 1 逻辑与代数程序设计杂志 1 统计力学杂志:理论与实验 全部的 前5名领域 85 计算机科学(68至XX) 9 总体主题;集合(00-XX) 9 量子理论(81-XX) 5 数学逻辑和基础(03-XX) 4 统计力学,物质结构(82-XX) 三 动力系统和遍历理论(37至XX) 2 信息与通信理论、电路(94-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 74出版物有被引用311中的次142文件 引用人▼ 年份▼ 量子自旋链中的基态纠缠。 2017年5月11日 J.I.拉托雷。;E.里科。;G.维达尔。 118 2004 张量网络状态和几何。 Zbl 1231.82021号 Evenbly,G。;G.维达尔。 72 2011 使用自适应有效希尔伯特空间的时间相关密度矩阵重整化组。 Zbl 1075.82015年 戴利,A.J。;科尔拉斯,C。;美国肖尔沃克。;G.维达尔。 58 2004 纠缠重整化算法:边界、杂质和界面。 Zbl 1310.82021号 Evenbly,G。;G.维达尔。 34 2014 Cauder:Erlang的因果一致可逆调试器。 兹比尔1507.68066 伊万·拉内斯;西田,直木;阿德里安·帕拉西奥斯;德国维达尔 29 2018 埃尔朗的可逆性理论。 Zbl 1400.68046号 伊万·拉内斯;西田,直木;阿德里安·帕拉西奥斯;德国维达尔 21 2018 声明性多仿射语言的操作语义。 Zbl 1129.68042号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;弗兰克,哈;哈维尔·奥利弗;Germán维达尔 19 2005 基于所需缩小范围的功能逻辑程序的专业化。 Zbl 1092.68018号 玛丽亚·阿尔普特;萨尔瓦多卢卡斯;德国维达尔;迈克尔·哈纳斯 12 2005 尾部递归函数的程序反演。 Zbl 1236.68144号 西田,直木;维达尔,德语 11 2011 函数逻辑程序专业化的窄驱动方法。 Zbl 1016.68024号 艾尔维拉·阿尔伯特;德国维达尔 10 2002 一种实用的多仿射声明语言部分求值方案。 Zbl 1037.68011号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 10 2002 用量子光学系统模拟量子动力学。 Zbl 1152.81744号 E.简内。;G.维达尔。;杜尔,W。;佐勒,P。;希拉克,J.I。 9 2003 通过不对称耦合抑制混沌。 Zbl 1163.37313号 J·布拉加德。;G.维达尔。;H·曼奇尼。;门多萨,C。;博卡莱蒂,S。 9 2007 通过终止重写终止缩窄。 Zbl 1197.68049号 西田,直木;德国维达尔 9 2010 转换惰性函数逻辑程序的规则+策略。 Zbl 1070.68018号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 8 2004 消息传递并发程序的因果一致重播可逆语义。 Zbl 1482.68131号 伊万·拉内斯;阿德里安·帕拉西奥斯;Germán维达尔 8 2021 感应时序函数的自动部分反演。 Zbl 1226.68024号 阿尔梅德罗斯-吉梅内斯(Almendros-Jiménez),杰苏斯·M·。;德国维达尔 8 2007 改进功能逻辑程序专业化中的控制。 Zbl 0911.68036号 E.阿尔伯特。;Alpunte,M。;M.法拉斯基。;朱利安,P。;G.维达尔。 7 1998 归纳顺序程序的快速窄带驱动部分求值。 Zbl 1302.68067号 J.瓜达卢佩·拉莫斯;乔塞普·席尔瓦;德国维达尔 7 2005 Erlang的可逆语义。 Zbl 1485.68032号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 7 2017 安全折叠/展开,有条件收缩。 Zbl 0886.68033号 Alpunte,M。;M.法拉斯基。;G.莫雷诺。;G.维达尔。 6 1997 逻辑编程中的一致性测试。 Zbl 1379.68078号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 6 2015 项重写中的可逆计算。 Zbl 1381.68107号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 6 2018 消息传递程序的因果一致重放调试。 Zbl 07800284号 伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 6 2019 缩小近似值作为等式逻辑程序的优化。 Zbl 0791.68015号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;玛丽亚·何塞·拉米斯;德国维达尔 6 1993 通过术语重写实现Erlang验证。 Zbl 1453.68032号 德国维达尔 5 2014 用于有效调整模糊逻辑程序的符号执行和阈值。 Zbl 1485.68039号 莫雷诺,吉纳斯;詹姆·佩纳巴德;JoséA.Riaza。;德国维达尔 5 2017 使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号 古斯塔沃·阿罗约;J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔 4 2007 终止左线构造器系统中的窄化。 Zbl 1137.68420号 德国维达尔 4 2008 功能逻辑程序的运行时分析。 Zbl 1134.68329号 布拉塞尔,B。;哈纳斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。 4 2005 逻辑程序联合部分求值的一种混合方法。 Zbl 1326.68064号 德国维达尔 4 2011 Prolog中的和谐执行和测试用例生成。 Zbl 1457.68043号 德国维达尔 4 2015 计算条件重写系统的更具体版本。 Zbl 1394.68203号 西田,直木;Germán维达尔 4 2013 可逆项重写。 Zbl 1387.68147号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 4 2016 逻辑程序协调测试中选择统一的完备性。 Zbl 1485.68038号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 4 2017 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;乔塞普·席尔瓦;德国维达尔 4 2008 通过部分求值对独立AND并行逻辑程序进行注释。 Zbl 1260.68068号 维达尔,德语 4 2012 多范式声明性语言的实用部分评估器。 Zbl 0977.68593号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 三 2001 惰性函数逻辑程序的转换系统。 Zbl 0988.68507号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 三 1999 使用抽象表示专门化功能逻辑程序。 兹伯利0988.68516 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 三 2000 测量函数逻辑语言中部分求值的有效性。 Zbl 1018.68500元 艾尔维拉·阿尔伯特;塞尔吉奥·安托伊;德国维达尔 三 2001 面向Erlang中的符号执行。 Zbl 1434.68063号 德国维达尔 三 2015 归纳顺序功能逻辑程序的专业化。 Zbl 1345.68090号 玛丽亚·阿尔普恩特;迈克尔·哈纳斯;萨尔瓦多卢卡斯;德国维达尔 三 1999 通过合取部分演绎和参数过滤进行前向切片。 Zbl 1108.68424号 Michael Leuschel先生;德国维达尔 三 2005 CLP中的酒精测试。 Zbl 1468.68055号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 三 2020 程序插装在函数编程中的和谐执行。 Zbl 1473.68039号 阿德里安·帕拉西奥斯;德国维达尔 三 2015 用于证明收缩终止的目标定向依赖对和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;西田,直木;德国维达尔 三 2010 大型逻辑程序的快速离线部分评估。 Zbl 1185.68164号 Michael Leuschel先生;德国维达尔 三 2009 具有某些量子密码功能的经典混沌密码系统的基础知识。 Zbl 1258.94042号 G.维达尔。;巴普蒂斯塔,M.S。;H·曼奇尼。 三 2012 等式Horn程序的成分分析。 兹比尔0988.68561 Alpunte,M。;M.法拉斯基。;G.维达尔。 2 1994 功能逻辑程序的成本加成部分评估。 Zbl 1075.68010号 德国维达尔 2 2004 均匀的惰性收缩。 Zbl 1111.68375号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;帕斯卡尔·朱利安;德国维达尔 2 2003 逻辑编程中的可逆计算。 Zbl 07368059号 德国维达尔 2 2020 计算有限SLD树的框架。 Zbl 1319.68055号 西田,直木;德国维达尔 2 2015 逻辑程序的快速离线部分评估。 Zbl 1358.68055号 Michael Leuschel先生;德国维达尔 2 2014 缩小空间的有限表示。 Zbl 1453.68054号 西田,直木;德国维达尔 2 2014 Petri网的动态切片技术。 Zbl 1337.68188号 M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。 2 2008 在句法双向化中表征兼容的视图更新。 Zbl 1528.68070号 西田,直木;德国维达尔 2 2019 一种用于函数逻辑程序的自动组合算法。 Zbl 1043.68521号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 1 2000 多参数声明语言的符号分析。 兹比尔1073.68545 艾尔维拉·阿尔伯特;德国维达尔 1 2002 用于分析等式Horn程序的合成语义基础。 Zbl 0872.68107号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;德国维达尔 1 1996 一种用于函数逻辑程序部分求值的残差化语义。 Zbl 1042.68023号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 1 2003 (约束)逻辑编程中的选择性统一。 Zbl 1497.68087号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 1 2020 一种基于SMT的逻辑程序通用测试工具。 Zbl 07368093号 索菲·福茨;弗雷德·梅斯纳德;艾蒂安·佩耶特;吉尔斯·佩鲁因;温·范霍夫;德国维达尔 1 2020 在术语重写中转换为尾部递归。 Zbl 1283.68128号 西田,直木;德国维达尔 1 2014 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;西田,直木;德国维达尔;秋久山田 1 2015 重写系统的静态切片。 Zbl 1279.68051号 迭戈·切达;乔塞普·席尔瓦;德国维达尔 1 2007 概率逻辑编程中的程序解释。 Zbl 07570122号 德国维达尔 1 2022 2018年7月13日,英国牛津,HCVS 2018,第五届Horn子句验证与合成研讨会论文集。 Zbl 1441.68010号 1 2018 消息传递并发中基于前缀的跟踪。 Zbl 1521.68081号 González-Abril,Juan José;德国维达尔 1 2022 使用均匀局部单位的时间最优哈密顿模拟和门综合。 Zbl 1187.81072号 马萨内斯,Ll。;G.维达尔。;J.I.拉托雷。 1 2002 关于三态可逆纠缠生成集的结构。 Zbl 1152.81667号 A.阿钦。;G.维达尔。;希拉克,J.I。 1 2003 快速准确的强终止分析,应用于部分评估。 Zbl 1274.68044号 Michael Leuschel先生;萨尔瓦多塔马利特;德国维达尔 1 2010 面向术语重写中基于actor的并发建模。 Zbl 1428.68204号 阿德里安·帕拉西奥斯;德国维达尔 1 2015 概率逻辑编程中的程序解释。 Zbl 07570122号 德国维达尔 1 2022 消息传递并发中基于前缀的跟踪。 Zbl 1521.68081号 González Abril,胡安·何塞;德国维达尔 1 2022 消息传递并发程序的因果一致重播可逆语义。 Zbl 1482.68131号 伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 8 2021 CLP中的酒精测试。 Zbl 1468.68055号 弗雷德·梅斯纳德;帕耶特,Étienne;德国维达尔 三 2020 逻辑编程中的可逆计算。 Zbl 07368059号 德国维达尔 2 2020 (约束)逻辑编程中的选择性统一。 Zbl 1497.68087号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 1 2020 一种基于SMT的逻辑程序通用测试工具。 兹伯利07368093 索菲·福茨;弗雷德·梅斯纳德;艾蒂安·佩耶特;吉尔斯·佩鲁因;温·范霍夫;德国维达尔 1 2020 消息传递程序的因果一致重放调试。 Zbl 07800284号 伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 6 2019 描述语法双向化中兼容视图更新的特征。 Zbl 1528.68070号 西田,直木;德国维达尔 2 2019 Cauder:Erlang的因果一致可逆调试器。 Zbl 1507.68066号 伊万·拉内斯;西田,直木;阿德里安·帕拉西奥斯;德国维达尔 29 2018 二郎的可逆性理论。 Zbl 1400.68046号 伊万·拉内斯;西田,直木;阿德里安·帕拉西奥斯;德国维达尔 21 2018 项重写中的可逆计算。 Zbl 1381.68107号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 6 2018 2018年7月13日,英国牛津大学,2018年HCVS,第五届霍恩条款验证与合成研讨会会议记录。 兹比尔1441.68010 1 2018 Erlang的可逆语义。 Zbl 1485.68032号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 7 2017 用于有效调整模糊逻辑程序的符号执行和阈值。 Zbl 1485.68039号 莫雷诺,吉纳斯;詹姆·佩纳巴德;JoséA.Riaza。;德国维达尔 5 2017 关于逻辑程序一致性测试中选择性统一的完备性。 Zbl 1485.68038号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 4 2017 可逆项重写。 Zbl 1387.68147号 西田,直木;阿德里安·帕拉西奥斯;德国维达尔 4 2016 逻辑编程中的一致性测试。 Zbl 1379.68078号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 6 2015 Prolog中的和谐执行和测试用例生成。 Zbl 1457.68043号 德国维达尔 4 2015 面向Erlang中的符号执行。 兹比尔1434.68063 德国维达尔 三 2015 程序插装在函数编程中的和谐执行。 Zbl 1473.68039号 阿德里安·帕拉西奥斯;德国维达尔 三 2015 计算有限SLD树的框架。 Zbl 1319.68055号 西田,直木;德国维达尔 2 2015 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;西田,直木;德国维达尔;Akihisa山田 1 2015 面向术语重写中基于actor的并发建模。 Zbl 1428.68204号 阿德里安·帕拉西奥斯;德国维达尔 1 2015 纠缠重整化算法:边界、杂质和界面。 Zbl 1310.82021号 均匀地,G。;G.维达尔。 34 2014 通过术语重写实现Erlang验证。 Zbl 1453.68032号 德国维达尔 5 2014 逻辑程序的快速离线部分评估。 Zbl 1358.68055号 Michael Leuschel先生;德国维达尔 2 2014 缩小空间的有限表示。 Zbl 1453.68054号 西田,直木;德国维达尔 2 2014 在术语重写中转换为尾部递归。 Zbl 1283.68128号 西田,直木;德国维达尔 1 2014 计算条件重写系统的更具体版本。 Zbl 1394.68203号 西田,直木;德国维达尔 4 2013 通过部分求值对独立AND并行逻辑程序进行注释。 兹比尔1260.68068 维达尔,德语 4 2012 具有某些量子密码功能的经典混沌密码系统的基础知识。 Zbl 1258.94042号 G.维达尔。;巴普蒂斯塔,M.S。;H·曼奇尼。 三 2012 张量网络状态和几何。 Zbl 1231.82021号 均匀地,G。;G.维达尔。 72 2011 尾部递归函数的程序反演。 Zbl 1236.68144号 西田,直木;维达尔,德语 11 2011 逻辑程序联合部分求值的一种混合方法。 Zbl 1326.68064号 德国维达尔 4 2011 通过终止重写来终止收缩。 Zbl 1197.68049号 西田,直木;德国维达尔 9 2010 用于证明缩小的终止的目标定向和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;西田,直木;德国维达尔 三 2010 快速准确的强终止分析,应用于部分评估。 Zbl 1274.68044号 Michael Leuschel先生;萨尔瓦多塔马利特;德国维达尔 1 2010 大型逻辑程序的快速离线部分评估。 Zbl 1185.68164号 Michael Leuschel先生;德国维达尔 三 2009 终止左线构造器系统中的窄化。 Zbl 1137.68420号 德国维达尔 4 2008 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;乔塞普·席尔瓦;Germán维达尔 4 2008 Petri网的动态切片技术。 Zbl 1337.68188号 M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。 2 2008 通过不对称耦合抑制混沌。 Zbl 1163.37313号 布拉加德,J。;G.维达尔。;H·曼奇尼。;门多萨,C。;博卡莱蒂,S。 9 2007 感应时序函数的自动部分反演。 Zbl 1226.68024号 阿尔梅德罗斯-吉梅内斯(Almendros-Jiménez),杰苏斯·M·。;德国维达尔 8 2007 使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号 古斯塔沃阿罗约;J.瓜达卢佩·拉莫斯;乔塞普·席尔瓦;德国维达尔 4 2007 重写系统的静态切片。 Zbl 1279.68051号 迭戈·切达;乔塞普·席尔瓦;德国维达尔 1 2007 声明性多仿射语言的操作语义。 Zbl 1129.68042号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;弗兰克,哈;哈维尔·奥利弗;德国维达尔 19 2005 基于所需缩小范围的功能逻辑程序的专业化。 Zbl 1092.68018号 玛丽亚·阿尔普特;萨尔瓦多卢卡斯;德国维达尔;迈克尔·哈纳斯 12 2005 感应顺序程序的快速窄幅驱动部分评估。 Zbl 1302.68067号 J.瓜达卢佩·拉莫斯;乔塞普·席尔瓦;德国维达尔 7 2005 功能逻辑程序的运行时分析。 Zbl 1134.68329号 布拉塞尔,B。;哈纳斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。 4 2005 通过合取部分演绎和参数过滤进行前向切片。 Zbl 1108.68424号 Michael Leuschel先生;德国维达尔 三 2005 量子自旋链中的基态纠缠。 2017年5月11日 J.I.拉托雷。;E.里科。;G.维达尔。 118 2004 使用自适应有效希尔伯特空间的时间相关密度矩阵重整化群。 Zbl 1075.82015年 戴利,A.J。;科尔拉斯,C。;美国肖尔沃克。;G.维达尔。 58 2004 转换惰性函数逻辑程序的规则+策略。 Zbl 1070.68018号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 8 2004 功能逻辑程序的成本加成部分评估。 Zbl 1075.68010号 德国维达尔 2 2004 用量子光学系统模拟量子动力学。 Zbl 1152.81744号 E.简内。;G.维达尔。;杜尔,W。;佐勒,P。;希拉克,J.I。 9 2003 均匀的惰性收缩。 Zbl 1111.68375号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;帕斯卡尔·朱利安;德国维达尔 2 2003 一种用于函数逻辑程序部分求值的残差化语义。 Zbl 1042.68023号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;Germán维达尔 1 2003 关于三方态可逆纠缠生成集的结构。 Zbl 1152.81667号 A.阿钦。;G.维达尔。;希拉克,J.I。 1 2003 函数逻辑程序专业化的窄驱动方法。 Zbl 1016.68024号 艾尔维拉·阿尔伯特;德国维达尔 10 2002 一种实用的多仿射声明语言部分求值方案。 Zbl 1037.68011号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;Germán维达尔 10 2002 多参数声明语言的符号分析。 Zbl 1073.68545号 艾尔维拉·阿尔伯特;德国维达尔 1 2002 使用均匀局部单位的时间最优哈密顿模拟和门综合。 Zbl 1187.81072号 马萨内斯,Ll。;G.维达尔。;J.I.拉托雷。 1 2002 多参数声明语言的实用部分求值器。 Zbl 0977.68593号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 三 2001 测量函数逻辑语言中部分求值的有效性。 Zbl 1018.68500元 艾尔维拉·阿尔伯特;塞尔吉奥·安托伊;德国维达尔 三 2001 使用抽象表示专门化功能逻辑程序。 Zbl 0988.68516号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;Germán维达尔 三 2000 一种用于函数逻辑程序的自动组合算法。 Zbl 1043.68521号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,吉纳斯;德国维达尔 1 2000 惰性函数逻辑程序的转换系统。 Zbl 0988.68507号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;莫雷诺,杜松子酒;德国维达尔 三 1999 归纳顺序功能逻辑程序的专业化。 Zbl 1345.68090号 玛丽亚·阿尔普特;迈克尔·哈纳斯;萨尔瓦多卢卡斯;德国维达尔 三 1999 改进功能逻辑程序专业化中的控制。 Zbl 0911.68036号 E.阿尔伯特。;Alpunte,M。;M.法拉斯基。;朱利安,P。;维达尔,G。 7 1998 安全折叠/展开,有条件收缩。 Zbl 0886.68033号 Alpunte,M。;M.法拉斯基。;G.莫雷诺。;G.维达尔。 6 1997 用于分析等式Horn程序的合成语义基础。 Zbl 0872.68107号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;德国维达尔 1 1996 等式Horn程序的成分分析。 Zbl 0988.68561号 Alpunte,M。;M.法拉斯基。;G.维达尔。 2 1994 作为等式逻辑程序优化的窄近似。 Zbl 0791.68015号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;玛丽亚·何塞·拉米斯;Germán维达尔 6 1993 所有引用出版物 前5名被引用出版物 全部的 前5名172位作者引用 37 德国维达尔 14 伊万·拉内斯 13 西田,直木 12 玛丽亚·阿尔普特 9 圣地亚哥埃斯科瓦尔 9 莫雷诺,吉纳斯 7 何塞·梅塞盖尔·瓜伊塔 7 克劳迪奥·安塔雷斯 6 艾尔维拉·阿尔伯特 6 塞尔吉奥·安托伊 6 迈克尔·哈纳斯 6 阿德里安·帕拉西奥斯。 6 伊恩·菲利普斯。 6 伊雷克·乌利多夫斯基 5 莫雷诺,法拉斯基 5 约翰·加拉赫(John P.Gallagher)。 5 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 5 埃蒂安·佩耶特 5 胡安·罗德里格斯·霍塔拉 5 乔塞普·席尔瓦 5 萨尔瓦多塔马利特 4 黛米斯·巴利斯 4 恩里克·马丁·马汀 4 弗雷德·梅斯纳德 4 詹姆·桑切斯·埃尔南德斯 三 伯恩德·布拉埃尔 三 乔瓦尼·法布雷蒂 三 罗伯特·吕克 三 塞尔吉奥·格雷科 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 何塞·伊波拉 三 帕斯卡尔·朱利安·伊兰佐 三 松田和川 三 多里亚娜·梅迪奇 三 詹姆·佩纳巴德 三 何塞·安东尼奥·里亚扎 三 阿德里安·里斯科 三 酒井正彦 三 朱莉娅·萨皮娜 三 Jean-Bernard斯特凡尼 三 伊琳娜·特鲁比西纳 2 马可·贝尔纳多 2 劳拉·博奇 2 拉斐尔·卡巴列罗(Rafael E.Caballero)。 2 马可·卡洛蒂 2 简·克里斯蒂安森 2 塞巴斯蒂安·费舍尔 2 米盖尔·戈梅斯·扎马洛亚 2 詹姆斯·霍伊 2 弗兰克,哈 2 帕斯卡尔·朱利安 2 罗宾·卡斯加德 2 拉米,彼得罗 2 克里斯蒂安·莫里纳罗 2 Masanori长岛 2 佩德罗·奥杰达 2 哈维尔·奥利弗 2 德国普埃布拉 2 J.瓜达卢佩·拉莫斯 2 克劳迪奥·萨塞尔多蒂·科恩 2 普拉桑纳·塔蒂 2 王蒙 2 Akihisa山田 2 吉田、Nobuko 2 袁,Shoji 1 古斯塔沃阿罗约 1 阿提拉·巴戈西 1 佩特尔·贝雷茨基 1 戈博尔·伯格曼 1 尼古拉斯·贝齐吉安尼斯 1 玛丽亚·保拉(Maria Paola Bonacina) 1 马丁·布隆伯格 1 丹尼尔·布朗(Daniel W.Brown)。 1 雅克·卡雷特 1 伊格纳西奥·卡索 1 拉玛斯瓦米·钱德拉塞卡兰 1 迭戈·切达 1 蒋苏辉 1 海宁·克里斯蒂安森 1 科雷亚,弗朗西斯科·何塞 1 弗朗西索·科雷亚 1 鲁伊斯·克鲁斯·菲利佩 1 安吉尔·昆卡-奥尔特加 1 克里斯蒂娜·大卫 1 伊曼纽尔·德·安吉利斯 1 德波尔(Frank S。 1 德迪奥斯·卡斯特罗,哈维尔 1 丹尼·德·施雷耶 1 克里斯托斯·迪穆拉斯 1 丁志军 1 谢尔盖·多尔戈夫。 1 阿戈斯蒂诺·多维尔 1 汉娜·厄利 1 马丁·埃尔维格 1 哈维尔·埃斯佩特 1 方贤文 1 罗伯特·布鲁斯·芬德勒 1 法比奥·菲奥拉万蒂 1 安德烈亚·福米萨诺 1 索菲·福茨 …还有72位作者 全部的 前5名23篇连载文章中引用 12 程序设计中的逻辑和代数方法杂志 11 逻辑程序设计理论与实践 7 理论计算机科学 5 计算机基础理论 4 计算机科学中的逻辑方法 三 信息处理信件 三 模糊集与系统 三 信息与计算 三 函数编程杂志 三 高阶和符号计算 2 符号计算杂志 2 自动推理杂志 2 国际近似推理杂志 2 计算的形式方面 2 ACM计算逻辑事务 1 信息学报 1 计算机程序设计科学 1 新一代计算 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 应用数学中的计算方法 1 亚洲控制杂志 全部的 前5名在10个字段中引用 140 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 8 量子理论(81-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文