编辑配置文件（在新选项卡中打开） 安德烈亚斯·波德尔斯基 合著者距离 作者ID： 波多尔斯基·安德里亚斯 发布日期： 安德烈亚斯·波德尔斯基 外部链接： MGP公司 已编制索引的文档： 99出版物自1989年起 8作为编辑的贡献 合著者： 84位合著者具有102联合出版物 1862合作作者 全部的 前5名合著者 5 单作者的 13 Jochen Hoenicke公司 13 安德烈·里巴尔琴科 9 马蒂亚斯·海兹曼 7 维托尔德·查拉托尼克 7 Supratik Mukhopadhyay公司 7 莫里斯·尼瓦特 6 阿尔特·卡奇，哈桑 6 托马斯·维斯 5 塞尔吉·博戈莫洛夫 5 乔治·德尔扎诺 5 丹尼尔·迪特施 5 阿扎德法尔赞 5 扎卡里·金凯德 4 拜伦·库克 4 马尔科·穆尼兹 4 伯恩德·韦斯特法尔 三 哈格斯·卡尔布里克斯 三 戈兰·弗雷斯 三 亚历山大·马尔基斯 三 约阿希姆·尼伦 三 亚历山大·纳茨 三 格特·斯莫尔卡 三 希尔克·瓦格纳 2 鲍尔，托马斯 2 丹尼尔·博基尔 2 布鲁诺·布兰切特 2 哈维尔·埃斯帕尔扎 2 马塞洛·福雷茨 2 马吕斯·格雷萨克斯 2 克里斯蒂安·埃雷拉 2 库尔特·延森 2 塞巴斯蒂安·库普弗施米德 2 科琳娜·米特罗欣 2 达米安·尼文斯基 2 奥尔德罗格（Ernst-Rüdiger Olderog） 2 Rajamani，Sriram K。 2 克里斯蒂安·席林 1 帕罗什·阿齐兹·阿卜杜拉 1 巴勃罗·阿尔贡 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 阿卜杜勒瓦赫布·阿亚里 1 David A.Basin。 1 布鲁诺·库塞尔 1 雷娜·迪米特洛娃 1 克劳斯·阿格博士 1 埃夫伦，埃尔米斯 1 塞尔吉奥·费奥·阿雷尼斯 1 伯恩德·芬克贝纳 1 塞斯·科本·戈尔茨坦 1 阿列克谢·戈茨曼 1 霍夫曼，约格 1 兰吉特·贾拉 1 尼尔·D·琼斯。 1 拉杰夫·乔希 1 多米尼克·克伦普 1 维克多·昆卡 1 林，帕特里克·P。 1 文森特·兰根菲尔德 1 简·莱克 1 Leino，K.Rustan M。 1 Michael Leuschel先生 1 大卫·艾伦，麦卡利斯特 1 肯尼思·麦克米兰。 1 彼得·米勒 1 迈赫迪·瑙阿尔 1 奥德·帕顿 1 皮埃尔·佩拉多 1 阿米尔·普努利 1 马丁·里纳德（Martin C.Rinard）。 1 穆利·萨吉夫 1 伊娜·谢弗 1 马丁·施瓦夫 1 克劳斯·施瓦兹勒 1 穆罕默德·纳西姆·塞吉尔 1 沙龙·肖姆 1 斯马乌斯，Jan-Georg 1 托马斯·斯特伦普 1 Jean-Marc Talbot 1 拉尔夫·特里宁 1 乌尔里希·尼切 1 莫西·亚亚科夫·瓦尔迪 1 Viry，Frédéric 1 伊戈尔·瓦卢基维奇 1 马丁·韦尔 全部的 前5名系列 5 理论计算机科学 5 计算机科学课堂讲稿 三 系统设计中的形式化方法 2 逻辑程序设计杂志 2 信息与计算 2 科学院院长。塞丽一世 1 离散数学 1 数学系统理论 1 SIAM计算机杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 约束条件 1 逻辑程序设计理论与实践 1 计算机科学和人工智能研究 全部的 前5名领域 104 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 7 总体主题；集合（00-XX） 6 系统论；控制（93至XX） 4 群论与推广（20-XX） 1 一般代数系统（08-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 81出版物有被引用578中的次417文件 引用人▼ 年份▼ 线性排序函数综合的完整方法。 Zbl 1202.68109号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 50 2004 用于程序终止的转换不变量和转换谓词抽象。 Zbl 1315.68104号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 34 2011 用于模型检查C程序的布尔和笛卡尔抽象。 Zbl 0978.68540号 鲍尔，托马斯；安德烈亚斯·波德尔斯基；Rajamani，Sriram K。 31 2001 终止的抽象细化。 Zbl 1141.68365号 拜伦·库克；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 23 2005 嵌套的插入物。 Zbl 1312.68059号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 21 2010 一种包含逻辑编程的特征约束系统。 Zbl 0801.68023号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；格特·斯莫尔卡 17 1994 过程间并行流图的前*和后*的有效算法。 Zbl 1323.68407号 哈维尔·埃斯帕尔扎；安德烈亚斯·波德尔斯基 17 2000 最终，理性语言的周期性单词。 Zbl 1509.68128号 哈格斯·卡尔布里克斯；莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 17 1994 混合系统的模型检验：从可达性到稳定性。 Zbl 1178.93077号 安德烈亚斯·波德尔斯基；希尔克·瓦格纳 16 2006 改进跟踪抽象。 Zbl 1248.68146号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 13 2009 走向生命的意义。 Zbl 0801.68018号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 12 1991 用于程序验证的谓词抽象。 Zbl 1392.68253号 兰吉特·贾拉；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 12 2018 转移谓词抽象和公平终止。 Zbl 1369.68152号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 12 2005 走向生命的意义。 Zbl 0782.68022号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 11 1993 使用距离表示抽象进行定向模型检查。 兹比尔1178.68338 克劳斯·阿格博士；伯恩德·芬克贝纳；安德烈亚斯·波德尔斯基 11 2006 用于软件模型检查的抽象精化的相对完整性。 Zbl 1043.68523号 鲍尔，托马斯；安德烈亚斯·波德尔斯基；Rajamani，Sriram K。 11 2002 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；Viry，Frédéric；安德烈亚斯·波德尔斯基；克里斯蒂安·席林 11 2018 布尔堆。 Zbl 1141.68374号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2005 树自动机和语言。 Zbl 0781.00007号 10 1992 最小升降树自动机。 Zbl 0868.68080号 莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 10 1997 反例引导焦点。 Zbl 1312.68067号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2010 证明这些程序最终会有好处。 兹比尔1295.68083 拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。 9 2007 线性套索程序的线性排名。 Zbl 1410.68086号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；简·莱克；安德烈亚斯·波德尔斯基 9 2013 归纳数据流图。 Zbl 1301.68178号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 9 2013 密码协议验证：标记强制终止。 Zbl 1029.94501号 布鲁诺·布兰切特；安德烈亚斯·波德尔斯基 8 2003 有限状态自动机的确定化和最小化的几何视图。 Zbl 0722.68080号 布鲁诺·库塞尔；达米安·尼温斯基；安德烈亚斯·波德尔斯基 8 1991 验证加密协议：标记强制终止。 Zbl 1070.68033号 布鲁诺·布兰切特；安德烈亚斯·波德尔斯基 7 2005 关于有理语言的最终周期词。（《最后行动纲领》（Sur les mots ultimement périodiques des langages rationnels de mots infinis） Zbl 0917.20053号 哈格斯·卡尔布里克斯；莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 6 1994 基于约束的演绎模型检查。 Zbl 0991.68013号 乔治·德尔扎诺；安德烈亚斯·波德尔斯基 6 2001 号角微积分。 Zbl 0945.03541号 维托尔德·查拉托尼克；大卫·麦卡利斯特；达米安·尼文斯基；安德烈亚斯·波德尔斯基；伊戈尔·瓦卢基维奇 6 1998 广播协议的基于约束的分析。 Zbl 0944.68139号 乔治·德尔扎诺；哈维尔·埃斯帕尔扎；安德烈亚斯·波德尔斯基 6 1999 定义树语言（续）。 Zbl 0677.68066号 莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 6 1989 混合系统的区域稳定性证明。 Zbl 1141.93353号 安德烈亚斯·波德尔斯基；希尔克·瓦格纳 6 2007 尺寸变化终止和转换不变量。 Zbl 1306.68028号 马蒂亚斯·海兹曼；尼尔·D·琼斯。；安德烈亚斯·波德尔斯基 6 2010 证明参数化程序的活性。 Zbl 1401.68038号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 6 2016 特征自动机和可识别的特征树集。 Zbl 1497.68146号 约阿希姆·尼伦；安德烈亚斯·波德尔斯基 5 1993 字段约束分析。 Zbl 1176.68130号 托马斯·维斯；维克多·昆卡；帕特里克·兰姆；安德烈亚斯·波德尔斯基；马丁·里纳德 5 2006 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·维斯 5 2009 模型检查作为约束求解。 Zbl 0966.68121号 安德烈亚斯·波德尔斯基 5 2000 公平模理论：LTL软件模型检查的新方法。 Zbl 1381.68157号 丹尼尔·迪特施；马蒂亚斯·海兹曼；文森特·兰根菲尔德；安德烈亚斯·波德尔斯基 5 2015 多层次的线程模块化：组成验证中的一颗明珠。 兹比尔1380.68274 Jochen Hoenicke公司；鲁帕克·马朱姆达尔；安德烈亚斯·波德尔斯基 5 2017 无界并行的证明空间。 Zbl 1345.68102号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 5 2015 Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号 丹尼尔·迪特施；马蒂亚斯·海兹曼；Jochen Hoenicke公司；亚历山大·努茨；安德烈亚斯·波德尔斯基 5 2019 设置带交点的约束。 Zbl 1096.68023号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 4 2002 约束逻辑编程中无限状态系统的验证。 Zbl 0947.68028号 乔治·德尔扎诺；安德烈亚斯·波德尔斯基 4 1999 证明这一点。 Zbl 1284.68395号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 4 2014 关于反定树语言和一般定树语言（扩展抽象）。 Zbl 1425.68225号 皮埃尔·佩拉多；安德烈亚斯·波德尔斯基 4 1992 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯；塞尔吉·博戈莫洛夫；马吕斯·格雷萨克斯；托马斯·斯特伦普；安德烈亚斯·波德尔斯基 4 2015 使用谓词抽象在UPPAAL中生成启发式函数。 Zbl 1196.68139号 霍夫曼，约格；斯马乌斯，Jan-Georg；安德烈·里巴尔琴科；塞巴斯蒂安·库普弗施米德；安德烈亚斯·波德尔斯基 4 2007 带有间隙阶约束的下推自动机。 兹比尔1434.68222 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔治·德尔扎诺；安德烈亚斯·波德尔斯基 4 2013 通过插值进行拆分。 Zbl 1326.68091号 埃夫伦·埃尔米斯；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 三 2012 终止汇总：不退回！ Zbl 1185.68412号 拜伦·库克；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 三 2009 动态控制的显式公平调度。 Zbl 1274.68035号 奥尔德罗格（Ernst-Rüdiger Olderog）；安德烈亚斯·波德尔斯基 三 2010 线程模块验证是笛卡尔抽象解释。 Zbl 1168.68423号 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 三 2006 一种基于特征的约束系统，用于包含逻辑编程。 Zbl 0862.68024号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；格特·斯莫尔卡 三 1992 有序特征理论的统一。 Zbl 0884.68025号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；塞斯·科本·戈尔茨坦 三 1997 动态控制的公平性。 Zbl 1284.68400号 Jochen Hoenicke公司；奥尔德罗格（Ernst-Rüdiger Olderog）；安德烈亚斯·波德尔斯基 三 2010 逻辑程序的定向类型推理。 Zbl 0917.68043号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 三 1998 用于构建和分析系统的工具和算法。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。 Zbl 1046.68008号 2 2004 具有不相交活动的时间自动机。 Zbl 1374.68263号 马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 2 2012 混合系统的稳定性证明。 Zbl 1348.68107号 科琳娜·米特罗欣；安德烈亚斯·波德尔斯基 2 2011 一类集合约束的独立性。 兹伯利0886.03023 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 2 1996 组成混合系统的可达性分析，以确保安全性和稳定性。 Zbl 1305.68110号 塞尔吉·博戈莫洛夫；科琳娜·米特罗欣；安德烈亚斯·波德尔斯基 2 2010 基于集合的程序分析中的路径与树。 Zbl 1323.68201号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基；Jean-Marc Talbot 2 2000 证明无限状态系统时间特性的时间预言。 Zbl 1522.68340号 奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆 1 2021 无限树的等式约束和成员约束。 Zbl 1503.68041号 约阿希姆·尼伦；安德烈亚斯·波德尔斯基；拉尔夫·特里宁 1 1993 树自动机的幺半群方法。 兹伯利0798.68113 安德烈亚斯·波德尔斯基 1 1992 订单分类特征约束的包含和取消包含。 Zbl 0793.68022号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 1 1993 在要素树上排列约束。 Zbl 0947.68137号 马丁·米勒；约阿希姆·尼伦；安德烈亚斯·波德尔斯基 1 2000 分层CLP的基于约束的无限模型检查和制表。 Zbl 1045.68089号 维托尔德·查拉托尼克；Supratik Mukhopadhyay公司；安德烈亚斯·波德尔斯基 1 2002 末日计划点数。 兹比尔1211.68090 Jochen Hoenicke公司；Leino，K.Rustan M。；安德烈亚斯·波德尔斯基；马丁·施瓦夫；托马斯·维斯 1 2010 按需堆假设。 兹比尔1155.68446 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；托马斯·维斯 1 2008 线程模块反例引导的抽象细化。 Zbl 1306.68031号 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2010 反例中的循环不变量。 Zbl 1420.68128号 马吕斯·格雷萨克斯；丹尼尔·迪特施；安德烈亚斯·波德尔斯基 1 2017 带递归的while程序的摘要。 Zbl 1108.68428号 安德烈亚斯·波德尔斯基；伊娜·谢弗；希尔克·瓦格纳 1 2005 分离公平性和良好基础，用于分析公平离散系统。 Zbl 1087.68066号 阿米尔·普努利；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2005 精确的螺纹模块验证。 Zbl 1211.68095号 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2007 基于转换的定向模型检查。 Zbl 1234.68268号 马丁·韦尔；塞巴斯蒂安·库普弗施米德；安德烈亚斯·波德尔斯基 1 2009 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫；克里斯蒂安·埃雷拉；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 1 2014 延迟抽象是广播协议的决策过程吗？ Zbl 1138.68445号 雷娜·迪米特洛娃；安德烈亚斯·波德尔斯基 1 2008 无限控制的公平性。 Zbl 1444.68018号 Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 1 2015 证明无限状态系统时间特性的时间预言。 Zbl 1522.68340号 奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆 1 2021 Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号 丹尼尔·迪特施；马蒂亚斯·海兹曼；Jochen Hoenicke公司；亚历山大·纳茨；安德烈亚斯·波德尔斯基 5 2019 用于程序验证的谓词抽象。 Zbl 1392.68253号 兰吉特·贾拉；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 12 2018 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫；马塞洛·福雷茨；戈兰·弗雷斯；Viry，Frédéric；安德烈亚斯·波德尔斯基；克里斯蒂安·席林 11 2018 多层次的线程模块化：组成验证中的一颗明珠。 兹比尔1380.68274 Jochen Hoenicke公司；鲁帕克·马朱姆达尔；安德烈亚斯·波德尔斯基 5 2017 反例中的循环不变量。 Zbl 1420.68128号 马吕斯·格雷萨克斯；丹尼尔·迪特施；安德烈亚斯·波德尔斯基 1 2017 证明参数化程序的活性。 Zbl 1401.68038号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 6 2016 公平模理论：LTL软件模型检查的新方法。 Zbl 1381.68157号 丹尼尔·迪特施；马蒂亚斯·海兹曼；文森特·兰根菲尔德；安德烈亚斯·波德尔斯基 5 2015 无界并行的证明空间。 Zbl 1345.68102号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 5 2015 使用支持功能消除可达性中的虚假转换。 Zbl 1364.93056号 戈兰·弗雷斯；塞尔吉·博戈莫洛夫；马吕斯·格雷萨克斯；托马斯·斯特伦普；安德烈亚斯·波德尔斯基 4 2015 无限控制的公平性。 Zbl 1444.68018号 Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 1 2015 证明很重要。 Zbl 1284.68395号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 4 2014 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫；克里斯蒂安·埃雷拉；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 1 2014 线性套索程序的线性排名。 Zbl 1410.68086号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；简·莱克；安德烈亚斯·波德尔斯基 9 2013 归纳数据流图。 Zbl 1301.68178号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 9 2013 带有间隙阶约束的下推自动机。 兹比尔1434.68222 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔治·德尔扎诺；安德烈亚斯·波德尔斯基 4 2013 通过插值进行拆分。 Zbl 1326.68091号 埃夫伦·埃尔米斯；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 三 2012 具有不相交活动的时间自动机。 Zbl 1374.68263号 马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 2 2012 用于程序终止的转换不变量和转换谓词抽象。 Zbl 1315.68104号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 34 2011 混合系统的稳定性证明。 Zbl 1348.68107号 科琳娜·米特罗欣；安德烈亚斯·波德尔斯基 2 2011 嵌套的插入物。 Zbl 1312.68059号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 21 2010 反例引导焦点。 Zbl 1312.68067号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2010 尺寸变化终止和转换不变量。 Zbl 1306.68028号 马蒂亚斯·海兹曼；尼尔·D·琼斯。；安德烈亚斯·波德尔斯基 6 2010 动态控制的显式公平调度。 Zbl 1274.68035号 奥尔德罗格（Ernst-Rüdiger Olderog）；安德烈亚斯·波德尔斯基 三 2010 动态控制的公平性。 Zbl 1284.68400号 Jochen Hoenicke公司；奥尔德罗格（Ernst-Rüdiger Olderog）；安德烈亚斯·波德尔斯基 三 2010 组成混合系统的可达性分析，以确保安全性和稳定性。 Zbl 1305.68110号 塞尔吉·博戈莫洛夫；科琳娜·米特罗欣；安德烈亚斯·波德尔斯基 2 2010 末日计划点数。 兹比尔1211.68090 Jochen Hoenicke公司；Leino，K.Rustan M。；安德烈亚斯·波德尔斯基；马丁·施瓦夫；托马斯·维斯 1 2010 线程模块反例引导的抽象细化。 兹比尔1306.68031 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2010 改进跟踪抽象。 Zbl 1248.68146号 马蒂亚斯·海兹曼；Jochen Hoenicke公司；安德烈亚斯·波德尔斯基 13 2009 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·维斯 5 2009 终止汇总：不退回！ Zbl 1185.68412号 拜伦·库克；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 三 2009 基于转换的定向模型检查。 Zbl 1234.68268号 马丁·韦尔；塞巴斯蒂安·库普弗施米德；安德烈亚斯·波德尔斯基 1 2009 按需堆假设。 兹比尔1155.68446 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；托马斯·维斯 1 2008 懒惰抽象是广播协议的决策过程吗？ Zbl 1138.68445号 雷娜·迪米特洛娃；安德烈亚斯·波德尔斯基 1 2008 证明这些程序最终会有好处。 Zbl 1295.68083号 拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。 9 2007 混合系统的区域稳定性证明。 Zbl 1141.93353号 安德烈亚斯·波德尔斯基；希尔克·瓦格纳 6 2007 使用谓词抽象在UPPAAL中生成启发式函数。 Zbl 1196.68139号 霍夫曼，约格；斯马乌斯，Jan-Georg；安德烈·里巴尔琴科；塞巴斯蒂安·库普费尔施密德；安德烈亚斯·波德尔斯基 4 2007 精确的螺纹模块验证。 Zbl 1211.68095号 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2007 混合系统的模型检验：从可达性到稳定性。 Zbl 1178.93077号 安德烈亚斯·波德尔斯基；希尔克·瓦格纳 16 2006 使用距离表示抽象进行定向模型检查。 Zbl 1178.68338号 克劳斯·阿格博士；伯恩德·芬克贝纳；安德烈亚斯·波德尔斯基 11 2006 字段约束分析。 Zbl 1176.68130号 托马斯·维斯；维克多·昆卡；帕特里克·兰姆；安德烈亚斯·波德尔斯基；马丁·里纳德 5 2006 线程模块验证是笛卡尔抽象解释。 Zbl 1168.68423号 亚历山大·马尔基斯；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 三 2006 终止的抽象细化。 Zbl 1141.68365号 拜伦·库克；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 23 2005 转移谓词抽象和公平终止。 Zbl 1369.68152号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 12 2005 布尔堆。 Zbl 1141.68374号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2005 验证加密协议：标记强制终止。 Zbl 1070.68033号 布鲁诺·布兰切特；安德烈亚斯·波德尔斯基 7 2005 带递归的while程序的摘要。 Zbl 1108.68428号 安德烈亚斯·波德尔斯基；伊娜·谢弗；希尔克·瓦格纳 1 2005 分离公平性和良好基础，用于分析公平离散系统。 Zbl 1087.68066号 阿米尔·普努利；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 1 2005 线性排序函数综合的完整方法。 Zbl 1202.68109号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 50 2004 用于构建和分析系统的工具和算法。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。 Zbl 1046.68008号 2 2004 密码协议验证：标记强制终止。 Zbl 1029.94501号 布鲁诺·布兰切特；安德烈亚斯·波德尔斯基 8 2003 用于软件模型检查的抽象精化的相对完整性。 Zbl 1043.68523号 鲍尔，托马斯；安德烈亚斯·波德尔斯基；Rajamani，Sriram K。 11 2002 设置带交点的约束。 Zbl 1096.68023号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 4 2002 分层CLP的基于约束的无限模型检查和制表。 兹比尔1045.68089 维托尔德·查拉托尼克；Supratik Mukhopadhyay公司；安德烈亚斯·波德尔斯基 1 2002 用于模型检查C程序的布尔和笛卡尔抽象。 Zbl 0978.68540号 鲍尔，托马斯；安德烈亚斯·波德尔斯基；Rajamani，Sriram K。 31 2001 基于约束的演绎模型检查。 Zbl 0991.68013号 乔治·德尔扎诺；安德烈亚斯·波德尔斯基 6 2001 过程间并行流图的前*和后*的有效算法。 Zbl 1323.68407号 哈维尔·埃斯帕尔扎；安德烈亚斯·波德尔斯基 17 2000 模型检查作为约束求解。 Zbl 0966.68121号 安德烈亚斯·波德尔斯基 5 2000 基于集合的程序分析中的路径与树。 Zbl 1323.68201号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基；Jean-Marc Talbot 2 2000 对要素树上的约束进行排序。 Zbl 0947.68137号 马丁·米勒；约阿希姆·尼伦；安德烈亚斯·波德尔斯基 1 2000 广播协议的基于约束的分析。 Zbl 0944.68139号 乔治·德尔扎诺；哈维尔·埃斯帕尔扎；安德烈亚斯·波德尔斯基 6 1999 约束逻辑编程中无限状态系统的验证。 Zbl 0947.68028号 乔治·德尔扎诺；安德烈亚斯·波德尔斯基 4 1999 号角微积分。 Zbl 0945.03541号 维托尔德·查拉托尼克；大卫·麦卡利斯特；达米安·尼文斯基；安德烈亚斯·波德尔斯基；伊戈尔·瓦卢基维奇 6 1998 逻辑程序的定向类型推理。 兹伯利0917.68043 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 三 1998 最小升降树自动机。 Zbl 0868.68080号 莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 10 1997 有序特征理论的统一。 Zbl 0884.68025号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；塞斯·科本·戈尔茨坦 三 1997 一类集合约束的独立性。 Zbl 0886.03023号 维托尔德·查拉托尼克；安德烈亚斯·波德尔斯基 2 1996 一种包含逻辑编程的特征约束系统。 Zbl 0801.68023号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；格特·斯莫尔卡 17 1994 最终，理性语言的周期性单词。 Zbl 1509.68128号 哈格斯·卡尔布里克斯；莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 17 1994 关于有理语言的最终周期词。（《最后行动纲领》（Sur les mots ultimement périodiques des langages rationnels de mots infinis） Zbl 0917.20053号 哈格斯·卡尔布里克斯；莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 6 1994 走向生命的意义。 Zbl 0782.68022号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 11 1993 特征自动机和可识别的特征树集。 Zbl 1497.68146号 约阿希姆·尼伦；安德烈亚斯·波德尔斯基 5 1993 无限树的等式约束和成员约束。 Zbl 1503.68041号 约阿希姆·尼伦；安德烈亚斯·波德尔斯基；拉尔夫·特里宁 1 1993 订单分类特征约束的包含和取消包含。 Zbl 0793.68022号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 1 1993 树自动机和语言。 Zbl 0781.00007号 10 1992 关于逆向树语言和广义树语言（扩展抽象）。 Zbl 1425.68225号 皮埃尔·佩拉多；安德烈亚斯·波德尔斯基 4 1992 一种基于特征的约束系统，用于包含逻辑编程。 Zbl 0862.68024号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基；格特·斯莫尔卡 三 1992 树自动机的幺半群方法。 Zbl 0798.68113号 安德烈亚斯·波德尔斯基 1 1992 走向生命的意义。 Zbl 0801.68018号 阿尔特·卡奇，哈桑；安德烈亚斯·波德尔斯基 12 1991 有限状态自动机的确定和最小化的几何观点。 Zbl 0722.68080号 布鲁诺·库塞尔；达米安·尼温斯基；安德烈亚斯·波德尔斯基 8 1991 定义树语言（续）。 Zbl 0677.68066号 莫里斯·尼瓦特；安德烈亚斯·波德尔斯基 6 1989 所有引用的出版物 前5名被引用出版物 全部的 前5名759位作者引用 23 安德烈亚斯·波德尔斯基 9 吉尔根·吉斯尔 9 Jochen Hoenicke公司 8 丹尼尔·科宁 7 达纳·菲斯曼 6 达纳州安格鲁因 6 艾哈迈德·博阿贾尼 6 拜伦·库克 6 弗洛里安·弗洛恩 6 马蒂亚斯·海兹曼 6 维克多·昆卡 6 泰瑟·图利 6 托马斯·维斯 5 穆罕默德·法乌齐（Mohamed Faouzi Atig） 5 阿米尔·本·阿姆拉姆。 5 塞尔吉·博戈莫洛夫 5 斯特凡尼德劳恩 5 格里戈里·费迪尤科维奇 5 约翰·加拉赫（John P.Gallagher）。 5 萨米尔·根奈姆 5 杰拉·亨塞尔 5 李勇 5 约阿希姆·尼伦 5 娜塔莎·莎莉吉娜 5 西尔维娅·斯特拉 5 拉尔夫·特里宁 4 帕罗什·阿齐兹·阿卜杜拉 4 斯坦利·巴克 4 马克·布罗克施米特 4 维罗尼克·科尔蒂尔 4 戈兰·弗雷斯 4 西尔维奥·吉拉尔迪 4 阿尔贝托·格里乔 4 阿里·古芬克尔 4 霍夫曼，约格 4 迪帕克·卡普尔 4 丹尼斯·卢吉兹 4 罗兰·迈耶 4 奥尔德罗格（Ernst-Rüdiger Olderog） 4 乔尔·欧·瓦克宁。 4 菲利普·吕默 4 安德烈·里巴尔琴科 4 克里斯蒂安·席林 4 彼得·施奈德·坎普 4 赫尔穆特·塞德尔 4 格特·斯莫尔卡 4 托马斯·斯特罗德 4 汤姆·沃纳 4 Christoph M.温特斯泰格。 4 詹姆斯·沃雷尔。 4 张丽君 三 阿尔特·卡奇，哈桑 三 罗尔夫·巴科芬 三 德克·拜尔 三 拉斐尔·卡拉斯科。 三 亚历山德罗·西马蒂 三 丹尼尔·迪特施 三 段振华 三 康斯坦丁·埃纳 三 斯蒂芬·福克 三 马塞洛·福雷茨 三 卡斯滕·福斯 三 皮埃尔·甘蒂 三 阿尔蒂·古普塔 三 马修·黑格 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 拉杜·奥西夫 三 直纪小林 三 Kochdumper，尼克拉斯 三 塞巴斯蒂安·库普弗施米德 三 Ondřej Lengál 三 李毅 三 安托万·米内 三 塞巴斯蒂安·马斯卡拉 三 亚历山大·纳茨 三 安德烈·普拉泽 三 罗摩克里希南。 三 菲利普·施诺贝伦 三 广久Seki 三 斯特雷切克，简 三 Tan，Yong Kiam先生 三 田聪 三 斯特凡诺·托内塔 三 莫西·亚亚科夫·瓦尔迪 三 马丁·韦尔 三 乔治·威森巴赫 三 夏碧灿 三 詹乃军 三 张楠 三 弗洛里安·祖勒格 2 艾尔维拉·阿尔伯特 2 弗朗西斯科·阿尔贝蒂 2 马蒂亚斯·阿尔霍夫 2 蒂莫斯·安东尼奥普洛斯 2 迈托·阿拉皮尼斯 2 科尼利厄斯·阿斯切尔曼 2 克拉克·W·巴雷特。 2 斯特凡诺·贝拉尔迪 2 阿德里安·博伊雷特 2 豪尔赫·卡莱拉·鲁比奥 …还有659位作者 全部的 前5名53连载 42 理论计算机科学 26 系统设计中的形式化方法 19 信息与计算 15 自动推理杂志 10 计算的形式方面 9 人工智能 9 程序设计中的逻辑和代数方法杂志 6 逻辑程序设计理论与实践 6 计算机科学中的逻辑方法 5 信息学报 5 计算机与系统科学杂志 5 国际计算机科学基础杂志 4 信息处理信件 三 符号计算杂志 三 计算机科学与技术杂志 三 新一代计算 三 约束条件 三 美国医学会杂志 三 计算机基础理论 三 系统科学与复杂性杂志 三 计算机语言、系统和结构 2 Automatica公司 2 计算机程序设计科学 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 控制论与系统分析 2 数学与人工智能年鉴 2 RAIRO公司。理论信息学及其应用 2 应用数学杂志 2 ACM计算逻辑事务 2 非线性分析。混合动力系统 1 国际控制杂志 1 国际通用系统杂志 1 富兰克林学院学报 1 模糊集与系统 1 符号逻辑杂志 1 编程与计算机软件 1 Studia Logica公司 1 应用数学快报 1 实时系统 1 机器学习 1 应用智能 1 模式识别 1 逻辑、语言与信息杂志 1 函数编程杂志 1 组合优化期刊 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 萨达纳 1 计算机科学中的数学 1 科学中国。信息科学 1 中国计算机科学前沿 1 Modelirovanie i Analiz信息系统 全部的 前5名18个领域被引用 395 计算机科学（68至XX） 70 数理逻辑与基础（03-XX） 19 系统论；控制（93至XX） 14 信息与通信理论、电路（94-XX） 6 运筹学、数学规划（90-XX） 4 组合数学（05-XX） 4 一般代数系统（08-XX） 4 常微分方程（34-XX） 三 动力系统和遍历理论（37至XX） 2 阶、格、有序代数结构（06-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 生物学和其他自然科学（92-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 凸和离散几何（52至XX） 1 概率论与随机过程（60-XX） 按年份列出的引文