编辑配置文件(在新选项卡中打开) 皮埃尔·沃尔珀 合著者距离 作者ID: 狼人皮埃尔 发布日期: 皮埃尔·沃尔珀;P.沃尔珀。 外部链接: MGP公司·维基数据·数据库许可证·ID参考 已编制索引的文档: 39出版物自1982年以来,包括1本书 3作为编辑的贡献 合著者: 32位合著者具有35联合出版物 1189名合著作者 全部的 前5名合著者 7 单作者的 9 莫西·亚亚科夫·瓦尔迪 7 伯纳德·博伊格洛特 6 Legay、Axel 2 艾哈迈德·布瓦贾尼 2 弗朗索瓦·坎廷 2 科斯塔斯·库库贝蒂斯。 2 阿兰·芬克尔 2 帕特丽斯·戈德弗里德 2 塞巴斯蒂安·佐多涅 2 奥尔纳·库普弗曼 2 佐哈尔·曼纳 2 Doron A.Peled。 2 托马斯·威尔克 2 伯纳德·威廉姆斯 2 米哈利斯·亚纳卡基斯 1 谢尔盖·奥特西尔 1 玛丽安·鲍迪内 1 简·乔米奇 1 安德烈·丹瑟尔 1 哈维尔·埃斯帕尔扎 1 弗罗杜亚德·卡班扎 1 勒杜克,盖伊 1 亚历山大·林登(Alexander N.Linden)。 1 奥德·马勒 1 斯蒂芬·默兹 1 乌尔里希·尼切 1 斯特凡·拉斯特 1 彼得·罗斯马尼思 1 J.-M.斯特文内。 1 玛丽·珍妮·图桑 1 范德托雷,Leendert W.N。 1 莱因哈德·威廉 全部的 前5名系列 三 计算机与系统科学杂志 三 信息与计算 2 理论计算机科学 2 ACM计算逻辑事务 1 信息处理信件 1 信息和控制 1 逻辑与分析。Nouvelle Série公司 1 程序设计语言与系统汇刊 1 欧洲理论计算机科学协会(EATCS)公报 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 美国医学会杂志 1 IFIP事务C:通信系统 1 计算机科学课堂讲稿 1 OASIcs–信息学中的OpenAccess系列 领域 42 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用1055中的次758文件 引用人▼ 年份▼ 关于无限计算的推理。 Zbl 0827.03009 莫舍·瓦尔迪。;皮埃尔·沃尔珀 181 1994 时间逻辑可以更具表现力。 Zbl 0534.03009号 皮埃尔·沃尔珀 131 1983 分支时间模型检查的自动机理论方法。 Zbl 1133.68376号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 122 2000 程序模态逻辑的自动机理论技术。 Zbl 0622.03017号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 93 1986 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0613.03015号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 84 1987 从时序逻辑规范合成通信过程。 Zbl 0522.68030号 佐哈尔·曼纳;皮埃尔·沃尔珀 44 1984 时态逻辑的tableau方法:概述。 兹伯利0585.03008 皮埃尔·沃尔珀 39 1985 使用偏序对死锁自由度和安全性进行有效验证。 Zbl 0772.68064号 帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 38 1993 模型检查下推系统的直接符号方法。扩展摘要。 Zbl 0907.68126号 阿兰·芬克尔;伯纳德·威廉姆斯;皮埃尔·沃尔珀 30 1997 模块检查。 Zbl 1003.68071号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 27 2001 模型检查的部分方法。 Zbl 0806.68079号 帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 24 1994 还有另一个过程逻辑。 Zbl 0549.68020号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 21 1984 整数和实数上线性算术的有效决策过程。 Zbl 1407.03052号 伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 21 2005 用于验证时间属性的内存高效算法。 Zbl 0786.68060号 库库贝蒂斯,C。;瓦尔迪,M。;P.沃尔珀。;亚纳卡基斯,M。 20 1991 关于实数和整数算术自动机的表示性。(扩展摘要)。 Zbl 0910.68149号 伯纳德·博伊格洛特;斯特凡·拉斯特;皮埃尔·沃尔珀 20 1998 从时间逻辑规范合成通信过程。 Zbl 0487.68027号 佐哈尔·曼纳;皮埃尔·沃尔珀 18 1982 大型迭代换能器(扩展抽象)。 Zbl 1278.68157号 伯纳德·博伊格洛特;Legay、Axel;皮埃尔·沃尔珀 17 2003 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0577.03019号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 17 1985 用于验证时间属性的内存高效算法。 Zbl 0765.68120号 库库贝蒂斯,C。;瓦尔迪,M。;P.沃尔珀。;亚纳卡基斯,M。 14 1991 从时序逻辑公式构造自动机:教程。 Zbl 0990.68088号 皮埃尔·沃尔珀 14 2001 用于检查时态逻辑规范和(ω)正则语言的闭包属性的算法方法。 Zbl 0915.68058号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 13 1998 关于从线性算术约束构造自动机。 Zbl 0964.68082号 皮埃尔·沃尔珀;伯纳德·博伊格洛特 12 2000 处理无限时间数据。 Zbl 0831.68034号 卡班扎,F。;J.-M.斯特文内。;P.沃尔珀。 11 1995 用有限自动机表示算术约束:概述。 Zbl 1045.03038号 伯纳德·博伊格洛特;皮埃尔·沃尔珀 11 2002 利用弱自动机确定整数和实数变量的线性算法。 Zbl 0988.03022号 伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 7 2001 Omega-regular模型检查。 Zbl 1126.68469号 伯纳德·博伊格洛特;Legay、Axel;皮埃尔·沃尔珀 6 2004 约束生成依赖项。 Zbl 0939.68030号 玛丽安·鲍迪内;简·乔米奇;皮埃尔·沃尔珀 5 1999 在(\(\omega\)-)常规模型检查中处理活跃度属性。 Zbl 1272.68227号 艾哈迈德·布瓦贾尼;Legay、Axel;皮埃尔·沃尔珀 4 2005 用于检查\(\omega \)-正则语言的闭包属性的算法方法。 Zbl 1514.68109号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 三 1996 PSO存储系统中基于验证的内存围栏插入方法。 Zbl 1381.68173号 亚历山大·林登;皮埃尔·沃尔珀 2 2013 一种有效的自动机方法,用于解决无上下文文法中的一些问题。 Zbl 1137.68418号 艾哈迈德·布瓦贾尼;哈维尔·埃斯帕尔扎;阿兰·芬克尔;奥德·马勒;彼得·罗斯马尼思;伯纳德·威廉姆斯;皮埃尔·沃尔珀 2 2000 相对活性和行为抽象(扩展抽象)。 Zbl 1374.68295号 乌尔里希·尼切;皮埃尔·沃尔珀 2 1997 协议规范、测试和验证,十三。1993年5月25日至28日,比利时列日,第13届国际研讨会,IFIP TC6/WG6.1会议记录。 Zbl 0799.68016号 1 1993 关于(Ω-)定期模型检查。 Zbl 1351.68165号 Legay、Axel;皮埃尔·沃尔珀 1 2010 PSO存储系统中基于验证的内存围栏插入方法。 Zbl 1381.68173号 亚历山大·林登;皮埃尔·沃尔珀 2 2013 关于(Ω-)定期模型检查。 Zbl 1351.68165号 Legay、Axel;皮埃尔·沃尔珀 1 2010 整数和实数上线性算术的有效决策过程。 Zbl 1407.03052号 伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 21 2005 在(\(\omega\)-)常规模型检查中处理活性属性。 Zbl 1272.68227号 艾哈迈德·布瓦贾尼;Legay、Axel;皮埃尔·沃尔珀 4 2005 Omega-regular模型检查。 Zbl 1126.68469号 伯纳德·博伊格洛特;Legay、Axel;皮埃尔·沃尔珀 6 2004 大型迭代换能器(扩展抽象)。 Zbl 1278.68157号 伯纳德·博伊格洛特;Legay、Axel;皮埃尔·沃尔珀 17 2003 用有限自动机表示算术约束:综述。 Zbl 1045.03038号 伯纳德·博伊格洛特;皮埃尔·沃尔珀 11 2002 模块检查。 Zbl 1003.68071号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 27 2001 从时间逻辑公式构造自动机:教程。 Zbl 0990.68088号 皮埃尔·沃尔珀 14 2001 利用弱自动机确定整数和实数变量的线性算法。 Zbl 0988.03022号 伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 7 2001 分支时间模型检查的自动机理论方法。 Zbl 1133.68376号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 122 2000 关于从线性算术约束构造自动机。 Zbl 0964.68082号 皮埃尔·沃尔珀;伯纳德·博伊格洛特 12 2000 关于上下文无关语法的一些问题的一种有效的自动机方法。 Zbl 1137.68418号 艾哈迈德·布瓦贾尼;哈维尔·埃斯帕尔扎;阿兰·芬克尔;奥德·马勒;彼得·罗斯马尼思;伯纳德·威廉姆斯;皮埃尔·沃尔珀 2 2000 约束生成依赖项。 Zbl 0939.68030号 玛丽安·鲍迪内;简·乔米奇;皮埃尔·沃尔珀 5 1999 关于实数和整数算术自动机的表示性。(扩展摘要)。 Zbl 0910.68149号 伯纳德·博伊格洛特;斯特凡·拉斯特;皮埃尔·沃尔珀 20 1998 用于检查时态逻辑规范和(ω)正则语言的闭包属性的算法方法。 Zbl 0915.68058号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 13 1998 模型检查下推系统的直接符号方法。扩展摘要。 Zbl 0907.68126号 阿兰·芬克尔;伯纳德·威廉姆斯;皮埃尔·沃尔珀 30 1997 相对活性和行为抽象(扩展抽象)。 Zbl 1374.68295号 乌尔里希·尼切;皮埃尔·沃尔珀 2 1997 用于检查\(\omega \)-正则语言的闭包属性的算法方法。 Zbl 1514.68109号 多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 三 1996 处理无限时间数据。 Zbl 0831.68034号 卡班扎,F。;J.-M.斯特文内。;沃尔珀,P。 11 1995 关于无限计算的推理。 Zbl 0827.03009 莫舍·瓦尔迪。;皮埃尔·沃尔珀 181 1994 模型检查的部分方法。 Zbl 0806.68079号 帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 24 1994 使用偏序对死锁自由度和安全性进行有效验证。 Zbl 0772.68064号 帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 38 1993 协议规范、测试和验证,XIII。1993年5月25日至28日,比利时列日,第13届国际研讨会,IFIP TC6/WG6.1会议记录。 Zbl 0799.68016号 1 1993 用于验证时间属性的内存高效算法。 Zbl 0786.68060号 库库贝蒂斯,C。;瓦尔迪,M。;P.沃尔珀。;亚纳卡基斯,M。 20 1991 用于验证时间属性的高效内存算法。 Zbl 0765.68120号 库库贝蒂斯,C。;瓦尔迪,M。;P.沃尔珀。;亚纳卡基斯,M。 14 1991 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0613.03015号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 84 1987 程序模态逻辑的自动机理论技术。 Zbl 0622.03017号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 93 1986 时态逻辑的tableau方法:概述。 Zbl 0585.03008号 皮埃尔·沃尔珀 39 1985 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0577.03019号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 17 1985 从时序逻辑规范合成通信过程。 Zbl 0522.68030号 佐哈尔·曼纳;皮埃尔·沃尔珀 44 1984 还有另一个过程逻辑。 Zbl 0549.68020号 莫舍·瓦尔迪。;皮埃尔·沃尔珀 21 1984 时间逻辑可以更具表现力。 Zbl 0534.03009号 皮埃尔·沃尔珀 131 1983 从时序逻辑规范合成通信过程。 兹伯利0487.68027 佐哈尔·曼纳;皮埃尔·沃尔珀 18 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名1052位作者引用 44 莫西·亚亚科夫·瓦尔迪 41 奥尔纳·库普弗曼 30 阿尼埃洛·穆拉诺 19 Stéphane P.德姆里。 17 劳拉·博泽利 14 Doron A.Peled。 13 法比奥·莫加维罗 12 帕罗什·阿齐兹·阿卜杜拉 11 皮特曼,尼尔 10 马丁·兰格 9 段振华 9 托马斯·亨辛格(Thomas A.Henzinger)。 9 朱塞佩·佩雷利 9 马丁·齐默尔曼 8 弗兰兹·巴德 8 艾哈迈德·布瓦贾尼 8 安吉洛·蒙塔纳里 8 阿米尔·普努利 8 洛雷达纳·索伦蒂诺 8 泰瑟·图利 8 皮埃尔·沃尔珀 7 伯纳德·博伊格洛特 7 哈娜·乔克勒 7 达纳·菲斯曼 7 朱利安·古铁雷斯 7 普利乌什凯维奇乌斯,里贾曼塔斯 7 萨沙·鲁宾 7 张丽君 6 拉杰夫·阿鲁尔 6 哈维尔·埃斯帕尔扎 6 蒙特塞拉特赫莫 6 菲利普·海罗尼米 6 费利克斯·克莱特克 6 帕基·卢西奥 6 阿德里亚诺·佩隆 6 苏菲·平奇纳特 6 艾哈迈德·雷兹 6 田聪 6 Tsay,Yih-Kuen先生 6 迈克尔·J·伍尔德里奇。 5 阿隆德里斯,罗马 5 本杰明·阿米诺夫 5 JiříBarnat 5 马西莫·贝内雷切蒂 5 罗德里克·布洛姆 5 卢博什·布里姆 5 克里希南德·查特吉 5 克拉克,埃德蒙·梅尔森·琼。 5 乔治·德尔扎诺 5 克莱尔·狄克逊 5 伯恩德·芬克贝纳 5 阿德里安·弗兰卡兰扎 5 拉杰夫·普拉巴卡尔·戈尔 5 彼得·哈贝梅尔 5 萨尔瓦多拉托雷 5 弗朗索瓦·拉鲁西尼 5 Legay、Axel 5 卡罗琳娜·莱赫蒂宁 5 李勇 5 鲁帕克·马朱姆达尔 5 拉斐尔·佩尼亚洛萨 5 Jean-François拉斯金 5 斯文·舍韦 5 埃里克·沃尔斯伯格 5 托马斯·威尔克 4 卢卡·埃特罗 4 达纳州安格鲁因 4 乌迪·博克 4 贝内迪克特·博利格 4 亚历山大·博洛托夫 4 帕特里夏·鲍耶 4 艾米莉·查利尔 4 洛伦佐·克莱门特 4 马可·费拉 4 迈克尔·费希尔 4 塞斯·福格蒂。 4 瓦伦丁·F·戈兰科。 4 埃里希·格拉德尔 4 马修·黑格 4 大卫·哈雷 4 彼得·格约尔·詹森 4 金·古德斯特兰·拉森 4 勒鲁,杰罗姆 4 马库斯·洛伊 4 卡斯滕·卢茨 4 麝香草,安卡 4 雷诺·尼斯卡宁 4 伊戈尔·波塔波夫 4 赫尔穆特·塞德尔 4 吉·斯尔巴 4 斯特里赫曼(Ofer Strichman) 4 沃尔夫冈·托马斯 4 斯特凡诺·托内塔 4 弗洛里安·维德曼 三 安东尼斯·阿奇利奥斯 三 David A.Basin。 三 安德烈亚斯·鲍尔 三 弗朗西斯科·贝拉迪内利 三 朱利安·布鲁斯滕 三 迭戈·卡尔瓦尼斯 …还有952名作者 全部的 前5名73篇连载文章中引用 114 理论计算机科学 62 信息与计算 37 系统设计中的形式化方法 23 计算机与系统科学杂志 20 计算的形式方面 18 信息处理信件 16 人工智能 14 信息学报 14 ACM计算逻辑事务 11 应用非经典逻辑杂志 11 计算机科学中的逻辑方法 10 自动推理杂志 10 数学与人工智能年鉴 9 纯逻辑与应用逻辑年鉴 9 程序设计中的逻辑和代数方法杂志 8 国际计算机科学基础杂志 8 逻辑与代数程序设计杂志 8 应用逻辑杂志 6 离散事件动态系统 4 信息科学 4 计算系统理论 三 Automatica公司 三 计算机程序设计科学 三 分布式计算 三 符号逻辑公报 三 Rinkinys女士。立陶宛数学学会会刊。系列A 2 数学进展 2 模糊集与系统 2 符号逻辑杂志 2 Studia Logica公司 2 计算机科学与技术杂志 2 计算机科学中的数学结构 2 控制论与系统分析 2 数学科学杂志(纽约) 2 组合优化期刊 2 RAIRO公司。理论信息学及其应用 2 萨达纳 2 非线性分析。混合动力系统 2 Modelirovanie i Analiz信息系统 1 离散应用数学 1 国际控制杂志 1 国际通用系统杂志 1 国际理论物理杂志 1 以色列数学杂志 1 数学笔记 1 代数普遍性 1 编程和计算机软件 1 新一代计算 1 算法 1 国际近似推理杂志 1 随机结构与算法 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 数学编程。A系列B系列 1 国际鲁棒与非线性控制杂志 1 逻辑、语言与信息杂志 1 组合数学电子杂志 1 选择Mathematica。新系列 1 约束条件 1 美国医学会杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用数学杂志 1 计算机语言、系统和结构 1 计算机科学中的数学 1 泛逻辑 1 理论计算机科学的基础和发展趋势 1 国际智能计算与控制论杂志 1 逻辑与分析杂志 1 算法 1 科学中国。信息科学 1 计算机科学评论 全部的 前5名19个领域引用 687 计算机科学(68至XX) 357 数学逻辑和基础(03-XX) 49 博弈论、经济学、金融和其他社会和行为科学(91-XX) 20 系统论;控制(93至XX) 7 运筹学、数学编程(90-XX) 6 组合数学(05-XX) 4 一般拓扑结构(54至XX) 4 概率论与随机过程(60-XX) 三 阶、格、有序代数结构(06-XX) 三 数论(11-XX) 三 测量和集成(28-XX) 三 生物学和其他自然科学(92-XX) 2 实际功能(26年X月X日) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 场论和多项式(12-XX) 1 凸和离散几何(52至XX) 1 量子理论(81-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.