达米安·库尔皮夫斯基;沃伊切赫·贾姆罗加;乌卡斯马士科;乌卡斯·米库尔斯基;维托尔德·帕兹德斯基;沃伊切赫,彭泽克;特奥菲尔·西多鲁克 电子投票中多代理属性的验证:案例研究。 (英语) Zbl 07668114号 Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:学院出版物。531-555 (2022).MSC公司:60年第68季度 03B70号 68T42型 91A12号机组 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kurpiewski}等人,in:模态逻辑的进展。第14卷。第14届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:学院出版物。531--555(2022;Zbl 07668114) 全文: arXiv公司
沃伊切赫·贾姆罗加;比塔·科尼科夫斯卡;达米安·库尔皮夫斯基;沃伊切赫,彭泽克 战略能力的多价值验证。 (英语) 兹比尔1497.68307 芬丹。通知。 175,编号1-4207-251(2020).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Fundam。通知。175,编号1--4,207--251(2020;Zbl 1497.68307) 全文: 内政部
埃蒂安·安德烈;米夏·克纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇 参数验证:简介。 (英语) Zbl 1464.68224号 Koutny,Maciej(编辑)等人,《Petri网和其他并发模型的事务处理XIV》。柏林:斯普林格。莱克特。注释计算。科学。11790, 64-100 (2019).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。注释计算。科学。11790,64-100(2019年;Zbl 1464.68224) 全文: 内政部 arXiv公司
米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 定时ATL:忘记记忆,只需计数。 (英语) Zbl 1430.68309号 J.阿蒂夫。智力。研究(JAIR) 66, 197-223 (2019).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Knapik}等人,J.Artif。智力。决议(JAIR)6197-223(2019年;兹比尔1430.68309) 全文: 内政部
沃伊切赫,彭泽克(编辑);施林洛夫,霍尔格(编辑);彼得·瓦西列夫斯基(编辑) 并发、规范和编程:2017年CS&P精选论文特刊。前言。 (英语) Zbl 1412.00049号 芬丹。通知。 165,编号3-4,i-iii(2019).MSC公司:00B25型 68-06 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}(编辑)等人,Fundam。通知。165,编号3--4,i-iii(2019;Zbl 1412.00049) 全文: 内政部
娜塔莎·亚历奇纳(编辑);科杰蒂尔·诺瓦格(编辑);沃伊切赫,彭泽克(编辑) 第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。 (英语) Zbl 1402.68016号 LIPIcs–莱布尼茨国际信息学会议录120.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-089-7)。xiii,23篇文章,非连续页面,仅电子版,开放存取(2018年)。MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15-17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2018;Zbl 1402.68016) 全文: 内政部 链接
路德威克·查贾(编辑);沃伊切赫,彭泽克(编辑);霍尔格·施林格洛夫(编辑);儿子Nguyen Hung(编辑) 并发、规范和编程:2016年CS&P精选论文特刊。前言。 (英语) Zbl 1395.00064号 芬丹。通知。 157,第4号,i-ii(2018).MSC公司:00B25型 68-06 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja}(编辑)等人,Fundam。通知。157,第4号,i-ii(2018;Zbl 1395.00064) 全文: 内政部
亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 离散浓度反应系统线性时间特性的验证。 (英语) Zbl 1378.68113号 芬丹。通知。 154,编号1-4,289-306(2017).MSC公司:60年第68季度 03B44号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人,Fundam。通知。154,编号1--4,289--306(2017;Zbl 1378.68113) 全文: 内政部
路德威克·查贾(编辑);沃伊切赫,彭泽克(编辑);克日什托夫·斯坦塞尔(编辑) 前言:并发、规范和编程(CS&P)。 (英语) Zbl 1360.00120号 芬丹。通知。 143,第1-2号,v-vi(2016).MSC公司:00B25型 68-06 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja}(编辑)等,Fundam。通知。143,编号1--2,v-vi(2016;Zbl 1360.00120) 全文: 内政部
亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 对反应系统进行定量验证。 (英语) Zbl 1476.68092号 Amos,Martyn(编辑)等人,《非传统计算和自然计算》。2016年7月11日至15日在英国曼彻斯特举行的2016年UCNC第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9726, 142-154 (2016).MSC公司:2007年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.MÉski}等人,Lect。注释计算。科学。9726,142--154(2016;Zbl 1476.68092) 全文: 内政部 链接
亚瑟·Mę滑雪;沃伊切赫,彭泽克;格列泽戈兹·罗森贝格 模型检查反应系统的时间特性。 (英语) 兹伯利1387.68167 信息科学。 313, 22-42 (2015).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人,《信息科学》。313、22-42(2015年;Zbl 1387.68167) 全文: 内政部
米夏·克纳皮克;沃伊切赫,彭泽克 定时Kripke结构的参数综合。 (英语) Zbl 1317.68118号 芬丹。通知。 133,编号2-3,211-226(2014).MSC公司:60年第68季度 68问题55 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}和\textit{W.Penczek},Fundam。通知。133,编号2--3,211-226(2014;Zbl 1317.68118) 全文: 内政部
米罗斯瓦夫·库尔科夫斯基;沃伊切赫,彭泽克 应用时间自动机对安全协议进行模型检测。 (英语) Zbl 1304.68129号 王家村(编辑),基于有限状态的模型和应用手册。佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4398-4618-6/hbk;978-1-439 8-4619-3/电子书)。《离散数学及其应用》,223-254(2013)。MSC公司:60年第68季度 68个M12 第68季度第45季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}和\textit{W.Penczek},in:有限状态模型和应用手册。佛罗里达州博卡拉顿:CRC出版社。223-254(2013;Zbl 1304.68129)
阿加塔·贾诺夫斯卡;沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 使用整数时间步长检查时间Petri网的分支时间属性。 (英语) Zbl 1395.68197号 Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》VIII。柏林:施普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学讲义8100。《期刊副刊》,89-105(2013)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}等人,Lect。注释计算。科学。8100、89——105(2013年;Zbl 1395.68197) 全文: 内政部
沃伊切赫,彭泽克(编辑) 特殊问题:并发规范和编程(CS&P)。根据2011年9月28日至30日在波兰普图斯克举行的研讨会上的演示文稿选出的论文。 (英语) Zbl 1286.68007号 芬丹。通知。120,第2期,111-203(2012)。 MSC公司:68-06 第68页第19页 68号30 00B25型 PDF格式BibTeX公司 XML格式
阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 走向web服务的自动组合:基于SAT的抽象场景的具体化。 (英语) Zbl 1254.68051号 芬丹。通知。 120,第2期,181-203(2012).MSC公司:68英里11 60年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人,基金会。通知。120,第2号,181--203(2012;Zbl 1254.68051) 全文: 内政部
沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。MSC公司:60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388、210-263(2012年;Zbl 1250.68190) 全文: 内政部
沃伊切赫,彭泽克;沃纳·什尼亚克(Bożena);安德烈·兹布雷泽兹尼 在交织解释系统上实现基于SAT的LTLK BMC。 (英语) Zbl 1279.68219号 芬丹。通知。 119,编号3-4,373-392(2012).MSC公司:60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Fundam。通知。119,编号3--4,373--392(2012;Zbl 1279.68219) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 时间认知逻辑的符号模型检验。 (英语) 兹比尔1356.68144 亚历山大·阿提基斯(编辑)等人,《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-29413-6/pbk)。计算机科学课堂讲稿7360。《人工智能课堂讲稿》,172-195(2012)。MSC公司:60年第68季度 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{W.Penczek},莱克特。注释计算。科学。7360、172--195(2012;Zbl 1356.68144) 全文: 内政部
米夏·克纳皮克;沃伊切赫,彭泽克 参数时间自动机的有界模型检验。 (英语) Zbl 1350.68183号 Jensen,Kurt(编辑)等人,《Petri网和其他并发模型事务》V.Berlin:Springer(ISBN 978-3-642-29071-8/pbk)。计算机科学6900课堂讲稿。《期刊副刊》,141-159(2012)。MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}和\textit{W.Penczek},莱克特。注释计算。科学。6900、141--159(2012;Zbl 1350.68183) 全文: 内政部
阿图尔滑雪;沃伊切赫,彭泽克;阿加塔·波罗拉 基于BDD的1-安全Petri网时间特性的有界模型检验。 (英语) Zbl 1238.68086号 芬丹。通知。 109,第3号,305-321(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:60年第68季度 68问题85 第68季度01 03B44号 第68页第19页 68米14 PDF格式BibTeX公司 XML格式引用 \textit{A.Mȩski}等人,Fundam。通知。109,第3号,305-321(2011;Zbl 1238.68086) 全文: 内政部
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;曲洪阳 交错多智能体系统中模型检验时间认知逻辑的部分降阶。 (英语) 兹比尔1213.68382 芬丹。通知。 101,编号1-2,71-90(2010).MSC公司:60年第68季度 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Fundam。通知。101,编号1-2,71-90(2010年;兹bl 1213.68382) 全文: 内政部
米夏·克纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 离散时间语义分布时间Petri网的有界参数验证。 (英语) Zbl 1213.68404号 芬丹。通知。 101,编号1-2,9-27(2010).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}等人,Fundam。通知。101,编号1--2,9--27(2010;Zbl 1213.68404) 全文: 内政部
米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 使用VerICS检查参数化模型。 (英语) Zbl 1312.68134号 Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,98-120(2010)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}等人,Lect。注释计算。科学。655098-120(2010年;Zbl 1312.68134) 全文: 内政部
沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 一类分布式时间Petri网的基于SAT的(参数)可达性。 (英语) Zbl 1312.68137号 Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,72-97(2010年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Lect。注释计算。科学。6550,72-97(2010年;兹比尔1312.68137) 全文: 内政部
米夏·克纳皮克;马西耶·斯特雷特;沃伊切赫,彭泽克 基本网络系统的有界参数模型检验。 (英语) Zbl 1312.68135号 Jensen,Kurt(编辑)等人,《Petri网和其他并发模型学报》IV。柏林:施普林格出版社(ISBN 978-3-642-18221-1/pbk)。计算机科学课程讲稿6550。《期刊副刊》,42-71(2010)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Knapik}等人,Lect。注释计算。科学。6550,42--71(2010年;Zbl 1312.68135) 全文: 内政部
沃伊切赫,彭泽克(编辑) 特殊问题:并发规范和编程(CS&P)。根据2009年9月28日至30日在波兰克拉科夫-波塞戈扎伊研讨会上的演示文稿选出的论文。 (英语) Zbl 1217.68016号 芬丹。通知。第102卷第1期第113页。(2010). MSC公司:68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式
阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;马西耶·斯兹雷特 面向检查UML状态机的参数可达性。 (英语) Zbl 1274.68199号 Pnueli,Amir(编辑)等人,《系统信息学的观点》。2009年6月15日至19日,俄罗斯新西伯利亚,第七届安德烈·埃尔肖夫国际纪念大会,PSI 2009。修订论文。柏林:施普林格出版社(ISBN 978-3-642-11485-4/pbk)。计算机科学课堂讲稿5947319-330(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人,Lect。注释计算。科学。5947319-330(2010年;Zbl 1274.68199) 全文: 内政部
阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;马西耶·斯特雷特 UML状态机模型检查的一种新方法。 (英语) Zbl 1189.68077号 芬丹。通知。 93,编号1-3289-303(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人,基金会。通知。93,编号1--3,289--303(2009;Zbl 1189.68077)
米罗斯·库考斯基;沃伊切赫,彭泽克 基于时间自动机的时间安全协议模型检查。 (英语) Zbl 1189.68075号 芬丹。通知。 93,编号1-3,245-259(2009).MSC公司:60年第68季度 68第25页 第68季度第45季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}和\textit{W.Penczek},Fundam。通知。93,编号1--3,245--259(2009;Zbl 1189.68075)
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;曲洪阳 面向模型检验时序认知逻辑的部分降阶。 (英语) Zbl 1226.68043号 Peled,Doron A.(编辑)等人,《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-00430-8/pbk)。计算机科学课堂讲稿5348。人工智能课堂讲稿,106-121(2009)。MSC公司:60年第68季度 03B42型 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Lect。注释计算。科学。5348、106-121(2009年;Zbl 1226.68043) 全文: 内政部
沃伊切赫,彭泽克;马西耶·斯兹雷特 基于SAT的时间自动机无界模型检验。 (英语) Zbl 1159.68480号 芬丹。通知。 85,编号1-4,425-440(2008).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{M.Szreter},Fundam。通知。85,编号1--4,425--440(2008;Zbl 1159.68480)
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 LDYIS:模型检查安全协议的框架。 (英语) Zbl 1160.68443号 芬丹。通知。 85,编号1-4,359-375(2008).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{W.Penczek},Fundam。通知。85,编号1--4,359--375(2008;Zbl 1160.68443)
马格达莱娜·卡普扎克;沃伊切赫Nabiałek;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼 VERICS 2007–用于知识和实时的模型检查器。 (英语) Zbl 1167.68381号 芬丹。通知。 85,编号1-4313-328(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}等人,Fundam。通知。85,编号1--4313--328(2008;Zbl 1167.68381)
阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;沃纳、博埃纳 知识和实时的有界模型检查。 (英语) Zbl 1168.68422号 Artif公司。智力。 171,第16-17号,1011-1038(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,Artif。智力。171,编号16--17,1011--1038(2007;Zbl 1168.68422) 全文: 内政部
米罗斯·库考斯基;沃伊切赫,彭泽克;安德烈·兹布雷泽兹尼 通过转换到自动机网络,对安全协议进行基于SAT的验证。 (英语) Zbl 1196.68140号 Edelkamp,Stefan(编辑)等人,《模型检查和人工智能》。2006年8月29日,第四届MoChArt研讨会,意大利里瓦德尔加达。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-74127-5/pbk)。计算机科学课堂讲稿4428。人工智能课堂讲稿,146-165(2007)。MSC公司:60年第68季度 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}等人,Lect。注释计算。科学。4428、146--165(2007年;Zbl 1196.68140) 全文: 内政部
阿加塔·贾诺夫斯卡;沃伊切赫,彭泽克 时间自动机中的路径压缩。 (英语) Zbl 1124.68054号 芬丹。通知。 79,No.3-4,379-399(2007).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{W.Penczek},Fundam。通知。79,编号3--4,379--399(2007;Zbl 1124.68054)
马格达莱娜·卡普扎克;阿莱西奥·洛穆西奥;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;佛朗哥·雷蒙迪;马西耶·斯兹雷特 比较基于BDD和SAT的Chaum用餐密码协议模型检查技术。 (英语) Zbl 1097.68074号 芬丹。通知。 72,编号1-3,215-234(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}等人,Fundam。通知。72,编号1--3,215--234(2006;Zbl 1097.68074)
沃伊切赫,彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 (英语) Zbl 1110.68087号 计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006年)。 审核人:Ryszard Janicki(汉密尔顿) MSC公司:68问题85 第68季度第45季度 60年第68季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林:施普林格出版社(2006;Zbl 1110.68087) 全文: 内政部
沃纳、博埃纳;阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 道义解释系统的有界模型检验。 (英语) Zbl 1272.68279号 van der Hoek,Wiebe(编辑)等人,《第二届多智能体系统逻辑与通信国际研讨会论文集》,LCMAS,法国南希,2004年8月16日至20日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记126,93-114(2005)。MSC公司:60年第68季度 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna}等人,《电子》。理论注释。计算。科学。126、93——114(2005年;Zbl 1272.68279) 全文: 链接
阿加塔·波罗拉;沃伊切赫,彭泽克;马西耶·斯兹雷特 时间自动机中检查可达性的高效分区细化。 (英语) Zbl 1099.68649号 Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。《计算机科学讲义》2791,2-17(2004)。MSC公司:第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Półrola}等人,Lect。注释计算。科学。2791、2--17(2004年;Zbl 1099.68649) 全文: 内政部
沃伊切赫,彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机中时间属性的规范和模型检查。 (英语) Zbl 1094.68067号 Cortadella,Jordi(编辑)等人,《Petri网的应用和理论》,2004年。2004年6月21日至25日,第25届国际会议,意大利博洛尼亚ICATPN 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22236-7/pbk)。计算机科学课堂讲稿3099,37-76(2004)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},莱克特。注释计算。科学。3099、37--76(2004年;Zbl 1094.68067) 全文: 内政部
M.卡普扎克。;彭泽克,W。 基于SAT的交替时间认知逻辑无界模型检查方法。 (英语) Zbl 1072.03012号 合成 142,第2期,203-227(2004).MSC公司:03B42型 03B44号 68T27型 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}和\textit{W.Penczek},综合142,第2期,203-227(2004;Zbl 1072.03012) 全文: 内政部
比塔·科尼科夫斯卡;沃伊切赫,彭泽克 在多值\(\text{CTL}^*\)模型检查中的指定值上。 (英语) Zbl 1083.68071号 芬丹。通知。 60,编号1-4,211-224(2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska}和\textit{W.Penczek},Fundam。通知。60,编号1--4,211-224(2004;Zbl 1083.68071) 全文: 链接
沃纳、博埃纳;安德烈·兹布雷泽兹尼;沃伊切赫,彭泽克 通过SAT检查时间自动机的可达性属性。 (英语) Zbl 1111.68548号 芬丹。通知。 55,第223-241号(2003年).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna}等人,Fundam。通知。55,第2号,223--241(2003;Zbl 1111.68548)
沃伊切赫,彭泽克;阿莱西奥·洛穆西奥 通过有界模型检查验证多智能体系统的认知属性。 (英语) Zbl 1111.68512号 芬丹。通知。 55,第2期,167-185(2003).MSC公司:60年第68季度 68问题85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Lomuscio},Fundam。通知。55,第2号,167--185(2003;Zbl 1111.68512)
比塔·科尼科夫斯卡;沃伊切赫,彭泽克 多值计算树逻辑的模型检查。 (英语) Zbl 1049.03026号 Fitting,Melvin(编辑)等人,《超越二:多值逻辑的理论和应用》。海德堡:Physica-Verlag(ISBN 3-7908-1541-1/pbk)。模糊软计算研究。114, 193-210 (2003). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska}和\textit{W.Penczek},Stud.Fuzziness软计算。114193-210(2003年;Zbl 1049.03026)
彼得·德米因斯基;阿加塔·贾诺夫斯卡;Pawe Janowskił;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 \(surd\)erics:用于验证时间自动机和Estelle规范的工具。 (英语) Zbl 1031.68546号 Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 278-283 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Dembian ski}等人,Lect。注释计算。科学。26192278-283(2003年;兹bl 1031.68546) 全文: 链接
沃伊切赫,彭泽克;沃纳、波ẓ埃纳;安德烈·兹布雷泽兹尼 面向TCTL通用片段的有界模型检查。 (英语) Zbl 1278.68192号 Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469265-288(2002)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Lect。注释计算。科学。2469265--288(2002年;Zbl 1278.68192) 全文: 内政部
沃伊切赫,彭泽克 因果知识协议的有效模型检查。 (英语) Zbl 1053.68698号 Dunin-Kȩplicz,Barbara(编辑)等人,《从理论到多智能体系统的实践》。第二届中欧和东欧国际研讨会,CEEMAS 2001,波兰克拉科夫,2001年9月26-29日。修订论文。柏林:施普林格出版社(ISBN 3-540-43370-8)。莱克特。注释计算。科学。2296, 242-252 (2002).MSC公司:68立方英尺 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},莱克特。注释计算。科学。2296242--252(2002年;Zbl 1053.68698) 全文: 链接
比塔·科尼科夫斯卡;沃伊切赫,彭泽克 将模型检查从多值\(\text{CTL}^{ast}\)减少到\(\text{CTL{^{ast{\)。 (英语) Zbl 1012.68132号 Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 226-239 (2002).MSC公司:68问题85 60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska}和\textit{W.Penczek},莱克特。注释计算。科学。2421,226--239(2002;Zbl 1012.68132) 全文: 链接
沃伊切赫,彭泽克;沃纳、博埃纳;安德烈·兹布雷泽兹尼 CTL通用片段的有界模型检验。 (英语) Zbl 1052.68087号 芬丹。通知。 51,第1-2135-156号(2002年).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Fundam。通知。51,编号1--2,135-156(2002;Zbl 1052.68087)
斯坦尼斯劳·安布罗茨基维奇;沃伊切赫,彭泽克;托马斯·诺瓦克 走向网络空间的正式规范和验证。 (英语) Zbl 0988.68564号 Rash,James L.(编辑)等人,基于代理系统的形式化方法。2000年4月5日至7日,第一届国际研讨会,FAABS 2000,美国马里兰州Greenbelt。修订论文。柏林:斯普林格。莱克特。注释计算。科学。1871, 16-32 (2001).MSC公司:60年第68季度 第68页第19页 68吨99 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ambroszkiewicz}等人,Lect。注释计算。科学。1871,16-32(2001;Zbl 0988.68564)
沃伊切赫,彭泽克;阿加塔·波罗拉 用于检查时间Petri网分支性质的抽象和部分降阶。 (英语) Zbl 0986.68096号 Colom,José-Manuel(编辑)等人,《Petri网的应用和理论》,2001年。第22届国际会议,ICATPN 2001,英国泰恩河畔纽卡斯尔,2001年6月25-29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2075, 323-342 (2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},莱克特。注释计算。科学。2075、323--342(2001年;Zbl 0986.68096) 全文: 链接
沃伊切赫,彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 改进通用分支时间属性的部分降阶。 (英语) Zbl 0966.68126号 芬丹。通知。 43,编号1-4,245-267(2000).MSC公司:60年第68季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,基金会。通知。43,编号1--4,245--267(2000;Zbl 0966.68126)
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫,彭泽克 一种分支时间逻辑模型检查的偏序方法。 (英语) Zbl 1045.68588号 Inf.计算。 150,第2期,第132-152页(1999年).MSC公司:60年第68季度 03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}等人,《信息计算》。150,第2号,132--152(1999;Zbl 1045.68588) 全文: 内政部 链接
沃伊切赫,彭泽克;玛丽安,斯雷布尼 跟踪系统上一阶时序逻辑的完全公理化。 (英语) Zbl 0883.68089号 Peled,Doron A.(编辑)等人,《验证中的偏序方法》。DIMACS研讨会,1996年7月24日至26日,美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯,RI:AMS,美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 79-97 (1997).MSC公司:60年第68季度 03B45号 03B48号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{M.Srebrny},DIMACS,序列号。离散数学。西奥。计算。科学。29、79——97(1997年;Zbl 0883.68089)
Kwiatkowska,M。;D.贝利德。;彭泽克,W。 部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号 Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).MSC公司:60年第68季度 68问题55 03B44号 第68季度第45季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。827398-414(1994年;Zbl 0949.68537)
沃伊切赫,彭泽克 跟踪系统的时间逻辑:关于自动验证。 (英语) 兹比尔0783.68081 发现的国际期刊。计算。科学。 4,第1期,31-67(1993).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},国际期刊发现。计算。科学。4,第1号,31-67(1993年;兹bl 0783.68081) 全文: 内政部
沃伊切赫,彭泽克 事件结构的时态逻辑。 (英语) Zbl 0789.03030号 数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 327-338 (1990). 审核人:J.-J.Ch.Meyer(乌得勒支) MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},in:数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷(Arend Heyting,1898-1980)诞辰90周年暑期学校和会议记录。纽约:Plenum出版社。327--338(1990年;Zbl 0789.03030)