卢卡·卡德利;朱塞佩·斯奎拉克;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 通过近似等价实现多项式微分方程的形式集总。 (英语) Zbl 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 1522.93048号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13479, 173-191 (2022).MSC公司:93B11号机组 93立方厘米 93个B03 92天30分 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Squillace}等人,Lect。注释计算。科学。13479,173--191(2022;Zbl 1522.93048) 全文: 内政部
乔治·阿格里斯;卢赫·拉富恩特,阿尔贝托;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 用反向布尔等价简化布尔网络。 (英语) Zbl 1491.92058号 Cinquemani,Eugenio(编辑)等人,《系统生物学中的计算方法》。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12881, 1-18 (2021).MSC公司:92立方厘米 92-08 PDF格式BibTeX公司 XML格式引用 \textit{G.Argyris}等人,Lect。注释计算。科学。12881,1-18(2021;Zbl 1491.92058) 全文: 内政部 arXiv公司
卢卡·卡德利;拉杜·格罗苏;Larsen,Kim G。;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 不确定连续时间马尔可夫链的集总性。 (英语) Zbl 1492.60219号 阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12846, 391-409 (2021).MSC公司:60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。12846、391--409(2021;Zbl 1492.60219) 全文: 内政部 链接
伊莎贝尔·克里斯蒂娜·佩雷兹·维罗纳;米尔科·特里巴斯通;安德烈·范丁 生物模型库中定量模型精确集总的大规模评估。 (英语) 兹比尔1518.92067 西奥。计算。科学。 893, 41-59 (2021).MSC公司:92C40型 92立方厘米 60华氏30 PDF格式BibTeX公司 XML格式引用 \textit{I.C.Perez-Verona}等人,Theor。计算。科学。893,41-59(2021;Zbl 1518.92067) 全文: 内政部 链接
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 微分等价的符号计算。 (英语) Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司:68瓦30 34立方厘米99 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公司:68T42型 68T05型 93甲15 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Vandin}和\textit{M.Tribastone},莱克特。注释计算。科学。9700、202--232(2016;Zbl 1346.68219) 全文: 内政部
马克斯·柴科夫斯基;米尔科·特里巴斯通 马尔可夫过程代数中微分聚合的统一框架。 (英语) Zbl 1319.68151号 J.日志。代数。方法计划。 84,第2期,238-258(2015).MSC公司:第68季度85 60J10型 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.柴可夫斯基}和\textit{M.Tribastone},J.洛格。代数。方法计划。84,No.2,238--258(2015;Zbl 1319.68151) 全文: 内政部
马克斯·柴科夫斯基;米尔科·特里巴斯通 马尔科夫过程代数中的精确流体集总性。 (英语) Zbl 1359.68228号 西奥。计算。科学。 538, 140-166 (2014).MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.柴可夫斯基}和\textit{M.Tribastone},提奥。计算。科学。538140--166(2014年;Zbl 1359.68228) 全文: 内政部