卢卡·卡德利；拉杜·格罗苏；金·古德斯特兰·拉森；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 不确定连续时间马尔可夫链的算法最小化。 （英语） Zbl 07795077号 IEEE传输。自动。控制 68，第11期，6557-6572（2023年）.MSC公司：93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，IEEE Trans。自动。控制68，编号11，6557--6572（2023；Zbl 07795077） 全文： 内政部
卢卡·卡德利；朱塞佩·斯奎拉克；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 通过近似等价实现多项式微分方程的形式集总。 （英语） 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） 全文： 内政部
卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 不确定连续时间马尔可夫链的集总性。 （英语） 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） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；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） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 比较化学反应网络：分类和算法的观点。 （英语） Zbl 1423.68165号 西奥。计算。科学。 765，47-66（2019）.MSC公司：2005年第68季度 68问题85 92C40型 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。765，47-66（2019年；Zbl 1423.68165） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 通过可达性分析保证近似模型抽象的误差界。 （英语） Zbl 07703951号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 104-121 (2018).MSC公司：65磅 94C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。11024，104-121（2018；Zbl 07703951） 全文： 内政部 arXiv公司 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 化学反应网络的句法马尔可夫互模拟。 （英语） Zbl 1431.68072号 Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 466-483 (2017).MSC公司：68问题85 87年第68季度 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。10460466--483（2017年；Zbl 1431.68072） 全文： 内政部 arXiv公司
卢卡·卡德利；米尔科·特里巴斯通；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年；兹比尔1420.68241） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 比较化学反应网络：分类和算法的观点。 （英语） Zbl 1392.68188号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。485-494 (2016).MSC公司：2005年第68季度 68问题85 92C40型 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。485--494（2016；Zbl 1392.68188） 全文： 内政部
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 微分等价的符号计算。 （英语） Zbl 1347.68258号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。137-150 (2016).MSC公司：68问题85 60J28型 60年第68季度 68瓦30 第92页第42页 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，in：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。137-150（2016；Zbl 1347.68258） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 化学反应网络的正向和反向相互模拟。 （英语） Zbl 1374.68204号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，226-239（2015）。MSC公司：2005年第68季度 第68季度10 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，LIPIcs——莱布尼茨国际程序。通知。42226--239（2015年；Zbl 1374.68204） 全文： 内政部 arXiv公司