编辑配置文件(在新选项卡中打开) 米查尔·乔泽夫·纳皮克 合著者距离 作者ID: 纳皮克·米歇尔·乔泽夫 发布日期: 米夏·克纳皮克;米查尔·乔泽夫·纳皮克;米查尔·科纳皮克 更多。。。较少的 已编制索引的文档: 9出版物自2010年起 合著者: 14合著者具有9联合出版物 252合著作者 全部的 前5名合著者 0 单作者的 7 沃伊切赫,彭泽克 三 沃伊切赫·贾姆罗加 三 马西耶·斯兹雷特 2 埃蒂安·安德烈 2 劳雷·佩特鲁奇 2 阿加塔·波罗拉 1 弗朗西斯科·贝拉迪内利 1 罗德卡·孔杜拉克 1 柯特林·迪马 1 达米安·库尔皮夫斯基 1 莱姆,迪迪埃 1 乌卡斯·米库尔斯基 1 阿图尔·尼维亚多姆斯基 1 安德烈·兹布雷泽兹尼 系列 2 计算机基础理论 1 人工智能 1 信息与计算 1 人工智能研究杂志 字段 9 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用20中的次17文件 引用人▼ 年份▼ 参数时间自动机的有界模型检验。 Zbl 1350.68183号 米夏·克纳皮克;沃伊切赫,彭泽克 8 2012 不完全信息下战略能力的近似验证。 Zbl 1478.68384号 沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基 4 2019 参数验证:简介。 Zbl 1464.68224号 埃蒂安·安德烈;米夏·克纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇 三 2019 使用VerICS检查参数化模型。 Zbl 1312.68134号 米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号 米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 1 2019 通过应用三选票投票协议验证战略能力的相互模拟。 Zbl 1497.68287号 弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 1 2021 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米夏·克纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 1 2010 通过应用三选票投票协议验证战略能力的相互模拟。 Zbl 1497.68287号 弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 1 2021 不完全信息下战略能力的近似验证。 Zbl 1478.68384号 沃伊切赫·贾姆罗加;米夏·克纳皮克;达米安·库尔皮夫斯基;乌卡斯·米库尔斯基 4 2019 参数验证:简介。 Zbl 1464.68224号 埃蒂安·安德烈;米夏·克纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇 三 2019 定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号 米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 1 2019 参数时间自动机的有界模型检验。 Zbl 1350.68183号 米夏·克纳皮克;沃伊切赫,彭泽克 8 2012 使用VerICS检查参数化模型。 Zbl 1312.68134号 米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米夏·克纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 1 2010 所有引用出版物 前5名被引用出版物 全部的 前5名36位作者引用 4 埃蒂安·安德烈 三 劳雷·佩特鲁奇 2 艾丁·戈尔(Ebru Aydin Gol) 2 雅罗斯拉夫·本迪克 2 伊万娜·乔纳 2 沃伊切赫·贾姆罗加 2 艾哈迈特·塞肯 2 孙骏 2 范德波尔,扬·科内利斯 1 大卫·安德烈 1 詹姆·阿里亚斯 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 弗朗西斯科·贝拉迪内利 1 弗洛里安·布鲁斯 1 朱尔根·丁格尔 1 董金松 1 安吉洛·费兰多 1 劳尔·费尔瓦里 1 凯伦·戈达里·德杰恩 1 阿列克桑德拉·乔瓦诺维奇。 1 比塔·科尼科夫斯卡 1 达米安·库尔皮夫斯基 1 Marta Z.Kwiatkowska。 1 马丁·兰格 1 赫莱内·勒鲁 1 刘,杨 1 阿莱西奥·洛穆西奥 1 瓦迪姆·马尔文 1 哈桑·莫塔列比 1 黄家阮 1 沃伊切赫,彭泽克 1 佛朗哥·雷蒙迪 1 鲁迪、凯伦 1 费尔南多·雷蒙多(Fernando Raymundo) 1 Waez,Md Tawhid Bin 1 王燕京 全部的 前5名11篇连载文章中引用 2 信息与计算 1 人工智能 1 理论计算机科学 1 实时系统 1 离散事件动态系统 1 系统设计中的形式化方法 1 计算机基础理论 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 计算机科学评论 在5个字段中引用 15 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文