编辑配置文件(在新选项卡中打开) 保罗·佩特森 合著者距离 作者ID: 彼得森·保罗 发布方式: 保罗·佩特森 主页: 网址:http://www.es.mdh.se/staff/166-Paul_Pettersson 外部链接: ORCID公司 已编制索引的文档: 21出版物自1995年起 3作为编辑的贡献 合著者: 24位合著者具有23联合出版物 378位合作作者 全部的 前5名合著者 0 单作者的 14 易、王 9 金·古德斯特兰·拉森 6 埃琳娜·费斯曼 三 托马斯·匈奴 三 弗雷德里克·拉尔森 三 列奥尼德·莫克鲁辛 2 托拜厄斯·阿姆内尔 2 格德·贝尔曼 2 安斯加·芬克 2 约翰·哈坎森 2 安德斯·赫塞尔 2 本特·琼森 1 约翰·本特森 1 约翰·布洛姆 1 邦奈尔,P。 1 亚历山大·戴维 1 W.O.David格里芬 1 奥尔加·格林斯坦 1 帕维尔·克查尔 1 Kristoffersen,Káre J。 1 马格纳斯·林达尔 1 布莱恩·尼尔森 1 克里斯蒂娜·塞塞莱亚努 1 卡米洛·席尔瓦。 1 阿恩·斯科 1 孙红燕 全部的 前5名系列 三 北欧计算机杂志 1 计算机和流体 1 理论计算机科学 1 信息与计算 1 实时系统 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 23 计算机科学(68至XX) 三 一般性和全局性主题;集合(00-XX) 1 偏微分方程(35-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用362中的次267份文件 引用人▼ 年份▼ 简单地说,很高兴。 Zbl 1060.68577号 Larsen,Kim G。;保罗·佩特森;易、王 156 1997 定价时间自动机的最低成本可达性。 Zbl 0991.68037号 格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森 68 2002 任务自动机:可调度性、可判定性和不可判定性。 Zbl 1121.68062号 埃琳娜·费斯曼;帕维尔·科卡尔;保罗·佩特森;易、王 24 2007 高效引导UPPAAL实现成本优化。 Zbl 0978.68541号 格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森 17 2001 实时系统的模型检查。 Zbl 1507.68193号 Larsen,Kim G。;保罗·佩特森;易、王 16 1995 使用定时决策树推断事件记录自动机(扩展抽象)。 Zbl 1151.68459号 奥尔加·格林斯坦;本特·琼森;保罗·佩特森 12 2006 异步进程的时间自动机:可调度性和可判定性。 Zbl 1043.68589号 埃琳娜·费斯曼;保罗·佩特森;易、王 11 2002 TIMES–用于嵌入式系统建模和实现的工具。 兹比尔1043.68513 托拜厄斯·阿姆内尔;埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 10 2002 基于时间自动机的固定优先级系统可调度性分析。 Zbl 1088.68087号 埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 10 2006 使用UPPAAL指导合成控制程序。 Zbl 0978.68021号 托马斯·匈奴;Larsen,Kim G。;保罗·佩特森 7 2001 时间自动机的代码合成。 Zbl 1088.68625号 托拜厄斯·阿姆内尔;埃琳娜·费斯曼;保罗·佩特森;易、王;孙红燕 6 2002 齿轮控制器的形式化设计和分析。 Zbl 0993.68133号 马格纳斯·林达尔;保罗·佩特森;易、王 5 2001 用于模型检查实时系统的紧凑数据结构和状态空间缩减。 Zbl 1081.68010号 Larsen,Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 4 2003 使用UPPAAL自动验证音频控制协议。 Zbl 1008.68009号 约翰·本特森;W.O.David格里芬;Kristoffersen,Káre J。;Larsen,Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 4 2002 实时组件验证的部分降阶。 Zbl 1141.68468号 约翰·哈坎森;保罗·佩特森 三 2007 使用Uppaal生成时间最优的实时测试用例。 Zbl 1185.68248号 安德斯·赫塞尔;Larsen,Kim G。;布莱恩·尼尔森;保罗·佩特森;阿恩·斯科 2 2004 使用两个时钟进行可调度性分析。 Zbl 1031.68031号 埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 2 2003 时间系统的形式化建模和分析。第三次国际会议,FORMATS 2005,瑞典乌普萨拉,2005年9月26日至28日。诉讼程序。 Zbl 1097.68008号 2 2005 非定常Navier-Stokes方程的异步时间积分侵入广义多项式混沌解。 Zbl 1521.76632号 邦奈尔,P。;彼得森,P。;西尔瓦,C.F。 2 2021 使用DBM减法对具有优先级的时间自动机进行模型检查。 Zbl 1141.68462号 亚历山大·戴维;约翰·哈坎森;Larsen,Kim G。;保罗·佩特森 2 2006 使用观察者自动机指定和生成测试用例。 Zbl 1081.68566号 约翰·布洛姆;安德斯·赫塞尔;本特·琼森;保罗·佩特森 1 2005 非定常Navier-Stokes方程的异步时间积分侵入广义多项式混沌解。 Zbl 1521.76632号 邦奈尔,P。;彼得森,P。;西尔瓦,C.F。 2 2021 任务自动机:可调度性、可判定性和不可判定性。 Zbl 1121.68062号 埃琳娜·费斯曼;帕维尔·科卡尔;保罗·佩特森;易、王 24 2007 实时组件验证的部分降阶。 Zbl 1141.68468号 约翰·哈坎森;保罗·佩特森 三 2007 使用定时决策树推断事件记录自动机(扩展抽象)。 Zbl 1151.68459号 奥尔加·格林斯坦;本特·琼森;保罗·佩特森 12 2006 基于时间自动机的固定优先级系统可调度性分析。 Zbl 1088.68087号 埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 10 2006 使用DBM减法对具有优先级的时间自动机进行模型检查。 Zbl 1141.68462号 亚历山大·戴维;约翰·哈坎森;Larsen,Kim G。;保罗·佩特森 2 2006 时间系统的形式化建模和分析。第三次国际会议,FORMATS 2005,瑞典乌普萨拉,2005年9月26日至28日。诉讼程序。 Zbl 1097.68008号 2 2005 使用观察者自动机指定和生成测试用例。 Zbl 1081.68566号 约翰·布洛姆;安德斯·赫塞尔;本特·琼森;保罗·佩特森 1 2005 使用Uppaal生成时间最优的实时测试用例。 Zbl 1185.68248号 安德斯·赫塞尔;Larsen,Kim G。;布莱恩·尼尔森;保罗·佩特森;阿恩·斯科 2 2004 用于模型检查实时系统的紧凑数据结构和状态空间缩减。 Zbl 1081.68010号 Larsen,Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 4 2003 使用两个时钟进行可调度性分析。 Zbl 1031.68031号 埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 2 2003 定价时间自动机的最低成本可达性。 Zbl 0991.68037号 格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森 68 2002 异步进程的时间自动机:可调度性和可判定性。 Zbl 1043.68589号 埃琳娜·费斯曼;保罗·佩特森;易、王 11 2002 TIMES–用于嵌入式系统建模和实现的工具。 兹比尔1043.68513 托拜厄斯·阿姆内尔;埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 10 2002 时间自动机的代码合成。 Zbl 1088.68625号 托拜厄斯·阿姆内尔;埃琳娜·费斯曼;保罗·佩特森;易、王;孙红燕 6 2002 使用UPPAAL自动验证音频控制协议。 Zbl 1008.68009号 约翰·本特森;W.O.David格里芬;Kristoffersen,Káre J。;Larsen,Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 4 2002 高效引导UPPAAL实现成本优化。 Zbl 0978.68541号 格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森 17 2001 使用UPPAAL指导合成控制程序。 Zbl 0978.68021号 托马斯·匈奴;Larsen,Kim G。;保罗·佩特森 7 2001 齿轮控制器的形式化设计和分析。 Zbl 0993.68133号 马格纳斯·林达尔;保罗·佩特森;易、王 5 2001 简单地说,很高兴。 Zbl 1060.68577号 Larsen,Kim G。;保罗·佩特森;易、王 156 1997 实时系统的模型检查。 Zbl 1507.68193号 Larsen,Kim G。;保罗·佩特森;易、王 16 1995 所有引用出版物 前5名被引用出版物 全部的 前5名517位作者引用 27 金·古德斯特兰·拉森 20 帕特里夏·鲍耶 11 乌里·法伦贝格 11 尼古拉斯·马基 10 埃蒂安·安德烈 10 莱姆,迪迪埃 9 托马斯·布里海耶 8 奥利维尔·H·鲁克斯。 7 格钦·诺曼 6 Marta Z.Kwiatkowska。 6 卡琳·夸斯 6 Jean-François拉斯金 6 皮埃尔·阿莱·雷尼尔 5 奥德·马勒 5 拉杜·马达尔 5 何塞·梅塞盖尔·瓜伊塔 5 吉·斯尔巴 5 Vaandrager,Frits W。 5 易、王 4 阿夫尼,盖伊 4 托马斯·查泰恩 4 当、哲 4 曼弗雷德·德罗斯特 4 劳伦·弗里堡 4 弗雷德里克·赫布雷托 4 阿列克桑德拉·乔瓦诺维奇。 4 李因苏普 4 Legay、Axel 4 本杰明·蒙梅格 4 Peter Csaba,Olveczky 4 奥坎桑库尔 4 马尼省斯瓦米纳坦 4 四川省韦尔市 三 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 三 Jos C.M.Baeten。 三 哈尼法·布切内布 三 维罗尼克·布鲁埃 三 达米安·巴斯托·加斯顿 三 汤姆·乔西亚 三 亚历山大·戴维 三 德波尔,弗兰克·S。 三 马蒂杰斯·德·维特(Mathijs M.de Weerdt)。 三 马丁·范策尔 三 休伯特Garavel 三 吉勒·杰勒茨 三 鲁道夫·戈麦斯 三 什巴希斯·古哈 三 埃纳尔·布罗赫·约翰森 三 奥尔纳·库普弗曼 三 弗雷德里克·朗 三 奥尔德罗格(Ernst-Rüdiger Olderog) 三 乔治·帕帕斯。 三 保罗·佩特森 三 雅各布斯·E·罗达。 三 鲁道夫·施拉特 三 奥列格·索科尔斯基 三 孙,六月 三 斯塔夫罗斯·特里帕基斯 三 安东·威伊斯(Anton J.Wijs)。 三 Cees威特文 三 詹姆斯·沃雷尔。 三 薛冰田 2 卢卡·埃特罗 2 奥马尔·巴塔内赫 2 安徒生、亨利克·雷夫 2 尤金·亚萨林 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 乔瓦尼·巴奇 2 卡梅尔·巴考伊 2 卢卡·本维努蒂 2 马吕斯·博兹加 2 埃德·布林克斯马 2 玛丽亚·艾米利亚·坎布罗内罗 2 弗兰克·卡塞兹 2 弗朗科·西西雷利 2 Thao Dang先生 2 佩德罗·鲁宾·达吉尼奥 2 马尔科·迪纳塔莱 2 朱尔根·丁格尔 2 董金松 2 劳伦特·多恩 2 盖尔·杜勒鲁(Geir E.Dullerud)。 2 埃曼纽尔·恩克雷纳兹 2 埃琳娜·费斯曼 2 法语,蒂姆 2 安吉洛·富法罗 2 保罗·加斯丁 2 萨拉·格拉达拉 2 亨利克·胡尔加德 2 奥斯卡·H·伊巴拉。 2 穆罕默德·马赫迪·贾古奥里 2 蒂埃里·杰伦 2 卡尔·亨利克·约翰逊 2 马尔钦·尤季扬斯基 2 理查德·凯默勒。 2 金恩赫(Kim,Eunhee) 2 权永民 2 弗朗索瓦·拉鲁西尼 2 马丁·勒克 2 刘,杨 …还有417位作者 全部的 前5名34篇连载文章中引用 31 理论计算机科学 16 实时系统 16 系统设计中的形式化方法 12 计算的形式方面 11 逻辑与代数程序设计杂志 10 信息与计算 7 程序设计中的逻辑和代数方法杂志 5 信息学报 5 离散事件动态系统 4 国际计算机科学基础杂志 4 欧洲控制杂志 4 计算机基础理论 4 计算机科学中的逻辑方法 三 计算机程序设计科学 三 机器学习 2 国际控制杂志 2 信息处理信件 2 分布式计算 2 国际鲁棒非线性控制杂志 1 应用数学与计算 1 Automatica公司 1 信息科学 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 运筹学年鉴 1 逻辑、语言与信息杂志 1 软计算 1 组合优化期刊 1 高阶和符号计算 1 计算机科学中的数学 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名在9个字段中引用 245 计算机科学(68至XX) 30 系统论;控制(93至XX) 26 数学逻辑和基础(03-XX) 19 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 13 运筹学、数学规划(90-XX) 4 信息与通信理论、电路(94-XX) 2 数论(11-XX) 2 动力系统和遍历理论(37至XX) 1 组合数学(05-XX) 按年份列出的引文