马克斯·惠特比;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;米尔科·特里巴斯通;马克斯·柴科夫斯基 生化反应网络的PID控制。 （英语） Zbl 07480846号 IEEE传输。自动。控制 67，第2期，1023-1030（2022）.MSC公司：93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Whitby}等人，IEEE Trans。自动。控制67，编号2，1023--1030（2022；Zbl 07480846） 全文： 内政部 arXiv公司
卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡 连续线性随机混合过程的形式化有效综合。 （英语） Zbl 07320129号 IEEE传输。自动。控制 66，编号1，17-32（2021）.MSC公司：93亿B50 93E03型 93二氧化碳 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Laurenti}等人，IEEE Trans。自动。控制66，编号1，17--32（2021；Zbl 07320129） 全文： 内政部
卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 中心极限模型检查。 （英语） Zbl 1433.68209号 ACM事务处理。计算。日志。 第20条第4款第19条第35页（2019年）.MSC公司：60年第68季度 60年28日 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人，ACM Trans。计算。日志。20，第4号，第19条，第35页（2019年；兹bl 1433.68209） 全文： 内政部 arXiv公司 链接
纳塔利·考奇;卢卡·劳伦蒂;莫特萨·拉希贾尼安;亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;卢卡·卡德利 通过不确定性的效率：随机混合系统的可扩展形式综合。 （英语） Zbl 07120160号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。240-251（2019年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。240-251（2019年；Zbl 07120160） 全文： 内政部 arXiv公司
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 （英语） Zbl 1528.68111号 自然计算。 17，第1期，131-145（2018）.MSC公司：2007年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《自然计算》。17，编号1，131--145（2018；Zbl 1528.68111） 全文： 内政部
亚历山德罗·阿巴特;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;博扬·约丹诺夫 具有形式语义的实验生物协议。 （英语） Zbl 1397.92268号 采什卡，米兰（编辑）等人，《系统生物学中的计算方法》。2018年9月12日至14日在捷克共和国布尔诺举行的CMSB 2018第16届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-99428-4/pbk；978-3-3169-99429-1/电子书）。计算机科学课堂讲稿11095。生物信息学讲义，165-182（2018）。MSC公司：第92页第45页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，Lect。注释计算。科学。11095，165--182（2018；Zbl 1397.92268） 全文： 内政部 arXiv公司
卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 化学反应网络的句法引导优化合成。 （英语） Zbl 1494.68163号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 375-395 (2017).MSC公司：60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。10427375--395（2017年；Zbl 1494.68163） 全文： 内政部 链接
卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡，米兰;玛尔塔·奎亚特科夫斯卡 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 （英语） Zbl 1369.93728号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。55-64 (2017).MSC公司：93E25型 60 H10型 93个B03 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Laurenti}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。55-64（2017年；Zbl 1369.93728） 全文： 内政部
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 基于线性噪声近似的化学动力学随机混合近似。 （英语） Zbl 1382.92269号 Bartocci，Ezio（编辑）等人，《系统生物学中的计算方法》。2016年9月21日至23日，第14届国际会议，CMSB 2016，英国剑桥。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-45176-3/pbk；978-3-319-45177-0/电子书）。计算机科学课程讲稿9859。生物信息学课堂讲稿，147-167（2016）。MSC公司：92E20型 68问题55 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9859、147--167（2016年；Zbl 1382.92269） 全文： 内政部 链接
卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用线性噪声近似近似化学反应网络的概率可达性。 （英语） Zbl 1381.92110号 Agha，Gul（编辑）等人，《系统的定量评估》。第13届国际会议，2016年QEST，加拿大魁北克市，QC，2016年8月23日至25日。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826，72-88（2016）。MSC公司：92E20型 92立方厘米 60克15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人，Lect。注释计算。科学。9826、72--88（2016年；Zbl 1381.92110） 全文： 内政部 链接
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 （英语） Zbl 1451.68108号 Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9818, 35-51 (2016).MSC公司：2007年第68季度 60E99型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9818，35-51（2016；Zbl 1451.68108） 全文： 内政部 arXiv公司 链接