×
编辑配置文件（在新选项卡中打开）

乔恩，帕沃

合著者距离
作者ID： cerny.pavol公司“乔恩·帕沃”最近发表的zbMATH文章
发布日期： 乔恩，帕沃;帕沃尔·塞尔尼;塞尔尼，P。
已编制索引的文档： 22出版物自1978年以来
合著者： 24位合著者具有21联合出版物
666位合作作者
全部的 前5名

合著者

0 单作者的
9 托马斯·亨辛格。
9 阿琼·拉德哈克利什纳
7 拉杰夫·阿鲁尔
三 阿舒托什·特里维迪
2 Chang，Bor-Yuh Evan先生
2 马丁·奇梅利克
2 克拉克（Edmund Melson jun Clarke）。
2 杰迪迪亚·麦克卢格
2 列昂尼德·雷日克
2 萨曼塔（Samanta，Roopsha）
2 托尔斯滕·塔拉赫
2 塞伊德·蒂兹帕兹·尼亚里
2 斯科特·温斯坦
1 斯瓦拉特·乔杜里
1 内特·福斯特
1 侯赛因·霍贾特
1 尼勒什·贾尼克
1 科瓦奇，劳拉·伊尔迪科
1 陆天汉
1 帕塔萨拉西马杜苏丹
1 南黄弘
1 桑卡拉纳拉亚南，斯里拉姆
1 史蒂夫·兹丹塞维奇
1 雅各布兹维奇梅尔

系列

2 理论计算机科学
1 控制与信息论问题
1 系统设计中的形式化方法
1 ACM计算逻辑事务

领域

21 计算机科学（68至XX）
4 博弈论、经济学、金融和其他社会和行为科学（91-XX）
2 信息与通信理论、电路（94-XX）
1 变分法与最优控制；最优化（49至XX）
1 运筹学、数学规划（90-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

17出版物被引用158中的次137文件 引用人▼ 年份▼
用于单程列表处理程序算法验证的流式传感器。 Zbl 1284.68159号
拉杰夫·阿鲁尔;乔恩，帕沃
28
2011
流串传感器的表现力。 Zbl 1245.68115号
拉杰夫·阿鲁尔;乔恩，帕沃
26
2010
Java类接口规范的合成。 Zbl 1369.68126号
拉杰夫·阿鲁尔;乔恩，帕沃;马杜苏丹，P。;南，旺洪
24
2005
严格保密。 Zbl 1133.94307号
拉杰夫·阿鲁尔;乔恩，帕沃;史蒂夫·兹丹塞维奇
20
2006
模拟距离。 Zbl 1234.68253号
乔恩，帕沃;托马斯·亨辛格。;阿琼·拉德哈克利什纳
19
2012
具有路径等价的树上的模型检查。 Zbl 1186.68273号
拉杰夫·阿鲁尔;乔恩，帕沃;斯瓦拉特·乔杜里
12
2007
模拟距离。 Zbl 1287.68127号
乔恩，帕沃;托马斯·亨辛格。;阿琼·拉德哈克利什纳
6
2010
阵列存取程序的算法分析。 Zbl 1351.68149号
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦
5
2012
定量抽象细化。 Zbl 1301.68244号
帕沃尔·塞尔尼;托马斯·亨辛格。;阿琼·拉德哈克利什纳
4
2013
使用同步合成从非抢占调度到抢占调度。 兹比尔1381.68040
乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列昂尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫
4
2015
多项式时间内的最优一致网络更新。 Zbl 1393.68020号
乔恩，帕沃;内特·福斯特;尼勒什·贾尼克;杰迪迪亚·麦克卢格
三
2016
接口模拟距离。 Zbl 1459.68097号
乔恩，帕沃;马丁·奇梅利克;托马斯·亨辛格。;阿琼·拉德哈克利什纳
2
2012
阵列存取程序的算法分析。 Zbl 1257.68102号
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦
1
2009
使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号
乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列昂尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫
1
2017
网络程序的同步合成。 Zbl 1494.68060号
杰迪迪亚·麦克卢格;侯赛因·霍贾特;乔恩，帕沃
1
2017
用于最坏执行时间分析的段抽象。 Zbl 1335.68049号
乔恩，帕沃;托马斯·亨辛格。;劳拉·科瓦奇;阿琼·拉德哈克利什纳;雅各布兹维奇梅尔
1
2015
反应式程序中集合的类型定向边界。 兹比尔1522.68157
陆天汉;乔恩，帕沃;Chang，Bor-Yuh Evan先生;阿舒托什·特里维迪
1
2019
反应式程序中集合的类型定向边界。 Zbl 1522.68157号
陆天汉;乔恩，帕沃;Chang，Bor-Yuh Evan先生;阿舒托什·特里维迪
1
2019
使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号
乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列昂尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫
1
2017
网络程序的同步合成。 Zbl 1494.68060号
杰迪迪亚·麦克卢格;侯赛因·霍贾特;乔恩，帕沃
1
2017
多项式时间内的最优一致网络更新。 Zbl 1393.68020号
乔恩，帕沃;内特·福斯特;尼勒什·贾尼克;杰迪迪亚·麦克卢格
三
2016
使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号
乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列昂尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫
4
2015
用于最坏执行时间分析的段抽象。 Zbl 1335.68049号
乔恩，帕沃;托马斯·亨辛格。;劳拉·科瓦奇;阿琼·拉德哈克利什纳;雅各布兹维奇梅尔
1
2015
定量抽象细化。 Zbl 1301.68244号
帕沃尔·塞尔尼;托马斯·亨辛格。;阿琼·拉德哈克利什纳
4
2013
模拟距离。 Zbl 1234.68253号
乔恩，帕沃;托马斯·亨辛格。;阿琼·拉德哈克利什纳
19
2012
阵列存取程序的算法分析。 Zbl 1351.68149号
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦
5
2012
接口模拟距离。 Zbl 1459.68097号
乔恩，帕沃;马丁·奇梅利克;托马斯·亨辛格。;阿琼·拉德哈克利什纳
2
2012
用于单程列表处理程序算法验证的流式传感器。 Zbl 1284.68159号
拉杰夫·阿鲁尔;乔恩，帕沃
28
2011
流串传感器的表现力。 Zbl 1245.68115号
拉杰夫·阿鲁尔;乔恩，帕沃
26
2010
模拟距离。 兹比尔1287.68127
乔恩，帕沃;托马斯·亨辛格。;阿琼·拉德哈克利什纳
6
2010
阵列存取程序的算法分析。 Zbl 1257.68102号
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦
1
2009
具有路径等价的树上的模型检查。 Zbl 1186.68273号
拉杰夫·阿鲁尔;乔恩，帕沃;斯瓦拉特·乔杜里
12
2007
严格保密。 Zbl 1133.94307号
拉杰夫·阿鲁尔;乔恩，帕沃;史蒂夫·兹丹塞维奇
20
2006
Java类接口规范的合成。 Zbl 1369.68126号
拉杰夫·阿鲁尔;乔恩，帕沃;马杜苏丹，P。;南黄弘
24
2005
所有引用出版物 前5名被引用出版物
全部的 前5名

259位作者引用

7 乌里·法伦贝格
7 托马斯·亨辛格。
6 拉杰夫·阿鲁尔
6 Legay、Axel
6 安卡·穆斯科尔
6 加布里埃尔，小狗
5 达纳·菲斯曼
5 Pierre Alain雷尼尔
4 卢卡·埃特罗
4 Cassar，伊恩
4 乔恩，帕沃
4 查特吉，克里什南杜
4 阿德里安·弗兰卡兰扎
4 桑卡拉·纳拉亚南·克里希纳
三 埃里克·艾伦德。
三 贝拉德，贝特里奇
三 Bose，Sougata公司
三 克拉克（Edmund Melson jun Clarke）。
三 柯特林·迪马
三 康斯坦丁·埃纳
三 伯恩德·芬克贝纳
三 保罗·加斯丁
三 Anna Ingólfsdóttir
三 金·古德斯特兰·拉森
三 埃尔文·马尔坎德
三 奥托普，简
三 阿琼·拉德哈克利什纳
三 扎哈罗夫，弗拉基米尔·安纳托利耶维奇
2 达纳州安格鲁因
2 安妮迪亚·班纳吉
2 艾哈迈德·布瓦贾尼
2 弗兰克·卡塞兹
2 瓦伦蒂娜·卡斯蒂格利奥尼
2 萨加·查基
2 陈玉芳
2 德米特里五世·奇斯蒂科夫。
2 马丁·奇梅利克
2 沃伊切赫，切尔文斯基
2 洛丽斯·达安东尼
2 吕克·达托伊斯
2 维伦达·戴夫
2 杰雷米·杜布雷尔
2 艾曼纽·菲利奥特
2 迪米特拉·吉安娜科波卢
2 Dimitar P.Guelev。
2 彼得·霍夫曼
2 洪，Younghee
2 福尔克·豪尔
2 伊斯马·杰克
2 Kim、Choongrak
2 安德烈亚斯·克雷布斯
2 拉希里、舒文杜·库马尔
2 李勇
2 刘德鹏
2 米歇尔·洛雷蒂
2 玛杜苏丹，帕塔萨拉蒂
2 康斯坦蒂诺斯·马穆拉斯
2 伊莎贝拉·马斯特罗埃尼
2 巴斯蒂安·莫伯特
2 菲利普·马佐维耶基
2 皮埃尔·麦肯齐
2 卡罗尔·C·摩根。
2 约翰·马林斯
2 科琳娜·s·佩斯勒诺。
2 文森特·佩内尔
2 Micha Pilipczuk
2 苏菲·平奇纳特
2 拉霍塔曼，穆昆德
2 马修·萨索拉斯
2 沙龙·肖姆
2 伯恩哈德·斯特芬
2 克劳斯·苏兰（Claus R.Thrane）。
2 西蒙·蒂尼
2 路易斯·马里·特劳努埃兹
2 阿舒托什·特里维迪
2 迈克尔·韦哈尔
2 张丽君
1 罗宾·亚当斯
1 西里亚克·艾斯瓦里亚
1 沙乌尔·阿尔马戈
1 川崎朝田
1 穆罕默德·阿卜杜拉希·阿兹戈米
1 吉·巴伦
1 迈克尔·班特吉
1 霍华德·巴林格
1 Barthe，Gilles公司
1 费利克斯·巴斯切尼斯
1 尼古拉·鲍德鲁
1 塞巴斯蒂安·鲍尔。
1 巴托斯·贝德纳西克
1 Beillahi、Sidi Mohamed
1 塞巴斯蒂安·伯恩特
1 艾苏贝汀坎
1 本杰明·比斯平
1 阿德里安·博伊雷特
1 Mikołaj博扬奇克
1 乌迪·博克
1 贝内迪克特·博利格
1 劳拉·博泽利
1 马蒂亚斯·布里尔
…和159多位作者
全部的 前5名

30篇连载文章中引用

13 理论计算机科学
12 系统设计中的形式化方法
8 信息与计算
7 计算机科学中的逻辑方法
6 计算的形式方面
4 信息学学报
4 离散事件动态系统
三 计算机与系统科学杂志
三 MSCS公司。计算机科学中的数学结构
三 国际计算机科学基础杂志
2 国际近似推理杂志
2 韩国统计学会杂志
2 Modelirovanie i Analiz信息系统
1 信息处理信件
1 Automatica公司
1 合成
1 符号计算杂志
1 自动推理杂志
1 应用非经典逻辑杂志
1 计算系统理论
1 软计算
1 高阶和符号计算
1 计算机基础理论
1 国际博弈论综述
1 ACM计算逻辑事务
1 应用逻辑杂志
1 中国科学。F系列
1 非线性分析。混合动力系统
1 RAIRO公司。理论信息学及其应用
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

在12个字段中引用

130 计算机科学（68至XX）
30 数学逻辑和基础（03-XX）
10 博弈论、经济学、金融和其他社会和行为科学（91-XX）
5 系统论；控制（93至XX）
4 信息与通信理论、电路（94-XX）
三 运筹学、数学规划（90-XX）
2 群论与推广（20-XX）
2 统计学（62-XX）
1 组合数学（05-XX）
1 阶、格、有序代数结构（06-XX）
1 数论（11-XX）
1 概率论与随机过程（60-XX）

按年份列出的引文