编辑配置文件(在新选项卡中打开) 彼得·尼伯特 合著者距离 作者ID: 尼伯特·彼得 发布日期: 彼得·尼伯特;P.尼伯特。 编入索引的文档: 24出版物自1995年以来,包括1本书 1名编辑贡献 合著者: 26位合著者具有23联合出版物 636位合作作者 全部的 前5名合著者 2 单作者的 5 莎拉·泽诺 4 丹尼斯·卢吉兹 三 迈克尔·休恩 三 Doron A.Peled。 三 曲洪阳 2 尤金·亚萨林 2 金·古德斯特兰·拉森 2 奥德·马勒 2 马林诺夫斯基(Janusz Malinowski) 2 塞尔吉奥·尤文 1 格德·贝尔曼 1 塞德里克·贝伦格 1 塞巴斯蒂安·博尔诺 1 马吕斯·博兹加 1 科顿,斯科特 1 马蒂恩·亨德里克斯 1 库班(Marcos E.Kurbán)。 1 莫伊兹·马赫福德 1 雷米·莫林 1 凯文·佩罗 1 阿米尔·普努利 1 皮埃尔·阿莱·雷尼尔 1 芭芭拉·斯普里克 1 Vaandrager,Frits W。 1 沃尔特·福格勒 1 弗兰克·沃纳 系列 2 理论计算机科学 1 欧洲控制杂志 1 计算机科学课堂讲稿 全部的 前5名领域 23 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 三 系统论;控制(93至XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用69中的次61文件 引用人▼ 年份▼ 通过可满足性检查验证时间自动机。 Zbl 1278.68187号 彼得·尼伯特;莫伊兹·马赫福德;尤金·亚萨林;马吕斯·博兹加;奥德·马勒 14 2002 差分逻辑可满足性检查的一些进展。 Zbl 1109.68513号 科顿,斯科特;尤金·亚萨林;奥德·马勒;彼得·尼伯特 12 2004 时间自动机时钟爆炸问题的部分序语义方法。 Zbl 1079.68052号 D.卢吉兹。;P.尼伯特。;塞诺,S。 9 2005 序列代理系统的具有局部视图的演算。 兹比尔1193.68166 彼得·尼伯特 7 1995 向Uppaal添加对称减少。 Zbl 1099.68657号 马蒂恩·亨德里克斯;格德·贝尔曼;金·拉森;彼得·尼伯特;Vaandrager,Frits公司 6 2004 计算化工厂多批次模式下的最优运行方案。 Zbl 0984.93061号 彼得·尼伯特;塞尔吉奥·尤文 4 2000 时间自动机时钟爆炸问题的部分序语义方法。 Zbl 1126.68458号 D.卢吉兹。;P.尼伯特。;塞诺,S。 三 2004 局部优先搜索——部分订单减少的新范例。 Zbl 1006.68532号 彼得·尼伯特;米凯拉·胡恩;莎拉·泽诺;丹尼斯·卢吉兹 2 2001 鉴别模型检查。 Zbl 1155.68444号 彼得·尼伯特;多龙·贝利德;阿米尔·普努利 2 2008 基于SAT的时间自动机部分序语义有界模型检验。 Zbl 1284.68412号 马林诺夫斯基(Janusz Malinowski);彼得·尼伯特 2 2010 计算化工厂多批次模式下的高效运行方案。 Zbl 1293.93526号 彼得·尼伯特;塞尔吉奥·尤文 2 2001 用于通信顺序代理的模型检查逻辑。 Zbl 0932.03028号 迈克尔·休恩;彼得·尼伯特;弗兰克·沃纳 1 1999 在POEM中实现Mazurkiewicz跟踪。 兹比尔1161.68579 彼得·尼伯特;曲洪阳 1 2006 向事件区域自动机添加不变量。 Zbl 1141.68437号 彼得·尼伯特;曲洪阳 1 2006 局部优先搜索的归约标准更强。 Zbl 1168.68386号 库班(Marcos E.Kurbán)。;彼得·尼伯特;曲洪阳;沃尔特·福格勒 1 2006 使用部分顺序快照对LTL进行有效的模型检查。 Zbl 1180.68177号 彼得·尼伯特;多龙·贝利德 1 2006 未加权网格图的平衡连通划分。 Zbl 1512.68192号 塞德里克·贝伦格;彼得·尼伯特;凯文·佩罗 1 2018 未加权网格图的平衡连通划分。 Zbl 1512.68192号 塞德里克·贝林格;彼得·尼伯特;凯文·佩罗 1 2018 基于SAT的时间自动机部分序语义有界模型检验。 Zbl 1284.68412号 马林诺夫斯基(Janusz Malinowski);彼得·尼伯特 2 2010 鉴别模型检查。 Zbl 1155.68444号 彼得·尼伯特;多龙·贝利德;阿米尔·普努利 2 2008 在POEM中实现Mazurkiewicz跟踪。 Zbl 1161.68579号 彼得·尼伯特;曲洪阳 1 2006 向事件区域自动机添加不变量。 Zbl 1141.68437号 彼得·尼伯特;曲洪阳 1 2006 局部优先搜索的归约标准更强。 Zbl 1168.68386号 库班(Marcos E.Kurbán)。;彼得·尼伯特;曲洪阳;沃尔特·福格勒 1 2006 使用部分顺序快照对LTL进行有效的模型检查。 兹比尔1180.68177 彼得·尼伯特;多龙·贝利德 1 2006 时间自动机时钟爆炸问题的部分序语义方法。 Zbl 1079.68052号 D.卢吉兹。;P.尼伯特。;塞诺,S。 9 2005 差分逻辑可满足性检查的一些进展。 Zbl 1109.68513号 科顿,斯科特;尤金·亚萨林;奥德·马勒;彼得·尼伯特 12 2004 向Uppaal添加对称减少。 Zbl 1099.68657号 马蒂恩·亨德里克斯;格德·贝尔曼;金·拉森;彼得·尼伯特;Vaandrager,Frits公司 6 2004 时间自动机时钟爆炸问题的部分序语义方法。 Zbl 1126.68458号 卢吉兹,D。;P.尼伯特。;塞诺,S。 三 2004 通过可满足性检查验证时间自动机。 Zbl 1278.68187号 彼得·尼伯特;莫伊兹·马赫福德;尤金·亚萨林;马吕斯·博兹加;奥德·马勒 14 2002 局部优先搜索——部分订单减少的新范例。 Zbl 1006.68532号 彼得·尼伯特;迈克尔·休恩;莎拉·泽诺;丹尼斯·卢吉兹 2 2001 计算化工厂多批次模式下的高效运行方案。 Zbl 1293.93526号 彼得·尼伯特;塞尔吉奥·尤文 2 2001 计算化工厂多批次模式下的最优运行方案。 Zbl 0984.93061号 彼得·尼伯特;塞尔吉奥·尤文 4 2000 用于通信顺序代理的模型检查逻辑。 Zbl 0932.03028号 迈克尔·休恩;彼得·尼伯特;弗兰克·沃纳 1 1999 序列代理系统的具有局部视图的演算。 Zbl 1193.68166号 彼得·尼伯特 7 1995 所有引用出版物 前5名被引用出版物 全部的 前5名137位作者引用 6 保罗·加斯廷 4 亚历山德罗·西马蒂 4 沃尔克·迪克特 4 克里希纳·苏布拉马尼 三 帕特里夏·鲍耶 三 汤米·A·琼蒂拉。 三 彼得·尼伯特 2 阿克西,S。 2 卡梅尔·巴考伊 2 哈尼法·布切内布 2 马可·波扎诺 2 罗伯特·布鲁托梅索 2 凯乔·赫尔扬科 2 弗雷德里克·赫布雷托 2 马丁·兰格 2 金·古德斯特兰·拉森 2 奥德·马勒 2 蒂埃里·雅克·马萨特 2 沃伊切赫·彭泽克 2 马可·罗维里 2 罗伯托·塞巴斯蒂亚尼 2 巴拉古鲁·斯里瓦桑 2 彼得·范·罗苏姆 2 伊戈尔·瓦卢凯维奇 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 鲁道夫·戈麦斯 1 阿尔贝托·格里乔 1 德米特里·格罗莫夫 1 斯特凡·哈尔 1 洛依茨海露 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 马克·赫布斯特里特 1 穆罕默德·马赫迪·贾古奥里 1 汤米·詹胡宁 1 芭芭拉·乔布斯曼 1 马修·琼斯。 1 彼得·琼森 1 加布里埃尔·卡里恩 1 加尔·卡茨 1 米萨Keinänen 1 Jean-Francois肯普夫 1 埃桑·卡梅斯帕纳 1 汉娜·克劳代尔 1 马蒂亚斯·科尔曼 1 奥利弗·科滕 1 马西耶·库特尼 1 丹尼尔·科宁 1 K.Narayan Kumar 1 维克托·拉盖克维斯特 1 拉诺特、拉格罗 1 Michael Leuschel先生 1 尤利亚·利勒 1 弗拉基米尔·利夫希茨 1 阿莱西奥·洛穆西奥 1 欧内斯托·洛佩斯·梅拉多 1 丹尼斯·卢吉兹 1 米拉·塞德尔巴姆少校。 1 伊斯特万,马吉齐克 1 马可·马拉提亚 1 尼古拉斯·马基 1 克里斯托弗·迈尔弗兰肯菲尔德 1 塞德里克·梅特 1 安德烈亚·米凯利 1 穆罕默德·穆萨维 1 阿里·莫瓦加尔 1 塞尔吉奥·莫弗 1 马达瓦恩·穆昆德 1 迈克尔·穆杰(Michael J.Munje)。 1 Niemelä,Ilkka N.F。 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 詹姆斯·奥林(James B.Orlin)。 1 乔尔·欧·瓦克宁。 1 Doron A.Peled。 …和另外37位作者 全部的 前5名引用于22个系列 6 信息与计算 5 理论计算机科学 4 自动推理杂志 4 系统设计中的形式化方法 三 计算的形式方面 2 信息学报 2 离散应用数学 2 计算机与系统科学杂志 1 人工智能 1 信息处理信件 1 信息科学 1 图论杂志 1 模拟中的数学和计算机 1 计算机程序设计科学 1 算法 1 实时系统 1 离散事件动态系统 1 符号逻辑公报 1 数学与人工智能年鉴 1 欧洲控制杂志 1 计算系统理论 1 美国医学会杂志 全部的 前5名在7个字段中引用 57 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 4 组合数学(05-XX) 4 运筹学、数学规划(90-XX) 三 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文