编辑配置文件（在新选项卡中打开） 马西耶·斯兹雷特 合著者距离 作者ID： szreter.maciej公司 发布日期： 马西耶·斯兹雷特 已编制索引的文档： 19出版物自2000年起 合著者： 23位合著者具有18联合出版物 152名Co-Co作者 全部的 前5名合著者 1 单作者的 17 沃伊切赫·彭泽克 8 阿图尔·尼维亚多姆斯基 8 阿加塔·波罗拉 4 安德烈·兹布雷泽兹尼 三 米查尔·乔泽夫·纳皮克 2 彼得登宾斯基 2 马吕斯·贾洛基 2 马格达莱娜·卡普扎克 2 阿莱西奥·洛穆西奥 2 沃纳、博埃纳 1 达留什·多利瓦 1 格特，罗伯·特里斯坦 1 沃伊切赫·霍泽尔斯基 1 吉泽拉·雅库博夫斯卡 1 沃伊切赫·贾姆罗加 1 阿加塔·雅诺夫斯卡 1 Pawe Janowskił 1 鲁德·柯伊伯 1 阿图尔滑雪 1 纳比亚·埃克（Nabiałek），沃伊切赫（Wojciech） 1 佛朗哥·雷蒙迪 1 雅罗斯瓦夫·斯卡鲁兹 1 莫妮卡·索拉基 系列 11 计算机基础理论 1 控制与控制论 领域 19 计算机科学（68至XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用34次30文件 引用人▼ 年份▼ VERICS 2007–用于知识和实时的模型检查器。 Zbl 1167.68381号 马格达莱娜·卡普扎克;纳比亚·埃克（Nabiałek），沃伊切赫（Wojciech）;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼 14 2008 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克;阿莱西奥·洛穆西奥;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;佛朗哥·雷蒙迪;马西耶·斯兹雷特 6 2006 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫·彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 5 2000 \（surd\）erics：用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 使用VerICS检查参数化模型。 Zbl 1312.68134号 米查·纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫·彭泽克;马西耶·斯兹雷特;Półrola，阿加塔 1 2010 面向检查UML状态机的参数可达性。 Zbl 1274.68199号 阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;马西耶·斯兹雷特 1 2010 多智能体系统建模中的模块化和开放性。 兹比尔1464.68411 沃伊切赫·贾姆罗加;阿图尔滑雪;马西耶·斯兹雷特 1 2013 多智能体系统建模中的模块化和开放性。 Zbl 1464.68411号 沃伊切赫·贾姆罗加;阿图尔滑雪;马西耶·斯兹雷特 1 2013 使用VerICS检查参数化模型。 Zbl 1312.68134号 米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫·彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 1 2010 面向检查UML状态机的参数可达性。 Zbl 1274.68199号 阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;马西耶·斯兹雷特 1 2010 VERICS 2007–用于知识和实时的模型检查器。 Zbl 1167.68381号 马格达莱娜·卡普扎克;纳比亚·埃克（Nabiałek），沃伊切赫（Wojciech）;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼 14 2008 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克;阿莱西奥·洛穆西奥;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;佛朗哥·雷蒙迪;马西耶·斯兹雷特 6 2006 \（surd\）erics：用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫·彭泽克;马西耶·斯兹雷特;格特，罗布;鲁德·柯伊伯 5 2000 所有引用出版物 前5名被引用出版物 全部的 前5名60位作者引用 7 阿莱西奥·洛穆西奥 6 弗朗西斯科·贝拉迪内利 2 柯特林·迪马 2 沃伊切赫·贾姆罗加 2 阿尼埃洛·穆拉诺 2 乔尔·欧·瓦克宁。 2 沃伊切赫·彭泽克 2 曲洪阳 2 罗恩·范德梅登 2 索菲·沃尔纳 2 卡斯滕·沃尔夫 2 詹姆斯·沃雷尔。 1 大卫·安德烈 1 爱奥华纳州布尔亚努 1 帕特里夏·鲍耶 1 彼得·科马克 1 陈爱祥 1 陈清亮 1 罗德卡·孔杜拉克 1 弗朗西安·戴奇森 1 Stéphane P.德姆里。 1 朱尔根·丁格尔 1 约拿单以西结 1 乌里·法伦贝格 1 凯伦·戈达里·德杰恩 1 迪米塔尔·P·盖列夫。 1 Hoang，泰国儿子 1 黄晓伟 1 佩特拉·考夫曼 1 斯特凡·基弗 1 米查尔·乔泽夫·纳皮克 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 帕纳吉奥蒂斯·库瓦罗斯 1 马丁·克罗内格 1 金·古德斯特兰·拉森 1 赫莱内·勒鲁 1 罗，程 1 罗向玉 1 瓦迪姆·马尔文 1 尼古拉斯·马基 1 法比奥·莫加维罗 1 安德烈·穆拉夫斯基。 1 马纳斯·K·帕特拉。 1 安德烈亚斯·普范德勒 1 佛朗哥·雷蒙迪 1 福图纳特·拉乔纳 1 萨沙·鲁宾 1 鲁迪、凯伦 1 弗朗西斯科·拉索 1 阿卜杜勒·萨塔尔 1 马蒂娜·塞德尔 1 苏凯乐 1 Kimmo Varpaaniemi公司 1 比约恩·瓦希特 1 Waez，Md Tawhid Bin 1 王燕京 1 马格达莱娜·维德尔 1 扎哈罗夫，弗拉基米尔·安纳托利耶维奇 1 阿格涅斯卡·兹布列兹尼。 1 安德烈·兹布雷泽兹尼 全部的 前5名12篇连载文章中引用 4 人工智能 4 信息与计算 2 系统设计中的形式化方法 1 合成 1 符号计算杂志 1 计算的形式方面 1 离散事件动态系统 1 计算机基础理论 1 计算机语言、系统和结构 1 应用逻辑杂志 1 计算机科学前沿 1 计算机科学评论 在5个字段中引用 29 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文