编辑配置文件（在新选项卡中打开） 帕诺斯·朗多吉安尼 合著者距离 作者ID： rondogiannis.pa个 发布日期： 帕诺斯·朗多吉安尼;Rondogiannis，P。 已编制索引的文档： 41出版物自1994年以来 1名编辑贡献 合著者： 16位合著者具有37联合出版物 155位合作作者 全部的 前5名合著者 2 单作者的 13 克里斯托斯·诺米科斯 11 安吉洛斯·查拉兰比迪斯 9 威廉·沃奇（William W.Wadge）。 7 马诺利斯Gergatsoulis 4 Kountouriotis，Vassilis公司 三 佐尔坦·埃西克 三 加拉纳基，克瑞西达 三 艾奥娜·西梅尼杜 2 帕纳伊奥托普洛斯，西米斯 2 波提喀斯（Potikas）、彼得罗斯（Petros） 2 安东尼斯·特隆波基斯 1 佩德罗·卡巴拉尔 1 詹诺斯·查齐亚加皮斯 1 Cheng，Mantis H.M.（螳螂H.M.）。 1 阿萨纳西奥斯·格里瓦斯 1 康斯坦蒂诺斯·汉德约普洛斯 1 斯塔夫罗斯·尼古洛普洛斯。 1 亚历山大·奥霍金 1 尼古拉斯·帕帕斯普鲁。 全部的 前5名系列 5 理论计算机科学 5 逻辑程序设计理论与实践 三 信息处理信件 三 信息与计算 2 纯逻辑与应用逻辑年鉴 2 函数编程杂志 1 控制论学报 1 计算机语言 1 计算机程序设计科学 1 新一代计算 1 应用非经典逻辑杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的数学 全部的 前5名领域 41 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 阶、格、有序代数结构（06-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用103中的次61文件 引用人▼ 年份▼ 布尔语法的良好语义。 Zbl 1181.68162号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 17 2009 带否定即失败逻辑程序的最小模型语义。 Zbl 1367.68038号 帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 15 2005 关于一元方程对自然数集的表达能力。 Zbl 1263.68102号 亚历山大·奥霍金;帕诺斯龙多吉安尼斯 10 2012 关于多级相关图的生成树的个数。 Zbl 1339.05191号 尼古拉普洛斯，S.D。;Rondogiannis，P。 10 1998 逻辑编程中用于基础良好的否定的无限语义。 兹伯利1133.68012 加拉纳基，克瑞西达;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 9 2008 带否定的扩展高阶逻辑编程的最小模型语义。 Zbl 1309.68030号 安吉洛斯·查拉兰比迪斯;佐尔坦·埃西克;帕诺斯·朗多吉安尼 9 2014 非单调函数的不动点定理。 Zbl 1318.68066号 佐尔坦·埃西克;帕诺斯·朗多吉安尼 8 2015 分支时间逻辑编程：语言仙人掌及其应用。 Zbl 0948.68034号 Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 7 1998 布尔语法的良好语义。 Zbl 1227.68042号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 6 2006 局部分层布尔文法。 Zbl 1328.68105号 克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 4 2008 定义型高阶逻辑程序的两个定点语义的等价性。 Zbl 1359.68041号 安吉洛斯·查拉兰比迪斯;帕诺斯·朗多吉安尼;艾奥娜·西梅尼杜 4 2017 布尔语法的游戏理论特征。 Zbl 1207.68175号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯龙多吉安尼斯 三 2011 线性和分支时间演绎数据库的时间分层测试。 Zbl 1077.68025号 克里斯托斯·诺米科斯;帕诺斯龙多吉安尼斯;马诺利斯Gergatsoulis 三 2005 带否定的析取逻辑程序的纯模型理论语义。 兹比尔1149.68327 佩德罗·卡巴拉尔;大卫·皮尔斯;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 三 2007 有序析取逻辑程序的首选模型的逻辑特征。 Zbl 1522.68106号 安吉洛斯·查拉兰比迪斯;帕诺斯·朗多吉安尼;安东尼斯·特隆波基斯 三 2021 非单调函数的预不动点定理及其在逻辑程序设计和形式文法中的应用。 Zbl 1318.68113号 佐尔坦·埃西克;帕诺斯·朗多吉安尼 三 2014 时态析取逻辑编程。 Zbl 0973.68028号 马诺利斯Gergatsoulis;帕诺斯·朗多吉安尼;帕纳伊奥托普洛斯，西米斯 三 2001 链数据日志程序的分支时间转换技术。 Zbl 0985.68020号 帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 2 2001 近似不动点理论和高阶逻辑程序的良好语义。 Zbl 1452.68037号 安吉洛斯·查拉兰比迪斯;帕诺斯·朗多吉安尼;艾奥娜·西梅尼杜 2 2018 在有充分依据的语义下，强等价的一个充分条件。 Zbl 1165.68339号 克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 2 2005 时序逻辑编程和循环和测试中的分层否定。 Zbl 0974.68028号 Rondogiannis，P。 2 2001 扩展高阶逻辑编程。 Zbl 1306.68004号 安吉洛斯·查拉兰比迪斯;康斯坦丁诺斯·汉乔普洛斯;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 1 2010 布尔语法的博弈论特征。 Zbl 1247.68122号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 1 2009 基于Petri网的进程代数程序死锁分析。 Zbl 0821.68090号 Rondogiannis，P。;郑，M.H.M。 1 1994 图的生成树个数的极限刻画。 Zbl 1171.05344号 尼科洛普洛斯，S.D。;诺米科斯，C。;Rondogiannis，P。 1 2004 高阶函数语言和内涵逻辑。 Zbl 0945.68030号 Rondogiannis，P。;Wadge，西北。 1 1999 基于非确定性结构的数据日志程序转换技术。 Zbl 1073.68588号 波提喀斯（Potikas）、彼得罗斯（Petros）;帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 1 2002 带否定的逻辑程序的无限值语义。 Zbl 1013.68058号 帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 1 2002 无限值语义：概述、最新结果和未来方向。 Zbl 1400.68051号 帕诺斯·朗多吉安尼;安东尼斯·特隆波基斯 1 2013 有序析取逻辑程序的首选模型的逻辑特征。 Zbl 1522.68106号 Charalambidis，安吉洛斯;帕诺斯·朗多吉安尼;安东尼斯·特隆波基斯 三 2021 近似不动点理论和高阶逻辑程序的有充分依据的语义。 Zbl 1452.68037号 安吉洛斯·查拉兰比迪斯;帕诺斯龙多吉安尼斯;艾奥娜·西梅尼杜 2 2018 定义型高阶逻辑程序的两个定点语义的等价性。 Zbl 1359.68041号 安吉洛斯·查拉兰比迪斯;帕诺斯·朗多吉安尼;艾奥娜·西梅尼杜 4 2017 非单调函数的不动点定理。 Zbl 1318.68066号 佐尔坦·埃西克;帕诺斯·朗多吉安尼 8 2015 带否定的扩展高阶逻辑编程的最小模型语义。 Zbl 1309.68030号 安吉洛斯·查拉兰比迪斯;佐尔坦·埃西克;帕诺斯·朗多吉安尼 9 2014 非单调函数的预不动点定理及其在逻辑程序设计和形式文法中的应用。 Zbl 1318.68113号 佐尔坦·埃西克;帕诺斯·朗多吉安尼 三 2014 无限值语义：概述、最新结果和未来方向。 Zbl 1400.68051号 帕诺斯·朗多吉安尼;安东尼斯·特隆波基斯 1 2013 关于一元方程对自然数集的表达能力。 Zbl 1263.68102号 亚历山大·奥霍金;帕诺斯·朗多吉安尼 10 2012 布尔语法的游戏理论特征。 Zbl 1207.68175号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 三 2011 扩展高阶逻辑编程。 Zbl 1306.68004号 安吉洛斯·查拉兰比迪斯;康斯坦蒂诺斯·汉德约普洛斯;帕诺斯龙多吉安尼斯;威廉·沃奇（William W.Wadge）。 1 2010 布尔语法的良好语义。 兹比尔1181.68162 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 17 2009 布尔语法的博弈论特征。 Zbl 1247.68122号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 1 2009 逻辑编程中用于基础良好的否定的无限语义。 Zbl 1133.68012号 加拉纳基，克瑞西达;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 9 2008 局部分层布尔文法。 Zbl 1328.68105号 克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 4 2008 带否定的析取逻辑程序的纯模型理论语义。 Zbl 1149.68327号 佩德罗·卡巴拉尔;大卫·皮尔斯;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 三 2007 布尔语法的良好语义。 Zbl 1227.68042号 Kountouriotis，Vassilis公司;克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼 6 2006 带否定即失败逻辑程序的最小模型语义。 Zbl 1367.68038号 帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 15 2005 线性和分支时间演绎数据库的时间分层测试。 Zbl 1077.68025号 克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 三 2005 在有充分依据的语义下，强等价的一个充分条件。 Zbl 1165.68339号 克里斯托斯·诺米科斯;帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 2 2005 图的生成树数量的一种极限刻画。 Zbl 1171.05344号 尼科洛普洛斯，S.D。;Nomikos，C。;Rondogiannis，P。 1 2004 基于非确定性结构的数据日志程序转换技术。 兹比尔1073.68588 波提喀斯（Potikas）、彼得罗斯（Petros）;帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 1 2002 带否定的逻辑程序的无限值语义。 Zbl 1013.68058号 帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 1 2002 时态析取逻辑编程。 Zbl 0973.68028号 马诺利斯Gergatsoulis;帕诺斯·朗多吉安尼;帕纳伊奥托普洛斯，西米斯 三 2001 链数据日志程序的分支时间转换技术。 Zbl 0985.68020号 帕诺斯·朗多吉安尼;马诺利斯Gergatsoulis 2 2001 时序逻辑编程和循环和测试中的分层否定。 Zbl 0974.68028号 Rondogiannis，P。 2 2001 高阶函数语言和内涵逻辑。 Zbl 0945.68030号 Rondogiannis，P。;Wadge，西北。 1 1999 关于多级相关图的生成树的个数。 Zbl 1339.05191号 尼科洛普洛斯，S.D。;Rondogiannis，P。 10 1998 分支时间逻辑编程：语言仙人掌及其应用。 Zbl 0948.68034号 Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 7 1998 基于Petri网的进程代数程序死锁分析。 兹比尔0821.68090 Rondogiannis，P。;郑，M.H.M。 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名被59位作者引用 18 亚历山大·奥霍金 13 帕诺斯·朗多吉安尼 9 克里斯托斯·诺米科斯 7 佐尔坦·埃西克 6 艾奥娜·西梅尼杜 5 安吉洛斯·查拉兰比迪斯 三 米哈伊尔·巴拉什 三 马诺利斯Gergatsoulis 三 Kountouriotis，Vassilis公司 三 帕诺斯·朗多吉安尼 三 杨晓晓 2 段振华 2 加拉纳基，克瑞西达 2 亚历克西斯·索林 2 威廉·沃奇（William W.Wadge）。 2 斯特凡·沃尔特兰 1 汤姆·J·阿梅罗特。 1 迈克尔·伯恩雷特 1 巴特·博加特 1 格哈德·布鲁卡 1 弗朗索瓦·布里 1 Carayol，阿诺 1 科尔特斯，尤利西斯 1 奥利维尔·德兰德 1 詹姆斯·德尔格兰德。 1 马克·德内克 1 托马斯·艾特 1 阿西尔·埃斯特万 1 冯新余 1 迈克尔·芬克 1 傅明 1 阿明·贾法里莫查达姆 1 杰·阿图尔 1 米查尔·库克 1 托米·莱赫蒂宁 1 马，钱 1 简·马利 1 埃里克·马丁。 1 西蒙·马利尼森 1 戴尔·艾伦·米勒 1 胡安·何塞·米尼亚纳 1 胡安·卡洛斯·尼维斯 1 斯塔夫罗斯·尼古洛普洛斯。 1 毛里西奥·奥索里奥。 1 列奥尼达斯·帕利奥斯 1 帕纳伊奥托普洛斯，西米斯 1 查里斯·帕帕佐普洛斯 1 约格·普勒 1 克里斯蒂安·赖特维纳 1 哈维尔·罗梅罗 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 曼努埃尔·索勒 1 汤比思，汉斯 1 安东尼斯·特隆波基斯 1 Tsouana、Thanos 1 奥斯卡·瓦莱罗 1 Van den Bussche，简 1 奥克萨纳S.亚基莫娃。 1 张瑜 全部的 前5名21篇连载文章中引用 14 理论计算机科学 7 逻辑程序设计理论与实践 5 信息与计算 4 纯逻辑与应用逻辑年鉴 2 人工智能 2 MSCS公司。计算机科学中的数学结构 2 国际计算机科学基础杂志 2 应用非经典逻辑杂志 1 信息学报 1 离散数学 1 信息处理信件 1 计算机与系统科学杂志 1 最优控制应用与方法 1 新一代计算 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯。RACSAM公司 1 计算机科学前沿 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 58 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 阶、格、有序代数结构（06-XX） 2 一般代数系统（08-XX） 2 范畴理论；同调代数（18-XX） 1 组合数学（05-XX） 1 算子理论（47-XX） 1 变异微积分和最优控制；最优化（49至XX） 1 一般拓扑结构（54至XX） 按年份列出的引文