编辑配置文件(在新选项卡中打开) Półrola,阿加塔 合著者距离 作者ID: 波罗拉·阿加塔 发布日期: Półrola,阿加塔;阿加塔·波罗拉 已编制索引的文档: 19出版物自2001年以来,包括1本书 合著者: 16位合著者具有19联合出版物 81位合作作者 全部的 前5名合著者 0 单作者的 17 沃伊切赫·彭泽克 8 马西耶·斯兹雷特 7 安德烈·兹布雷泽兹尼 4 阿图尔·尼维亚多姆斯基 三 彼得登宾斯基 2 阿加塔·雅诺夫斯卡 2 米查尔·乔泽夫·纳皮克 2 阿图尔滑雪 2 沃纳、博埃纳 1 彼得亚·西布拉 1 达留什·多利瓦 1 沃伊切赫·霍泽尔斯基 1 Pawe Janowskił 1 马吕斯·贾洛基 1 马格达莱娜·卡普扎克 1 纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech) 系列 9 计算机基础理论 1 控制与控制论 1 计算智能研究 领域 19 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用39中的次33文件 引用人▼ 年份▼ VERICS 2007–用于知识和实时的模型检查器。 Zbl 1167.68381号 马格达莱娜·卡普扎克;纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech);阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼 14 2008 时间Petri网和时间自动机中时间属性的规范和模型检查。 Zbl 1094.68067号 沃伊切赫·彭泽克;Półrola,阿加塔 7 2004 时间Petri网和时间自动机验证的进展。时间逻辑方法。 Zbl 1110.68087号 沃伊切赫·彭泽克;Półrola,阿加塔 5 2006 \(surd\)erics:用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 用于检查时间Petri网分支性质的抽象和部分降阶。 Zbl 0986.68096号 沃伊切赫·彭泽克;Półrola,阿加塔 三 2001 使用VerICS检查参数化模型。 Zbl 1312.68134号 米查·纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯特雷特;安德烈·兹布雷泽兹尼 2 2010 使用整数时间步长检查时间Petri网的分支时间属性。 Zbl 1395.68197号 阿加塔·雅诺夫斯卡;沃伊切赫·彭泽克;Półrola,阿加塔;安德烈·兹布雷泽兹尼 1 2013 具有离散数据的时间自动机的基于SAT的可达性检查。 Zbl 1124.68061号 安德烈·兹布雷泽兹尼;Półrola,阿加塔 1 2007 一类分布式时间Petri网的基于SAT的(参数)可达性。 Zbl 1312.68137号 沃伊切赫·彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫·彭泽克;马西耶·斯兹雷特;Półrola,阿加塔 1 2010 使用整数时间步长检查时间Petri网的分支时间属性。 Zbl 1395.68197号 阿加塔·雅诺夫斯卡;沃伊切赫·彭泽克;Półrola,阿加塔;安德烈·兹布雷泽兹尼 1 2013 使用VerICS检查参数化模型。 Zbl 1312.68134号 米查·纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 一类分布式时间Petri网的基于SAT的(参数)可达性。 Zbl 1312.68137号 沃伊切赫·彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫·彭泽克;马西耶·斯兹雷特;Półrola,阿加塔 1 2010 VERICS 2007–用于知识和实时的模型检查器。 Zbl 1167.68381号 马格达莱娜·卡普扎克;纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech);阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼 14 2008 基于SAT的离散数据时间自动机可达性检查。 Zbl 1124.68061号 安德烈·兹布雷泽兹尼;Półrola,阿加塔 1 2007 时间Petri网和时间自动机验证的进展。时间逻辑方法。 Zbl 1110.68087号 沃伊切赫·彭泽克;Półrola,阿加塔 5 2006 时间Petri网和时间自动机中时间属性的规范和模型检查。 Zbl 1094.68067号 沃伊切赫·彭泽克;Półrola,阿加塔 7 2004 \(surd\)erics:用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 用于检查时间Petri网分支性质的抽象和部分降阶。 Zbl 0986.68096号 沃伊切赫·彭泽克;Półrola,阿加塔 三 2001 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 7 阿莱西奥·洛穆西奥 6 弗朗西斯科·贝拉迪内利 5 哈尼法·布切内布 三 卡梅尔·巴考伊 三 吉·斯尔巴 2 拉希德·哈吉吉 2 拉塞·雅各布森 2 莫滕·雅各布森 2 沃伊切赫·贾姆罗加 2 Møller、Mikael Harkjær 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 马纳斯·K·帕特拉。 1 埃多尔多·皮罗瓦诺 1 佛朗哥·雷蒙迪 1 福图纳特·拉乔纳 1 亚当·罗加列维奇 1 奥利维尔·H·鲁克斯。 1 萨沙·鲁宾 1 鲁迪、凯伦 1 弗朗西斯科·拉索 1 阿卜杜勒·萨塔尔 1 苏凯乐 1 罗恩·范德梅登 1 汤姆·沃纳 1 Waez,Md Tawhid Bin 1 王,燕京 1 詹姆斯·沃雷尔。 1 阿格涅斯卡·兹布列兹尼。 1 安德烈·兹布雷泽兹尼 全部的 前5名10篇连载文章中引用 5 人工智能 三 理论计算机科学 三 信息与计算 三 离散事件动态系统 1 倒排索引综述 1 合成 1 系统设计中的形式化方法 1 应用逻辑杂志 1 计算机科学前沿 1 计算机科学评论 全部的 前5名在6个字段中引用 32 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文