编辑配置文件(在新选项卡中打开) 德克萨斯州贾法 合著者距离 作者ID: 贾法尔·乔克森 发布日期: 德克萨斯州贾法;J·贾法。 编入索引的文档: 23出版物自1981年起 3作为编辑的贡献 合著者: 19位合著者具有22联合出版物 340位合作作者 全部的 前5名合著者 4 单作者的 6 迈克尔·马赫(Michael J.Maher)。 5 彼得·詹姆斯·斯塔基 5 罗兰·H·C·雅普。 4 安德鲁·E·桑托萨。 4 勒兹凡·沃伊库 三 Jean-Louis拉塞兹 1 亚历山大·布罗德斯基 1 朱德海普 1 朱棣文公爵 1 格雷戈里·杜克。 1 内文·海因策 1 金·万豪酒店 1 普拉巴赫·马蒂 1 闽泰Trinh 1 Vijayaraghavan Murali 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 Minh-Thai Trinh 1 吴慧 1 Zhu,Kenny Qili先生 全部的 前5名系列 4 逻辑程序设计杂志 2 计算机科学课堂讲稿 1 信息处理信件 1 计算机协会杂志 1 软件。实践与经验 1 理论计算机科学 1 新一代计算 1 约束条件 1 逻辑程序设计理论与实践 领域 25 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用148中的次140文件 引用人▼ 年份▼ 最小和完整的单词统一。 Zbl 0697.68052号 德克萨斯州贾法 30 1990 约束逻辑编程:一项调查。 兹比尔0900.68127 J·贾法。;马希尔,M.J。 28 1998 约束逻辑程序的语义。 Zbl 0920.68068号 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 无限树逻辑编程的语义。 Zbl 0621.68054号 德克萨斯州贾法;彼得·斯塔基。 10 1986 标准逻辑程序。 Zbl 0592.68018号 德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 8 1986 TRACER:用于验证的符号执行工具。 Zbl 1478.68164号 德克萨斯州贾法;Vijayaraghavan Murali;豪尔赫·纳瓦斯(Jorge A.Navas)。;安德鲁·桑托萨。 7 2012 递归定义字符串的渐进推理。 Zbl 1411.68031号 Minh-Thai Trinh;朱德海普;德克萨斯州贾法 7 2016 约束编程的原理和实践——CP 1999。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。 Zbl 0929.00071号 三 1999 带有数组段的Presburger算法。 Zbl 0474.03006号 德克萨斯州贾法 三 1981 CLP中的建模系统。 兹比尔1165.68334 德克萨斯州贾法;安德鲁·桑托萨。;勒兹凡·沃伊库 2 2005 投影CLP(\({\mathcal R}\))约束。 Zbl 0780.68013号 德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 2 1993 面向约束数据库的实用查询评估。 Zbl 0889.68045号 亚历山大·布罗德斯基;德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。 2 1997 关于“逻辑程序的一般故障”的评论。 Zbl 0596.68014号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 用于组合和间歇谓词抽象的CLP方法。 Zbl 1176.68124号 德克萨斯州贾法;安德鲁·桑托萨。;勒兹凡·沃伊库 2 2006 递归定义字符串的模型计数。 兹比尔1495.68159 闽泰Trinh;朱棣文公爵;德克萨斯州贾法 1 2017 递归定义字符串的模型计数。 Zbl 1495.68159号 闽泰Trinh;朱棣文公爵;德克萨斯州贾法 1 2017 递归定义字符串的渐进推理。 Zbl 1411.68031号 Minh-Thai Trinh;朱德海普;德克萨斯州贾法 7 2016 TRACER:用于验证的符号执行工具。 Zbl 1478.68164号 德克萨斯州贾法;Vijayaraghavan Murali;豪尔赫·纳瓦斯(Jorge A.Navas)。;安德鲁·桑托萨。 7 2012 用于组合和间歇谓词抽象的CLP方法。 兹比尔1176.68124 德克萨斯州贾法;安德鲁·桑托萨。;勒兹凡·沃伊库 2 2006 CLP中的建模系统。 Zbl 1165.68334号 德克萨斯州贾法;安德鲁·桑托萨。;勒兹凡·沃伊库 2 2005 约束编程的原理和实践——CP 1999。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。 Zbl 0929.00071号 三 1999 约束逻辑编程:一项调查。 Zbl 0900.68127号 J·贾法。;马希尔,M.J。 28 1998 约束逻辑程序的语义。 Zbl 0920.68068号 德克萨斯州贾法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 面向约束数据库的实用查询评估。 Zbl 0889.68045号 亚历山大·布罗德斯基;德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。 2 1997 投影CLP(\({\mathcal R}\))约束。 Zbl 0780.68013号 德克萨斯州贾法;迈克尔·马赫(Michael J.Maher)。;彼得·斯图基(Peter J.Stuckey)。;罗兰·H·C·雅普。 2 1993 最小和完整的单词统一。 Zbl 0697.68052号 德克萨斯州贾法 30 1990 无限树逻辑编程的语义。 Zbl 0621.68054号 德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 10 1986 标准逻辑程序。 兹比尔0592.68018 德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 8 1986 关于“逻辑程序的一般故障”的评论。 Zbl 0596.68014号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 带有数组段的Presburger算法。 Zbl 0474.03006号 德克萨斯州贾法 三 1981 所有引用出版物 前5名被引用出版物 全部的 前5名240位作者引用 8 彼得·詹姆斯·斯塔基 6 阿尔贝托·佩特罗西 6 毛里齐奥·普罗埃蒂 5 特默尔库西亚 4 弗兰兹·巴德 4 法比奥·菲奥拉万蒂 4 约翰·加拉赫(John P.Gallagher)。 4 比肖克桑·卡夫 4 德国维达尔 三 戴,乔尔·D·。 三 伊曼纽尔·德·安吉利斯 三 莫雷诺,法拉斯基 三 毛里齐奥·加布里埃利 三 格雷姆·恒河 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 李维,乔治 三 弗罗林·马内亚 三 弗雷德·梅斯纳德 三 德克·诺沃特卡 三 卡图西亚帕拉米德斯 三 埃蒂安·佩耶特 三 马里奥·罗德里格斯-阿塔莱霍 三 克劳斯·舒尔茨。 三 西基、广岛 三 苏布拉曼尼亚,V.S。 三 迈克尔·泰尔舍尔 2 帕罗什·阿齐兹·阿卜杜拉 2 哈比卜·阿卜杜拉布 2 玛丽亚·阿尔普特 2 安德烈·阿鲁索艾 2 穆罕默德·法乌齐(Mohamed Faouzi Atig) 2 霍华德·布莱尔。 2 拉斐尔·德尔瓦多·维塞达 2 阿戈斯蒂诺·多维尔 2 Besik Dundua 2 卢卡什·霍利克 2 斯特芬·Hölldobler 2 坎查纳苏特,坎查纳 2 安东尼·科希尔斯基 2 马修·拉金。 2 迈克尔·马赫(Michael J.Maher)。 2 卡洛斯·奥拉特 2 费尔南多·奥雷贾斯 2 弗里德里希·奥托 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 弗拉德·鲁苏 2 彼得·沙赫特 2 曼弗雷德·施密特·沙乌 2 哈拉尔德·森德加德 2 温·范霍夫 2 贡萨古·耶尔瑙斯 1 克里希纳什里·阿楚坦 1 阿基拉·艾巴 1 罗曼·艾萨特 1 艾尔维拉·阿尔伯特 1 罗伯托·阿马迪尼 1 吉安卢卡·阿马托 1 达米亚诺·阿佐利尼 1 塞巴斯蒂安·巴丁 1 艾达·巴塔雷克 1 玛丽安·鲍迪内 1 乔夫罗伊·博基尔 1 贝拉德,贝特里奇 1 墨菲·贝尔齐什 1 尼古拉·S·比约纳。 1 弗兰蒂舍克·布拉胡德克 1 乔治·布朗 1 布鲁岑·格纳莱克,诺埃尔 1 斯塔凡·邦尼尔 1 艾伦·L·琼·布朗(Allen L.jun Brown)。 1 埃德蒙·基兰·伯克 1 拉斐尔·卡巴列罗(Rafael E.Caballero)。 1 陈玉芳 1 乔利亚特,大卫 1 简·乔米奇 1 菲利普·科多涅特 1 弗兰斯·科宁 1 大卫,弗伦达 1 德波尔(Frank S。 1 亚历山德拉·迪·皮耶罗 1 比菲省迪普 1 梅赫迈特·丁卡斯 1 Doets和Kees 1 董金松 1 帕夫洛斯·艾里纳基斯 1 乌尔·恩德里斯 1 索尼娅·埃斯特韦兹·马汀 1 桑德罗·埃塔利 1 马可·费拉 1 本杰明·法里尼尔 1 安东尼奥·J·费尔南德斯。 1 马里奥弗洛里多 1 劳伦·弗里堡 1 格哈德·弗里德里希(Gerhard E.Friedrich)。 1 乌尔里希·富巴赫 1 维杰·加内什 1 皮埃尔·甘蒂 1 伊莎贝尔·加西亚·孔特雷拉斯 1 阿尔伯特·加雷塔 1 西尔维奥·吉拉尔迪 …还有140多名作者 全部的 前5名32篇连载文章中引用 20 逻辑程序设计理论与实践 17 理论计算机科学 8 人工智能 7 符号计算杂志 6 自动推理杂志 5 信息处理信件 5 数学与人工智能年鉴 4 高阶和符号计算 三 计算机与系统科学杂志 2 新一代计算 2 计算的形式方面 2 RAIRO公司。Informatique Théorique et Applications公司 2 函数编程杂志 2 约束条件 2 计算机基础理论 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 信息科学 1 最优化理论与应用杂志 1 苏联数学杂志 1 信息与计算 1 运筹学年鉴 1 模式识别 1 分布式计算 1 数学逻辑档案 1 工程、通信和计算中的应用代数 1 控制论与系统分析 1 应用的分类结构 1 RAIRO公司。理论信息学及其应用 1 计算机语言、系统和结构 1 欧洲计算优化杂志 1 非线性分析。理论、方法和应用 全部的 前5名11个领域引用 131 计算机科学(68至XX) 38 数学逻辑和基础(03-XX) 10 运筹学、数学规划(90-XX) 6 群论与推广(20-XX) 2 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文