卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 基于线性噪声近似的化学动力学随机混合近似。 （英语） 兹比尔1382.92269 Bartocci，Ezio（编辑）等人，《系统生物学中的计算方法》。2016年9月21日至23日，第14届国际会议，CMSB 2016，英国剑桥。诉讼程序。查姆：施普林格（ISBN 978-3-319-45176-3/pbk；978-3-3169-45177-0/电子书）。计算机科学课程讲稿9859。生物信息学讲义，147-167（2016）。MSC公司：92E20型 68问题55 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9859、147--167（2016年；Zbl 1382.92269） 全文： 内政部 链接
巴伯，贝诺;尼古拉斯·巴塞特;马克·比昂纳多;玛尔塔·奎亚特科夫斯卡 时间自动机的统一采样及其在语言包含性测量中的应用。 （英语） Zbl 1377.68126号 Agha，Gul（编辑）等人，《系统的定量评估》。2016年8月23日至25日，第13届国际会议，QEST 2016，加拿大魁北克市。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826175-190（2016）。MSC公司：第68季度第60季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人，Lect。注释计算。科学。9826、175--190（2016年；Zbl 1377.68126） 全文： 内政部 链接
Marta Z.Kwiatkowska。 随机博弈的模型检验和策略综合：从理论到实践（特邀演讲）。 （英语） Zbl 1388.68186号 Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 4，18 p.（2016）。MSC公司：第68季度第60季度 03B44号 第91页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska}，LIPIcs——莱布尼茨国际程序。通知。55，第4条，第18页（2016年；Zbl 1388.68186） 全文： 内政部
巴博特，贝努伊特;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂 根据可执行的定时I/O自动机规范构建功耗模型。 （英语） Zbl 1366.68196号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。195-204 (2016).MSC公司：68问题85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人，《第19届ACM混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。195-204（2016年；Zbl 1366.68196） 全文： 内政部
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 异步逻辑电路的化学反应网络设计。 （英语） Zbl 1451.68109号 Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9818, 67-81 (2016).MSC公司：2007年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9818，67-81（2016；Zbl 1451.68109） 全文： 内政部 链接
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 （英语） Zbl 1451.68108号 Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9818, 35-51 (2016).MSC公司：2007年第68季度 60E99型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9818，35-51（2016；Zbl 1451.68108） 全文： 内政部 arXiv公司 链接
Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 预期可达性-时间游戏。 （英语） Zbl 1339.68146号 西奥。计算。科学。 631, 139-160 (2016).MSC公司：65年第68季度 2010年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人，Theor。计算。科学。63113-160（2016年；Zbl 1339.68146） 全文： 内政部 arXiv公司 OA许可证