卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯 从电路到化学网络。 （英语） Zbl 1530.68081号 自然计算。 19，第1期，237-248（2020年）.MSC公司：2007年第68季度 34A09号 第34页45 92C40型 94C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《自然计算》。19，第1号，237--248（2020；Zbl 1530.68081） 全文： DOI程序 arXiv公司
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 微分等价的符号计算。 （英语） 兹比尔1425.68463 西奥。计算。科学。 777, 132-154 (2019).MSC公司：68瓦30 34个C99 68号30 68问题55 60年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。777132-154（2019年；Zbl 1425.68463） 全文： DOI程序 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 高效的语法驱动的微分方程集。 （英语） Zbl 1420.68241号 Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 93-111 (2016).MSC公司：68瓦30 34A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。9636，93-111（2016；Zbl 1420.68241） 全文： DOI程序 链接