卢卡·卡德利；拉杜·格罗苏；金·古德斯特兰·拉森；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 不确定连续时间马尔可夫链的算法最小化。 （英语） 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） 全文： 内政部
卢卡·卡德利；朱塞佩·斯奎拉克；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 通过近似等价实现多项式微分方程的形式集总。 （英语） 兹伯利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） 全文： 内政部
马克斯·惠特比；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；米尔科·特里巴斯通；马克斯·柴科夫斯基 生化反应网络的PID控制。 （英语） 兹伯利07488046 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公司
卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 不确定连续时间马尔可夫链的集总性。 （英语） Zbl 1492.60219号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12846391-409（2021年）。MSC公司：60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。12846、391--409（2021；Zbl 1492.60219） 全文： 内政部 链接
卢卡·劳伦蒂；莫特萨·拉希贾尼安；亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡 连续线性随机混合过程的形式化有效综合。 （英语） 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 1530.68081号 自然计算。 19，第1期，237-248（2020年）.MSC公司：2007年第68季度 34A09号 34A45型 92C40型 94C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝等人，《自然计算》。19，第1号，237--248（2020；Zbl 1530.68081） 全文： 内政部 arXiv公司
卢卡·博托卢西；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 中心极限模型检查。 （英语） 兹比尔1433.68209 ACM事务处理。计算。日志。 第20条第4款第19条第35页（2019年）.MSC公司：60年第68季度 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人，ACM Trans。计算。日志。20，第4号，第19条，第35页（2019年；Zbl 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 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） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 比较化学反应网络：分类和算法的观点。 （英语） 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） 全文： 内政部 链接
达尔肖，尼尔；格雷戈里·塞普；罗莎·埃尔南赛兹·巴列斯特罗斯；克里斯·巴恩斯（Chris P.Barnes）。；卢卡·卡德利；安德鲁·菲利普斯；Csikász-Nagy，阿提拉 使用生物开关和时钟进行计算。 （英语） Zbl 1528.68116号 自然计算。 17，第4期，761-779（2018）.MSC公司：2007年第68季度 2010年第68季度 92B25型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Dalchau}等人，《自然计算》。17，第4号，761--779（2018；Zbl 1528.68116） 全文： 内政部
卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 用化学反应网络编程离散分布。 （英语） Zbl 1528.68111号 自然计算。 17，第1期，131-145（2018）.MSC公司：2007年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《自然计算》。17，编号1，131--145（2018；Zbl 1528.68111） 全文： 内政部
卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 异步逻辑电路的化学反应网络设计。 （英语） Zbl 1528.68112号 自然计算。 17，第1号，109-130（2018）.MSC公司：2007年第68季度 2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《自然计算》。17，第1号，109--130（2018；Zbl 1528.68112） 全文： 内政部
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 通过可达性分析保证近似模型抽象的误差界。 （英语） 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公司 链接
亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；博扬·约丹诺夫 具有形式语义的实验生物协议。 （英语） 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公司：92C45型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，Lect。票据计算。科学。11095，165--182（2018；Zbl 1397.92268） 全文： 内政部 arXiv公司
卢卡·卡德利；科什卡，米兰；Fränzle，马丁；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比 化学反应网络的句法引导优化合成。 （英语） 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 1431.68072号 Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。10460, 466-483 (2017).MSC公司：68问题85 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。10460466--483（2017年；Zbl 1431.68072） 全文： 内政部 arXiv公司
卢卡·劳伦蒂；亚历山德罗·阿巴特；卢卡·博托卢西；卢卡·卡德利；塞斯卡，米兰；玛尔塔·奎亚特科夫斯卡 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 （英语） Zbl 1369.93728号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。55-64 (2017).MSC公司：93E25型 60小时10分 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 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） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 比较化学反应网络：分类和算法的观点。 （英语） 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立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。485--494（2016；Zbl 1392.68188） 全文： 内政部
卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 基于线性噪声近似的化学动力学随机混合近似。 （英语） Zbl 1382.92269号 Bartocci，Ezio（编辑）等人，《系统生物学中的计算方法》。2016年9月21日至23日，第14届国际会议，CMSB 2016，英国剑桥。诉讼程序。查姆：施普林格（ISBN 978-3-319-45176-3/pbk；978-3-3169-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（编辑）等人，《系统的定量评估》。2016年8月23日至25日，第13届国际会议，QEST 2016，加拿大魁北克市。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826，72-88（2016）。MSC公司：92E20型 92立方厘米 60G15年 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人，Lect。票据计算。科学。9826、72--88（2016年；Zbl 1381.92110） 全文： 内政部 链接
卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 异步逻辑电路的化学反应网络设计。 （英语） 兹比尔1451.68109 Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9818, 67-81 (2016).MSC公司：2007年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。9818，67-81（2016；Zbl 1451.68109） 全文： 内政部 链接
卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 用化学反应网络编程离散分布。 （英语） Zbl 1451.68108号 Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9818, 35-51 (2016).MSC公司：2007年第68季度 60E99型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。9818，35-51（2016；Zbl 1451.68108） 全文： 内政部 arXiv公司 链接
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 微分等价的符号计算。 （英语） 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立方厘米 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） 全文： 内政部 链接
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 化学反应网络的正向和反向相互模拟。 （英语） 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季度 2010年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，LIPIcs——莱布尼茨国际程序。通知。42226--239（2015年；Zbl 1374.68204） 全文： 内政部 arXiv公司
迈克尔·博埃莫（Michael A.Boemo）。；安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。；卢卡·卡德利 局部DNA计算电路的自动设计和验证。 （英语） 兹比尔1404.68076 安德鲁·菲利普斯（编辑）等人，《DNA计算和分子编程》。第21届国际会议，DNA 21，美国马萨诸塞州波士顿和剑桥，2015年8月17日至21日。诉讼程序。查姆：施普林格（ISBN 978-3-319-21998-1/pbk；978-3-3169-21999-8/电子书）。计算机科学讲座笔记9211，168-180（2015）。MSC公司：60年第68季度 2005年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Boemo}等人，Lect。票据计算。科学。9211、168--180（2015年；Zbl 1404.68076） 全文： 内政部
卢卡·卡德利；拉杜·马达尔 随机过程的可测空间。 （英语） Zbl 1437.68129号 芬丹。通知。 131，编号3-4，351-371（2014）.MSC公司：87年第68季度 60J99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{R.Mardare}，Fundam。通知。131，编号3--4，351--371（2014；Zbl 1437.68129） 全文： 内政部
卢卡·卡德利（编辑）；威廉·施（编辑） 前言。 （英语） Zbl 1332.00072号 自然计算。 12，第2号，209（2013）.MSC公司：00B25型 68-06 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝（编辑）和\textit｛W.Shih｝（编辑），《国家计算机》。12，第2号，209（2013；Zbl 1332.00072） 全文： 内政部
卢卡·卡德利；拉杜·马达尔 重新审视随机pi-calculus。 （英语） 兹比尔1405.68209 Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049，1-21（2013）。MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝和\textit｛R.Mardare｝，Lect。票据计算。科学。8049，1--21（2013；Zbl 1405.68209） 全文： 内政部 链接
卢卡·卡德利 双域DNA链置换。 （英语） Zbl 1271.68105号 数学。结构。计算。科学。 23，第2期，247-271（2013）.MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，数学。结构。计算。科学。23，第2号，247--271（2013；Zbl 1271.68105） 全文： 内政部
拉杜·马达尔；卢卡·卡德利；Larsen，Kim G。 连续马尔科夫逻辑——公理化和量化元理论。 （英语） Zbl 1261.03088号 日志。方法计算。科学。 8，第4号，第19号论文，28页（2012年）.MSC公司：03B45 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人，《日志》。方法计算。科学。8，第4号，第19号论文，28页（2012；Zbl 1261.03088） 全文： 内政部 arXiv公司
卢卡·卡德利；菲利普·加德纳 空间中的进程。 （英语） Zbl 1251.68153号 西奥。计算。科学。 431, 40-55 (2012).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner}，Theor。计算。科学。431、40-55（2012年；Zbl 1251.68153） 全文： 内政部
卢卡·卡德利；科西莫·拉内夫 大规模并发系统中的可逆性。 （英语） Zbl 1424.92028年 科学。Ann.计算。科学。 21，第2期，175-198（2011）.MSC公司：92D20型 92-08 68页30 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{C.Laneve}，科学。Ann.计算。科学。21，第2号，175--198（2011；Zbl 1424.92028） 全文： arXiv公司
卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 （英语） Zbl 1247.03030号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，144-158，仅电子版（2011年）。MSC公司：03B48 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，LIPIcs——莱布尼茨国际程序。通知。12、144--158（2011；Zbl 1247.03030） 全文： 内政部 链接
卢卡·卡德利（编辑）；威廉·施（编辑） DNA计算和分子编程。2011年9月19日至23日，第17届国际会议，DNA 17，美国加利福尼亚州帕萨迪纳。诉讼程序。 （英语） Zbl 1222.68005号 计算机科学课堂讲稿6937.柏林：施普林格出版社（ISBN 978-3-642-23637-2/pbk）。x、 第217页。(2011).MSC公司：68-06 2005年第68季度 2010年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}（编辑）和textit{W.Shih}（编），DNA计算和分子编程。2011年9月19-23日，第17届国际会议，DNA 17，美国加利福尼亚州帕萨迪纳。诉讼程序。柏林：施普林格出版社（2011；Zbl 1222.68005） 全文： 内政部
卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 模块化马尔科夫逻辑。 （英语） 兹比尔1333.68200 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。MSC公司：87年第68季度 03B70号 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。6756380-391（2011年；Zbl 1333.68200） 全文： 内政部
卢卡·卡德利 DNA计算的链代数。 （英语） Zbl 1221.68164号 自然计算。 10，第1号，407-428（2011）.MSC公司：68问题85 2010年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，《自然计算》。10，第1号，407--428（2011；Zbl 1221.68164） 全文： 内政部 链接
卢卡·卡德利 双域DNA链置换。 （英语） Zbl 1456.68040号 Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，47-61（2010）。MSC公司：2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，电子。程序。西奥。计算。科学。（EPTCS）26，47--61（2010；Zbl 1456.68040） 全文： 链接
卢卡·卡德利；安德鲁·戈登。 移动环境。重印2001年精装版。 （英语） Zbl 1253.68238号 Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。198-229 (2010).MSC公司：68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。198-229（2010年；Zbl 1253.68238）
卢卡·卡德利；菲利普·加德纳 空间中的进程。 （英语） Zbl 1286.68345号 Ferreira，Fernando（编辑）等人，《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议，CiE 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13961-1/pbk）。计算机科学课堂讲稿615878-87（2010）。MSC公司：68问题85 51N10号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner}，莱克特。票据计算。科学。6158，78-87（2010年；Zbl 1286.68345） 全文： 内政部
卢卡·卡德利；吉安路易吉·扎瓦塔罗 生物化学基础形式的图灵普遍性。 （英语） Zbl 1191.68301号 数学。结构。计算。科学。 20，第1期，45-73（2010）.MSC公司：2005年第68季度 2010年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝和\textit｛G.Zavattaro｝，数学。结构。计算。科学。20，编号1，45--73（2010；Zbl 1191.68301） 全文： 内政部
奥赞·卡拉马诺·乌拉尔；卢卡·卡德利；艾曼纽尔·卡隆 系统生物学的直观自动建模界面。 （英语） 兹比尔1456.92071 Cooper，S.Barry（编辑）等人，《计算模型发展第五次研讨会——来自自然的计算模型》，希腊罗德斯，2009年7月11日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）973-86（2009）。MSC公司：92立方厘米 2007年第68季度 68问题85 92-04 PDF格式BibTeX公司 XML格式引用 \textit{O.Kahramanoullar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）9，73--86（2009；Zbl 1456.92071） 全文： 链接
卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 肌动蛋白聚合的过程模型。 （英语） Zbl 1283.92047号 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，127-144（2009）。MSC公司：92C45型 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。229，第1号，127--144（2009；Zbl 1283.92047） 全文： 内政部
卢卡·卡德利 DNA计算的链代数。 （英语） Zbl 1273.68113号 Deaton，Russell（编辑）等人，《DNA计算和分子编程》。第15届国际会议，DNA 15，费耶特维尔，AR，美国，2009年6月8-11日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-10603-3/pbk）。计算机科学课堂讲稿5877，12-24（2009）。MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，莱克特。票据计算。科学。5877，12--24（2009年；Zbl 1273.68113） 全文： 内政部
卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 Rho-GTP结合蛋白的过程模型。 （英语） Zbl 1173.68040号 西奥。计算。科学。 410，编号33-34，3166-3185（2009）.MSC公司：68问题85 92B05型 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。410，编号33-343166-3185（2009；Zbl 1173.68040） 全文： 内政部
卢卡·卡德利；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔 吞噬作用背景下rho GTP结合蛋白的过程模型。 （英语） Zbl 1279.68252号 尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，87-102（2008）。MSC公司：68问题85 87年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。194，第3号，87--102（2008；Zbl 1279.68252） 全文： 内政部
卢卡·卡德利；吉安路易吉·扎瓦塔罗 生物化学的计算能力。 （英语） Zbl 1171.92318号 Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。计算机科学课堂讲稿5147，65-80（2008）。MSC公司：92C40型 2005年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Zavataro}，莱克特。票据计算。科学。5147，65-80（2008；Zbl 1171.92318） 全文： 内政部
吉安路易吉·扎瓦塔罗；卢卡·卡德利 化学动力学中的终止问题。 （英语） Zbl 1160.68478号 van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，477-491（2008）。MSC公司：68问题85 2010年第68季度 80A30型 PDF格式BibTeX公司 XML格式引用 \textit{G.Zavataro}和\textit{L.Cardelli}，莱克特。票据计算。科学。5201、477--491（2008年；Zbl 1160.68478） 全文： 内政部
卢卡·卡德利 双功能膜系统：生物膜的相互作用。 （英语） Zbl 1151.68013号 西奥。计算。科学。 404，编号1-2，5-18（2008）.MSC公司：2010年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \文本{L.Cardelli}，Theor。计算。科学。404，编号1--2，5--18（2008；Zbl 1151.68013） 全文： 内政部
卢卡·卡德利 关于进程速率语义。 （英语） Zbl 1133.68054号 西奥。计算。科学。 391，第3期，190-215（2008）.MSC公司：68问题85 92E20型 PDF格式BibTeX公司 XML格式引用 \文本{L.Cardelli}，Theor。计算。科学。391，第3号，190--215（2008；Zbl 1133.68054） 全文： 内政部
卢卡·卡德利；菲利普·加德纳；乔治·盖利 使用隐藏标签操作树。 （英语） Zbl 1277.68116号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。MSC公司：第68季度55 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。172177--201（2007；Zbl 1277.68116） 全文： 内政部
卢卡·卡德利（编辑）；马塞洛·菲奥雷（编辑）；格林·温斯克尔（编辑） 计算、意义和逻辑。献给戈登·普洛金的文章。 （英语） Zbl 1273.68018号 理论计算机科学电子笔记172.阿姆斯特丹：爱思唯尔。652页。，仅电子版（2007年）。MSC公司：68-06 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔（2007年；兹bl 1273.68018） 全文： 链接
罗夫·布洛西；卢卡·卡德利；安德鲁·菲利普斯 基因网络随机动力学的合成方法。 （英语） Zbl 1179.92021号 Priami，Corrado（编辑）等人，《计算系统生物学学报》第四卷，柏林：施普林格出版社（ISBN 3-540-33245-6/pbk）。计算机科学课堂讲稿3939。生物信息学课堂讲稿。《期刊副刊》，99-122（2006）。MSC公司：92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Blossey}等人，Lect。票据计算。科学。3939、99-122（2006年；Zbl 1179.92021） 全文： 内政部
科拉多·普里亚米（编辑）；卢卡·卡德利（编辑）；斯蒂芬·埃莫特（编辑） 计算系统生物学汇刊IV。 （英语） Zbl 1103.92300号 计算机科学课堂讲稿3939.生物信息学课堂讲稿。日记账子行。柏林：施普林格出版社（ISBN 3-540-33245-6/pbk）。vii，141页。(2006).MSC公司：92-06 68-06 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{C.Priami}（编辑）等人，《计算系统生物学学报》第四卷，柏林：施普林格出版社（2006；Zbl 1103.92300） 全文： 内政部
卢卡·卡德利；佩恩，古奥热 基于mate/drop操作的膜微积分的普适性结果。 （英语） Zbl 1088.68055号 发现的国际期刊。计算。科学。 17，第1号，49-68（2006）.MSC公司：2010年第68季度 第68季度第42季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Pun}，国际法学杂志发现。计算。科学。17，第1号，49--68（2006；Zbl 1088.68055） 全文： 内政部
卢卡·卡德利 系统生物学的抽象机器。 （英语） Zbl 1151.92307号 Priami，Corrado（编辑）等人，《计算系统生物学学报III》，柏林：施普林格出版社（ISBN 3-540-30883-0/pbk）。计算机科学讲义3737。生物信息学课堂讲稿。《期刊副刊》，145-168（2005）。MSC公司：92立方37 92C40型 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，莱克特。票据计算。科学。3737、145--168（2005年；Zbl 1151.92307） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥；卢卡·卡德利；安德鲁·戈登。 确定树的空间逻辑的有效性。 （英语） Zbl 1083.68021号 J.功能。程序。 15，第4期，543-572（2005）.MSC公司：68甲18 68第05页 68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，J.Funct。程序。15，第4号，543--572（2005；Zbl 1083.68021） 全文： 内政部
卢卡·卡德利 Brane结石。生物膜的相互作用。 （英语） Zbl 1088.68657号 Danos，Vincent（编辑）等人，《系统生物学中的计算方法》。CMBS 2004国际会议，法国巴黎，2004年5月26日至28日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25375-0/pbk）。计算机科学课程讲稿3082。生物信息学讲义，257-278（2005）。MSC公司：68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，莱克特。票据计算。科学。3082257--278（2005年；Zbl 1088.68657） 全文： 内政部
卢卡·卡德利；乔治·盖利；安德鲁·戈登。 保密和创建群组。 （英语） Zbl 1101.68692号 Inf.计算。 196，第2期，127-155（2005）.MSC公司：68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《信息计算》。196，第2号，127--155（2005；Zbl 1101.68692） 全文： 内政部
阿兰·弗里希；卢卡·卡德利 贪婪的正则表达式匹配。 （英语） Zbl 1099.68769号 Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学讲义3142618-629（2004）。MSC公司：68周05 68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Frisch}和\textit{L.Cardelli}，莱克特。票据计算。科学。3142618--629（2004年；Zbl 1099.68769） 全文： 内政部
阿维夫·雷格夫；叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。；威廉·西尔弗曼；卢卡·卡德利；埃胡德·夏皮罗 生物环境：生物隔间的抽象。 （英语） Zbl 1069.68569号 西奥。计算。科学。 325，第1期，第141-167页（2004年）.MSC公司：68问题85 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Regev}等人，Theor。计算。科学。325，第1号，141--167（2004；Zbl 1069.68569） 全文： 内政部
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。二、。 （英语） Zbl 1050.68104号 西奥。计算。科学。 322，第3期，517-565（2004）.MSC公司：68问题85 03B70号 03B45 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，Theor。计算。科学。322，第3号，517--565（2004；Zbl 1050.68104） 全文： 内政部
卢卡·卡德利；乔治·盖利 TQL：一种基于环境逻辑的半结构化数据查询语言。 （英语） 兹比尔1085.68035 数学。结构。计算。科学。 14，第3期，285-327（2004）.MSC公司：第68页，共15页 68第05页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝和\textit｛G.Ghelli｝，数学。结构。计算。科学。14，第3号，285--327（2004；Zbl 1085.68035） 全文： 内政部
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。一、。 （英语） Zbl 1068.03022号 Inf.计算。 186，第2期，194-235（2003）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，信息计算。186，第2号，194--235（2003；Zbl 1068.03022） 全文： 内政部
安德鲁·戈登。；卢卡·卡德利 流动环境的等式性质。 （英语） 兹比尔1085.68099 数学。结构。计算。科学。 13，第3期，371-408（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}和\textit{L.Cardelli}，数学。结构。计算。科学。13，第3号，371--408（2003；Zbl 1085.68099） 全文： 内政部
卢卡·卡德利（编辑） ECOOP 2003：面向对象编程，第17届欧洲会议，德国达姆施塔特，2003年7月21日至25日，会议记录。 （英语） Zbl 1028.68209号 计算机科学课堂讲稿. 2743. 柏林：斯普林格。x、 第501页（2003年）。MSC公司：68单位99 68-06 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}（编辑），ECOOP 2003——面向对象编程，第17届欧洲会议，德国达姆施塔特，2003年7月21日至25日，会议记录。柏林：施普林格出版社（2003；Zbl 1028.68209） 全文： 内政部 链接
卢卡·卡德利；菲利普·加德纳；乔治·盖利 使用隐藏标签操作树。 （英语） Zbl 1029.68092号 Andrew D.Gordon（编辑），《软件科学和计算结构基础》。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2620, 216-232 (2003).MSC公司：第68季度55 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。2620216-232（2003年；兹bl 1029.68092） 全文： 链接
卢卡·卡德利；乔治·盖利；安德鲁·戈登。 环境演算的类型。 （英语） Zbl 1093.68060号 Inf.计算。 177，第2期，160-194（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《信息计算》。177，编号2，160--194（2002；Zbl 1093.68060） 全文： 内政部 链接
尼克·本顿；卢卡·卡德利；塞德里克·Fornet （C^{\sharp}\）的现代并发抽象。 （英语） 兹比尔1049.68754 Magnusson，Boris（编辑），ECOOP 2002-面向对象编程。第十六届欧洲会议，2002年6月10日至14日，西班牙马拉加。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43759-2）。莱克特。票据计算。科学。2374, 415-440 (2002).MSC公司：68单位99 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。票据计算。科学。2374、415--440（2002年；Zbl 1049.68754） 全文： 链接
卢卡·卡德利；菲利普·加德纳；乔治·盖利 用于查询图形的空间逻辑。 （英语） Zbl 1057.68606号 Peter Widmayer（编辑）等人，《自动化、语言和编程》。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。莱克特。票据计算。科学。2380, 597-610 (2002).MSC公司：第68页，共15页 68问题85 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。2380597--610（2002年；Zbl 1057.68606） 全文： 链接
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。二、。 （英语） Zbl 1012.68122号 Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第13届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2421, 209-225 (2002).MSC公司：68问题85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，莱克特。票据计算。科学。2421209-225（2002年；Zbl 1012.68122） 全文： 链接
路易斯·凯雷斯；卢卡·卡德利 用于并发的空间逻辑。一、。 （英语） Zbl 1087.03507号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，1-37（2001）。MSC公司：03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli}，莱克特。票据计算。科学。2215，1-37（2001年；兹bl 1087.03507） 全文： 链接
卢卡·卡德利；安德鲁·戈登。 名称限制的逻辑属性。 （英语） Zbl 0981.68036号 Abramsky，Samson（编辑），《键入lambda calculi和应用程序》。第五届国际会议，2001年TLCA，波兰克拉科夫，2001年5月2日至5日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2044, 46-60 (2001).MSC公司：68号30 03B70号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，莱克特。票据计算。科学。2044，46-60（2001；Zbl 0981.68036） 全文： 链接
卢卡·卡德利；乔治·盖利 基于环境逻辑的查询语言。 （英语） Zbl 0977.68028号 David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2028, 1-22 (2001).MSC公司：第68页，共15页 68甲15 03B70号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Ghelli}，莱克特。票据计算。科学。2028年1月22日（2001年；Zbl 0977.68028） 全文： 链接
卢卡·卡德利；安德鲁·戈登。 随时随地：移动环境的模态逻辑。 （英语） Zbl 1323.68405号 2000年1月19日至21日，美国马萨诸塞州波士顿，POPL'00，第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-125-9）。365-377 (2000).MSC公司：68问题85 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，摘自：第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19-21日。纽约州纽约市：计算机协会（ACM）。365-377（2000年；Zbl 1323.68405） 全文： 内政部
卢卡·卡德利 半结构化计算。 （英语） Zbl 1044.68575号 理查德·康纳（编辑）等人，《结构化和半结构化数据库编程的研究问题》。第七届数据库编程语言国际研讨会，DBPL’99，Kinloch Rannoch，GB，1999年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41481-9）。莱克特。票据计算。科学。1949年，1-16（2000）。MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，莱克特。票据计算。科学。1949年，1-16（2000年；兹bl 1044.68575） 全文： 链接
卢卡·卡德利；乔治·盖利；安德鲁·戈登。 保密和创建组。 （英语） Zbl 0999.68148号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1877年，第365-379页（2000年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。1877365-379（2000年；Zbl 0999.68148）
卢卡·卡德利；乔治·盖利；安德鲁·戈登。 周围人群和流动类型。 （英语） Zbl 0998.68536号 van Leeuwen，Jan（编辑）等人，《理论计算机科学》。探索理论信息学的新领域。2000年8月17日至19日在日本仙台举行的IFIP TCS 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1872, 333-347 (2000).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。1872333-347（2000年；Zbl 0998.68536）
卢卡·卡德利 机动性和安全性。 （英语） Zbl 0995.68004号 Bauer，Friedrich L.（编辑）等人，《安全计算的基础》。1999年7月27日至8月8日，德国马克托伯多夫第20所国际暑期学校。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。175, 3-37 (2000).MSC公司：68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，北约ASI Ser。，序列号。F、 计算。系统。科学。175、3--37（2000年；Zbl 0995.68004）
卡德利，L。；A.D.戈登。 移动环境。 （英语） Zbl 0954.68108号 西奥。计算。科学。 240，第1期，177-213（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，Theor。计算。科学。240，第1号，177--213（2000；Zbl 0954.68108） 全文： 内政部
布鲁斯（Kim B.Bruce）。；卢卡·卡德利；本杰明·皮尔斯。 比较对象编码。 （英语） Zbl 1045.68528号 Inf.计算。 155，编号1-2，108-133（1999）.MSC公司：68甲19 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人，《信息计算》。155，编号1--2，108-133（1999；Zbl 1045.68528） 全文： 内政部
卢卡·卡德利；安德鲁·戈登。 移动环境。（扩展摘要）。 （英语） Zbl 0925.68068号 Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。10，第17号电子文件（1997年）。MSC公司：68号01 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，收录于：HOOTS II。语义学高级操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8-12日。阿姆斯特丹：爱思唯尔。第17号电子文件（1997；Zbl 0925.68068） 全文： 链接
马丁·阿巴迪；卢卡·卡德利 物体理论。 （英语） Zbl 0876.68014号 纽约州纽约市：Springer-Verlag。xiii，第396页（1996年）。 审核人：U.Hahn（弗赖堡i.Br.） MSC公司：68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，对象理论。纽约州纽约市：Springer-Verlag（1996；Zbl 0876.68014）
马丁·阿巴迪；卢卡·卡德利 原始对象理论：无类型和一阶系统。 （英语） Zbl 0853.68115号 Inf.计算。 125，第2期，78-102（1996）.MSC公司：65年第68季度 第68季度55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，信息计算。125，第2号，78--102（1996；Zbl 0853.68115） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利；B.皮尔斯。；雷米·D·。 多态语言中的动态类型。 （英语） 兹伯利0819.68142 J.功能。程序。 5，第1期，111-130（1995）.MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，J.Funct。程序。5，编号1，111--130（1995；Zbl 0819.68142） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利 命令式对象演算。 （英语） Zbl 1496.68098号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 471-485 (1995).MSC公司：68号30 03B70号 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，莱克特。票据计算。科学。915471-485（1995年；Zbl 1496.68098） 全文： 内政部
卢卡·卡德利 纯子类型演算中的可扩展记录。 （英语） Zbl 0837.68059号 Gunter，Carl A.（编辑）等人，《面向对象编程的理论方面》。类型、语义和语言设计。伦敦：麻省理工学院出版社。麻省理工学院计算机基础新闻系列。373-426 (1994).MSC公司：65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，in：面向对象编程的理论方面。类型、语义和语言设计。伦敦：麻省理工学院出版社。373--426（1994年；Zbl 0837.68059）
卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 记录操作。 （英语） Zbl 0837.68069号 Gunter，Carl A.（编辑）等人，《面向对象编程的理论方面》。类型、语义和语言设计。伦敦：麻省理工学院出版社。麻省理工学院计算机基础新闻系列。295-350 (1994).MSC公司：68甲19 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝和\textit｛J.C.Mitchell｝，在：面向对象编程的理论方面。类型、语义和语言设计。伦敦：麻省理工学院出版社。295--350（1994年；Zbl 0837.68069）
卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 带有子类型的系统\（F\）的扩展。 （英语） Zbl 0805.03008号 Inf.计算。 109，编号1-2，4-56（1994）. 审核人：C.柏林（巴黎） MSC公司：03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《信息计算》。109，编号1--2，4--56（1994；Zbl 0805.03008） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利 原始对象理论——非类型和一阶系统。 （英语） Zbl 0942.03523号 Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。789, 296-320 (1994).MSC公司：03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，莱克特。票据计算。科学。789296-320（1994年；Zbl 0942.03523）
马丁·阿巴迪；卢卡·卡德利；居里，P.-L。 形式参数多态性。 （英语） Zbl 0801.68015号 西奥。计算。科学。 121，编号1-2，9-58（1993）.MSC公司：68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Theor。计算。科学。121，编号1--2，9-58（1993；Zbl 0801.68015） 全文： 内政部
卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 带有子类型的系统\（F\）的扩展。 （英语） Zbl 1496.03058号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。526, 750-770 (1991).MSC公司：03B40型 03G30型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。票据计算。科学。526750-770（1991年；Zbl 1496.03058） 全文： 内政部
卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 记录操作。 （英语） Zbl 0727.68020号 数学。结构。计算。科学。 1，第1期，第3-48页（1991年）. 审核人：M.K（布尔诺） MSC公司：68甲19 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell}，数学。结构。计算。科学。1号、1号、3号——48（1991年；Zbl 0727.68020） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利；居里，P.-L。；莱维，J.-J。 显式替换。 （英语） Zbl 0941.68542号 J.功能。程序。 第1期，第4期，375-416页（1991年）.MSC公司：68甲18 第68季度55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，J.Funct。程序。1，第4号，375--416（1991；Zbl 0941.68542） 全文： 内政部
卢卡·卡德利；朱塞佩·隆戈 Quest的语义基础。 （英语） Zbl 0941.68528号 J.功能。程序。 第1期，第4期，417-458（1991年）.MSC公司：68甲15 68甲18 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Longo}，J.Funct。程序。1，第4号，417--458（1991；Zbl 0941.68528） 全文： 内政部
卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 记录操作（摘要）。 （英语） Zbl 1509.68046号 Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。442, 22-52 (1990).MSC公司：68甲19 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。票据计算。科学。442、22-52（1990年；Zbl 1509.68046） 全文： 内政部
卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 对记录的操作（扩展摘要）。 （英语） Zbl 1493.68082号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389，75-81（1989年）。MSC公司：68甲19 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。票据计算。科学。389，75-81（1989年；兹bl 1493.68082） 全文： 内政部
卢卡·卡德利 多重继承的语义。 （英语） Zbl 0651.68017号 Inf.计算。 76，编号2-3，138-164（1988）. 审核人：L.Cardelli（卡德利） MSC公司：60年第68季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，信息计算。76，编号2--3，138-164（1988；Zbl 0651.68017） 全文： 内政部
卢卡·卡德利 类型检查依赖类型和子类型。 （英语） Zbl 0645.68028号 逻辑和函数编程基础。1986年，意大利特伦托，Lect。票据计算。科学。306, 45-57 (1988).MSC公司：68第05页 03B15号机组 PDF格式BibTeX公司 XML格式