卢卡·卡德利 双域DNA链置换。 （英语） Zbl 1271.68105号 数学。结构。计算。科学。 23，第2期，247-271（2013）.MSC公司：2005年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，数学。结构。计算。科学。23，第2号，247--271（2013；Zbl 1271.68105） 全文： 内政部
卢卡·卡德利 DNA计算的链代数。 （英语） Zbl 1221.68164号 自然计算。 10，第1号，407-428（2011）.MSC公司：68问题85 第68季度10 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） 全文： 链接
卢卡·卡德利 DNA计算的链代数。 （英语） Zbl 1273.68113号 Deaton，Russell（编辑）等人，《DNA计算和分子编程》。第15届国际会议，DNA 15，费耶特维尔，阿肯色州，美国，2009年6月8-11日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-10603-3/pbk）。计算机科学课堂讲稿5877，12-24（2009）。MSC公司：2005年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，莱克特。注释计算。科学。5877，12--24（2009年；Zbl 1273.68113） 全文： 内政部
卢卡·卡德利 双功能膜系统：生物膜的相互作用。 （英语） Zbl 1151.68013号 西奥。计算。科学。 404，编号1-2，5-18（2008）.MSC公司：第68季度10 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 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） 全文： 内政部
卢卡·卡德利 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） 全文： 内政部
卢卡·卡德利（编辑） 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 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年；Zbl 1044.68575） 全文： 链接
卢卡·卡德利 机动性和安全性。 （英语） Zbl 0995.68004号 Bauer，Friedrich L.（编辑）等人，《安全计算的基础》。1999年7月27日至8月8日，德国马克托伯多夫第20所国际暑期学校。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。175, 3-37 (2000).MSC公司：68米10 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，北约ASI Ser。，序列号。F、 计算。系统。科学。175、3--37（2000年；Zbl 0995.68004）
卢卡·卡德利 纯子类型演算中的可扩展记录。 （英语） 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）
卢卡·卡德利 多重继承的语义。 （英语） 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格式
卢卡·卡德利 基本多态类型检查。 （英语） Zbl 0626.68009号 科学。计算。程序。 8147-172（1987年）.MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}，科学。计算。程序。8147--172（1987年；Zbl 0626.68009） 全文： 内政部
卢卡·卡德利 多重继承的语义。 （英语） Zbl 0543.68011号 数据类型的语义，Proc。国际交响乐团。，Sophia-Antipolis/法国1984年，Lect。注释计算。科学。173, 51-67 (1984).MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
卢卡·卡德利 实时代理。 （英语） Zbl 0493.68017号 自动化，语言和编程，第九学院，奥胡斯/丹麦。1982年，Lect。注释计算。科学。14094-106（1982）中描述。MSC公司：68N25号 PDF格式BibTeX公司 XML格式
卢卡·卡德利 模拟过程。 （英语） Zbl 0454.68038号 计算机科学数学基础。第九交响曲。，Rydzyna/波兰。1980年，法律。注释计算。科学。88, 181-193 (1980).MSC公司：99年第68季度 94立方厘米10 94C15号机组 68岁20岁 PDF格式BibTeX公司 XML格式