阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克 基于SMT的抽象参数时间规划。 （英语） Zbl 1366.68009号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型学报》X。柏林：施普林格出版社（ISBN 978-3-662-48649-8/pbk；978-3-562-48650-4/电子书）。计算机科学9410课堂讲稿。《期刊副刊》，55-83（2015）。MSC公司：68英里11 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}和\textit{W.Penczek}，莱克特。注释计算。科学。9410，55-83（2015；Zbl 1366.68009） 全文： DOI程序
阿图尔·尼维亚多姆斯基;雅罗斯瓦夫·斯卡鲁兹;沃伊切赫·彭泽克;马西耶·斯兹雷特;马吕斯·贾洛基 SMT与遗传和OpenOpt算法：PlanICS框架中的具体规划。 （英语） Zbl 1329.68047号 芬丹。通知。 135，第4号，451-466（2014）.MSC公司：68英里11 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人，Fundam。通知。135，第4号，451--466（2014；Zbl 1329.68047） 全文： DOI程序
阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 走向web服务的自动组合：基于SAT的抽象场景的具体化。 （英语） 兹比尔1254.68051 芬丹。通知。 120，第2期，181-203（2012）.MSC公司：68英里11 60年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人，Fundam。通知。120，第2号，181--203（2012；Zbl 1254.68051） 全文： DOI程序
达留什·多利瓦;沃伊切赫·霍泽尔斯基;马吕斯·贾洛基;阿图尔·尼维亚多姆斯基;沃伊切赫·彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特 Web服务组合–从本体到按查询规划。 （英语） Zbl 1318.68173号 控制网络。 40，第2期，315-336（2011）.MSC公司：68层35 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{D.Doliwa}等人，《控制网络》。40，第2号，315--336（2011；Zbl 1318.68173）
阿莱西奥·洛穆西奥;沃伊切赫·彭泽克;莫尼卡·索兰基;马西耶·斯兹雷特 合同管理web服务的运行时监控。 （英语） Zbl 1234.68028号 芬丹。通知。 111，第3期，339-355（2011）.MSC公司：68英里11 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人，Fundam。通知。111，第3号，339--355（2011；Zbl 1234.68028） 全文： 链接