编辑配置文件(在新选项卡中打开) 约翰·加拉赫(John P.Gallagher)。 合著者距离 作者ID: 加拉赫.john-p 发布日期: 约翰·加拉赫(John P.Gallagher)。;约翰·加拉赫;加拉赫,J.P。 更多。。。较少的 编入索引的文档: 38出版物自1969年起 8作为编辑的贡献 合著者: 42位合著者具有42联合出版物 798合著作者 全部的 前5名合著者 2 单作者的 7 比肖克桑·卡夫 4 艾尔维拉·阿尔伯特 4 曼努埃尔五世(Manuel V.Hermenegildo)。 4 佩德罗·洛佩兹·加西亚 4 德国普埃布拉 三 古里纳斯·班达 三 莫里斯·布吕诺格 三 法比奥·菲奥拉万蒂 三 亨利克森,Kim S。 三 马克西米利亚诺·克莱门 三 胡里奥·佩拉尔塔。 2 迈克尔·科迪什 2 詹姆斯·弗拉文。 2 皮埃尔·甘蒂 2 迈克尔·盖尔芬德 2 萨米尔·根奈姆 2 米盖尔·戈梅斯·扎马洛亚 2 何塞·弗朗西斯科·莫拉莱斯 2 毛里齐奥·普罗埃蒂 1 海宁·克里斯蒂安森 1 斯蒂芬·克雷格 1 伊曼纽尔·德·安吉利斯 1 德瓦尔,D.A。 1 杜梅内克,杰苏斯·J·。 1 格雷姆·恒河 1 罗伯托·贾科巴齐 1 罗伯特·格莱克 1 雷米·海默尔 1 帕特里夏·M·希尔。 1 维塔利湖 1 赖春杰 1 Michael Leuschel先生 1 乌默尔,利卡特 1 阿尔贝托·佩特罗西 1 罗森达尔,麦兹 1 菲利普·吕默 1 彼得·沙赫特 1 汤姆·施里杰弗斯 1 埃胡德·夏皮罗。 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 马丁·苏尔兹曼 1 沃特·范·汉贝克 1 Janis Voigtlander公司 1 埃里克·韦伯。 全部的 前5名系列 5 逻辑程序设计理论与实践 三 计算机科学课堂讲稿 2 高阶和符号计算 1 国际固体与结构杂志 1 信息处理信件 1 ZAMP公司。Zeitschrift für angewandte数学与物理 1 《伦敦数学学会通报》 1 新一代计算 1 计算机基础理论 1 计算机语言、系统和结构 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 43 计算机科学(68至XX) 8 总体主题;集合(00-XX) 7 数学逻辑和基础(03-XX) 1 测量和集成(28-XX) 1 可变形固体力学(74-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 35出版物有被引用92中的次68文件 引用人▼ 年份▼ 逻辑编程中的元程序设计。 Zbl 0900.68137号 希尔,P.M。;J·加拉赫。 10 1998 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 6 2018 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 6 2017 逻辑程序良好类型的推断及其在终止分析中的应用。 Zbl 1141.68360号 莫里斯·布吕诺格;约翰·加拉赫;沃特·范·汉贝克 6 2005 带有不纯正谓词的逻辑程序部分求值中的非左端展开。 Zbl 1156.68324号 艾尔维拉·阿尔伯特;德国普埃布拉;约翰·加拉赫(John P.Gallagher)。 6 2006 CLP中线性混合系统的分析。 Zbl 1185.68406号 古里纳斯·班达;约翰·加拉赫(John P.Gallagher)。 6 2009 通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 Zbl 1434.68104号 杜梅内克,杰苏斯·J·。;约翰·加拉赫(John P.Gallagher)。;萨米尔·根奈姆 5 2019 程序专业化算法的推导。 Zbl 0742.68044号 约翰·加拉赫;莫里斯·布吕诺格 4 1991 基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 4 2009 约束Horn子句验证中的树维度。 Zbl 1478.68165号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 三 2018 基于正则类型的抽象域。 Zbl 1104.68377号 约翰·加拉赫(John P.Gallagher)。;亨利克森,Kim S。 三 2004 参数累积成本静态分析的转换方法。 Zbl 1475.68087号 哈默雷,R。;López-García,P。;美国利卡特。;M.克莱门。;加拉格尔,J.P。;M.V.Hermenegildo。 三 2016 时态逻辑的基于约束的抽象语义:设计和实现的直接方法。 Zbl 1253.68218号 古里纳斯·班达;约翰·加拉赫(John P.Gallagher)。 三 2010 CLP程序专业化中的凸包抽象。 兹比尔1278.68052 朱利奥·佩拉尔塔。;约翰·加拉赫(John P.Gallagher)。 三 2003 结合规范证明终止。 Zbl 1057.68585号 萨米尔·根奈姆;迈克尔·科迪什;约翰·加拉赫;维塔利湖 三 2002 从大步骤到小步骤语义,再到解释器专业化。 Zbl 07453190号 约翰·加拉赫(John P.Gallagher)。;曼纽尔·赫尔梅内吉尔多;比肖克桑·卡夫;马克西米利亚诺·克莱门;佩德罗·洛佩斯·加西亚;何塞·莫拉莱斯 三 2020 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 逻辑程序分析和转换在定理证明中的适用性。 Zbl 1433.68543号 德瓦尔,D.A。;加拉赫,J.P。 2 1994 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫;迈克尔·科迪什;埃胡德·夏皮罗 2 1988 Prolog的全自动绑定时间分析。 兹比尔1134.68330 斯蒂芬·克雷格;约翰·加拉赫(John P.Gallagher)。;Michael Leuschel先生;亨利克森,Kim S。 2 2005 Horn子句验证中的凸多面体抽象、专门化和基于属性的谓词分裂。 Zbl 1464.68208号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 2 2014 近似术语重写系统:Horn子句规范及其实现。 Zbl 1182.68093号 约翰·加拉赫(John P.Gallagher)。;罗森达尔,麦兹 2 2008 非歧视性论据及其使用。 Zbl 1251.68055号 海宁·克里斯蒂安森;约翰·加拉赫(John P.Gallagher)。 2 2009 从单态到多态的良好类型,甚至更远。 Zbl 1185.68180号 汤姆·施里杰弗斯;莫里斯·布吕诺格;约翰·加拉赫(John P.Gallagher)。 2 2009 并行逻辑程序静态成本分析的一般框架。 Zbl 1502.68068号 马克西米利亚诺·克莱门;佩德罗·洛佩兹·加西亚;约翰·加拉赫(John P.Gallagher)。;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 2 2020 关于一个拓扑Erdős相似问题。 Zbl 07738040号 约翰·加拉赫;赖春杰;埃里克·韦伯 1 2023 强制性项目专业化:一种使用CLP的方法。 Zbl 0964.68557号 朱利奥·佩拉尔塔。;约翰·加拉赫(John P.Gallagher)。 1 2000 基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。 Zbl 1392.68017号 1 2018 叠加在新霍克材料有限三轴拉伸上的小变形的基本积分。 Zbl 0201.28005号 加拉赫,J.P。;J.N.弗拉文。 1 1969 基于树自动机的精化,应用于Horn子句验证。 Zbl 1432.68263号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 1 2015 各向异性弹性整体空间中的刚性椭圆夹杂。 Zbl 0357.73019号 J.N.弗拉文。;加拉赫,J.P。 1 1976 基于预解释的放大分析技术。 Zbl 1165.68332号 约翰·加拉赫(John P.Gallagher)。;亨利克森,Kim S。;古里纳斯·班达 1 2005 基于类型的同胚嵌入及其在在线部分评估中的应用。 Zbl 1179.68031号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 1 2008 特刊:PEPM 2010,ACM SIGPLAN 2010部分评估和程序操作研讨会,西班牙马德里,2010年1月18-19日。精选论文。 Zbl 1254.68029号 1 2010 使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 1 2016 关于一个拓扑Erdős相似问题。 Zbl 07738040号 约翰·加拉赫;赖春杰;埃里克·韦伯 1 2023 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 从大步骤到小步骤语义,再到解释器专业化。 Zbl 07453190号 约翰·加拉赫(John P.Gallagher)。;曼纽尔·赫尔梅内吉尔多;比肖克桑·卡夫;马克西米利亚诺·克莱门;佩德罗·洛佩斯·加西亚;何塞·莫拉莱斯 三 2020 并行逻辑程序静态成本分析的一般框架。 Zbl 1502.68068号 马克西米利亚诺·克莱门;佩德罗·洛佩兹·加西亚;约翰·加拉赫(John P.Gallagher)。;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 2 2020 通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 Zbl 1434.68104号 杜梅内克,杰苏斯·J·。;约翰·加拉赫(John P.Gallagher)。;萨米尔·根奈姆 5 2019 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 6 2018 约束Horn子句验证中的树维度。 Zbl 1478.68165号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 三 2018 基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。 兹比尔1392.68017 1 2018 使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 6 2017 参数累积成本静态分析的转换方法。 兹比尔1475.68087 哈默雷,R。;López-García,P。;美国利卡特。;M.克莱门。;加拉赫,J.P。;M.V.Hermenegildo。 三 2016 使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 1 2016 基于树自动机的精化,应用于Horn子句验证。 Zbl 1432.68263号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 1 2015 Horn子句验证中的凸多面体抽象、专门化和基于属性的谓词分裂。 Zbl 1464.68208号 比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。 2 2014 时态逻辑的基于约束的抽象语义:设计和实现的直接方法。 Zbl 1253.68218号 古里纳斯·班达;约翰·加拉赫(John P.Gallagher)。 三 2010 特刊:PEPM 2010,ACM SIGPLAN 2010部分评估和程序操作研讨会,西班牙马德里,2010年1月18-19日。精选论文。 Zbl 1254.68029号 1 2010 CLP中线性混合系统的分析。 Zbl 1185.68406号 古里纳斯·班达;约翰·加拉赫(John P.Gallagher)。 6 2009 基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号 艾尔维拉·阿尔伯特;约翰·加拉格尔;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 4 2009 非歧视性论据及其使用。 Zbl 1251.68055号 海宁·克里斯蒂安森;约翰·加拉赫(John P.Gallagher)。 2 2009 从单态到多态的良好类型,甚至更远。 Zbl 1185.68180号 汤姆·施里杰弗斯;莫里斯·布吕诺格;约翰·加拉赫(John P.Gallagher)。 2 2009 近似术语重写系统:Horn子句规范及其实现。 Zbl 1182.68093号 约翰·加拉赫(John P.Gallagher)。;罗森达尔,麦兹 2 2008 基于类型的同胚嵌入及其在在线部分评估中的应用。 Zbl 1179.68031号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 1 2008 带有不纯正谓词的逻辑程序部分求值中的非左端展开。 Zbl 1156.68324号 艾尔维拉·阿尔伯特;德国普埃布拉;约翰·加拉赫(John P.Gallagher)。 6 2006 逻辑程序良好类型的推断及其在终止分析中的应用。 Zbl 1141.68360号 莫里斯·布吕诺格;约翰·加拉赫;沃特·范·汉贝克 6 2005 Prolog的全自动绑定时间分析。 Zbl 1134.68330号 斯蒂芬·克雷格;约翰·加拉赫(John P.Gallagher)。;Michael Leuschel先生;亨利克森,Kim S。 2 2005 基于预解释的放大分析技术。 Zbl 1165.68332号 约翰·加拉赫(John P.Gallagher)。;亨利克森,Kim S。;古里纳斯·班达 1 2005 基于正则类型的抽象域。 Zbl 1104.68377号 约翰·加拉赫(John P.Gallagher)。;亨利克森,Kim S。 三 2004 CLP程序专业化中的凸包抽象。 Zbl 1278.68052号 朱利奥·佩拉尔塔。;约翰·加拉赫(John P.Gallagher)。 三 2003 结合规范证明终止。 Zbl 1057.68585号 萨米尔·根奈姆;迈克尔·科迪什;约翰·加拉赫;维塔利湖 三 2002 强制性专业化:一种使用CLP的方法。 Zbl 0964.68557号 朱利奥·佩拉尔塔。;约翰·加拉赫(John P.Gallagher)。 1 2000 逻辑编程中的元程序设计。 Zbl 0900.68137号 希尔,P.M。;J·加拉赫。 10 1998 逻辑程序分析和转换在定理证明中的适用性。 Zbl 1433.68543号 德瓦尔,D.A。;加拉赫,J.P。 2 1994 程序专业化算法的推导。 Zbl 0742.68044号 约翰·加拉赫;莫里斯·布吕诺格 4 1991 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫;迈克尔·科迪什;埃胡德·夏皮罗 2 1988 各向异性弹性整体空间中的刚性椭圆夹杂。 Zbl 0357.73019号 J.N.弗拉文。;加拉赫,J.P。 1 1976 叠加在新霍克材料有限三轴拉伸上的小变形基本积分。 兹比尔0201.28005 加拉赫,J.P。;J.N.弗拉文。 1 1969 所有引用出版物 前5名被引用出版物 全部的 前5名134位作者引用 13 约翰·加拉赫(John P.Gallagher)。 10 曼努埃尔五世(Manuel V.Hermenegildo)。 6 艾尔维拉·阿尔伯特 6 伊曼纽尔·德·安吉利斯 6 法比奥·菲奥拉万蒂 6 何塞·弗朗西斯科·莫拉莱斯 6 毛里齐奥·普罗埃蒂 5 比肖克桑·卡夫 5 佩德罗·洛佩兹·加西亚 5 阿尔贝托·佩特罗西 5 德国普埃布拉 4 Michael Leuschel先生 4 德国维达尔 三 维托尔·桑托斯·科斯塔 三 萨米尔·根奈姆 三 米盖尔·戈梅斯·扎马洛亚 三 马克西米利亚诺·克莱门 三 马丁·马丁,恩里克 2 莫里斯·布吕诺格 2 丹尼·德·施雷耶 2 圣地亚哥埃斯科瓦尔 2 马里奥弗洛里多 2 格雷姆·恒河 2 皮埃尔·甘蒂 2 伊莎贝尔·加西亚·孔特雷拉斯 2 罗伯特·格莱克 2 劳尔·古铁雷斯 2 克劳迪奥·奥乔亚 2 安德烈·里巴尔琴科 2 彼得·沙赫特 2 哈拉尔德·森德加德 2 彼得·詹姆斯·斯塔基 1 萨尔瓦多阿布雷乌 1 克里希纳什里·阿楚坦 1 艾哈迈迪、赛义德·法扎德 1 玛丽亚·阿尔普特 1 保罗·巴尔丹 1 黛米斯·巴利斯 1 古里纳斯·班达 1 波登,泰国 1 Tewodros A.Beyene。 1 尼古拉·S·比约纳。 1 米克尔波菲尔 1 波纳蒂,皮耶罗·安德里亚 1 克里斯蒂娜·博拉莱拉斯 1 德米特里·布朗格 1 弗兰克·卡塞兹 1 伊格纳西奥·卡索 1 阿齐姆·查德哈里 1 利迪亚·切尔尼戈夫斯卡娅 1 海宁·克里斯蒂安森 1 乔瓦尼·西亚托 1 维罗妮卡·达尔 1 德瓦尔,D.A。 1 丹尼尔·迪亚兹 1 丹尼尔·迪特施 1 杜梅内克,杰苏斯·J·。 1 阿戈斯蒂诺·多维尔 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 莫特扎·埃斯坎达里 1 格里戈里·费迪尤科维奇 1 安德烈亚·福米萨诺 1 卡斯滕·福斯 1 托马斯·杰奈特 1 罗伯托·贾科巴齐 1 吉尔根·吉斯尔 1 劳雷·贡诺德 1 丹尼尔·卡贝扎(Daniel Cabeza),格拉斯(Gras) 1 拉森·金(Larsen Kim Guldstrand) 1 戈帕尔·古普塔 1 阿里·古芬克尔 1 洛朗·哈斯科特 1 马蒂亚斯·海兹曼 1 Jochen Hoenicke公司 1 侯赛因霍贾特 1 塔马斯·霍瓦思。 1 巴拉特·贾亚拉曼 1 彼得·格约尔·詹森 1 Jinesh M.卡尼穆拉。 1 安迪·金 1 巴巴拉·科尼格 1 菲利普·科纳 1 马蒂斯·克鲁斯 1 维克多·昆卡 1 奥利·托普·拉森 1 乔治·劳森 1 乌默·利卡特 1 尼尔斯·洛曼 1 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 1 卢、伦金 1 萨尔瓦多卢卡斯 1 伯尔尼马滕斯 1 马丁·奥列特,纳西索 1 肯尼思·麦克米兰。 1 迈克尔·迈尔 1 何塞·梅塞盖尔·瓜伊塔 1 弗雷德·梅斯纳德 1 费比安·梅耶 1 新几内亚莫罗兹。 …还有34位作者 全部的 前5名14篇连载文章中引用 19 逻辑程序设计理论与实践 三 程序设计中的逻辑和代数方法杂志 2 人工智能 2 理论计算机科学 2 符号计算杂志 2 新一代计算 1 信息处理信件 1 苏联应用力学 1 计算机与系统科学杂志 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 欧洲力学杂志。A.固体 1 计算机基础理论 全部的 前5名在6个字段中引用 66 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 2 可变形固体力学(74-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文