卢卡·卡德利;朱塞佩·斯奎拉克;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 通过近似等价实现多项式微分方程的形式集总。 （英语） 兹伯利07723897 J.日志。阿尔盖布。方法计划。 134，文章ID 100876，19 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，J.Log。阿尔盖布。方法计划。134，文章ID 100876，19 p.（2023；Zbl 07723897） 全文： 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 微分等价的符号计算。 （英语） Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司：68瓦30 34个C99 68号30 68问题55 第68季度第60季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。777132-154（2019年；Zbl 1425.68463） 全文： 内政部 链接
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 比较化学反应网络：分类和算法的观点。 （英语） Zbl 1423.68165号 西奥。计算。科学。 765, 47-66 (2019).MSC公司：2005年第68季度 68问题85 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。765，47-66（2019年；Zbl 1423.68165） 全文： 内政部 链接
安德烈·范丁;米尔科·特里巴斯通 集体自适应系统的定量抽象。 （英语） Zbl 1346.68219号 Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700、202-232讲稿（2016）。MSC公司：第68页第42页 68T05型 93甲15 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Vandin}和\textit{M.Tribastone}，莱克特。票据计算。科学。9700202-232（2016年；兹比尔1346.68219） 全文： 内政部
朱利奥·亚科贝利;米尔科·特里巴斯通;安德烈·范丁 马尔科夫过程代数的微分互模拟。 （英语） Zbl 1465.68195号 Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。2015年8月24日至28日，第40届国际研讨会，MFCS 2015，意大利米兰。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。9234, 293-306 (2015).MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Iacobelli}等人，Lect。票据计算。科学。9234，293--306（2015；Zbl 1465.68195） 全文： 内政部