卢卡·卡德利;朱塞佩·斯奎拉克;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 通过近似等价实现多项式微分方程的形式集总。 (英语) Zbl 07723897号 J.日志。代数。方法计划。 134,文章ID 100876,第19页(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,J.Log。代数。方法计划。134,文章ID 100876,19 p.(2023;Zbl 07723897) 全文: 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基 从电路到化学网络。 (英语) Zbl 07802746号 自然计算。 19,第1期,237-248(2020年).MSC公司:2007年第68季度 34A09号 34A45型 92C40型 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《自然计算》。19,编号1237-248(2020;兹bl 07802746) 全文: 内政部 arXiv公司
卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 中心极限模型检查。 (英语) Zbl 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,编号4761-779(2018;兹bl 1528.68116) 全文: 内政部
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 用化学反应网络编程离散分布。 (英语) Zbl 1528.68111号 自然计算。 17,第1期,131-145(2018).MSC公司:2007年第68季度 第68季度87 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 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公司
卢卡·卡德利;科什卡,米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 化学反应网络的句法引导优化合成。 (英语) 兹比尔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) 全文: 内政部 链接
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 化学反应网络的句法马尔可夫共刺激。 (英语) 兹比尔1431.68072 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 466-483 (2017).MSC公司:68问题85 第68季度87 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。10460466--483(2017年;Zbl 1431.68072) 全文: 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 有效的语法驱动的微分方程集总。 (英语) 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年;兹比尔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) 全文: 内政部 链接
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 异步逻辑电路的化学反应网络设计。 (英语) 兹比尔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型 第68季度87 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}等人,《第43届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集》,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计算电路的自动设计和验证。 (英语) Zbl 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格式引用 \文本{M.A.Boemo}等人,Lect。注释计算。科学。9211、168--180(2015年;Zbl 1404.68076) 全文: 内政部
卢卡·卡德利;拉杜·马达尔 随机过程的可测空间。 (英语) Zbl 1437.68129号 芬丹。通知。 131,编号3-4,351-371(2014).MSC公司:第68季度87 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演算。 (英语) Zbl 1405.68209号 Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。计算机科学课堂讲稿8049,1-21(2013)。MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{R.Mardare},莱克特。注释计算。科学。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型 第68季度87 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年;兹比尔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公司
卢卡·卡德利(编辑);威廉·施(编辑) 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(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756380-391(2011)。MSC公司:第68季度87 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) 全文: 内政部
奥赞·卡拉马诺·乌拉尔;卢卡·卡德利;艾曼纽尔·卡隆 系统生物学的直观自动建模界面。 (英语) Zbl 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 第68季度87 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(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172177-201(2007)。MSC公司:68问题55 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《电子》。注释Theor。计算。科学。172177--201(2007年;兹bl 1277.68116) 全文: 内政部
卢卡·卡德利(编辑);马塞洛·菲奥雷(编辑);格林·温斯克尔(编辑) 计算、意义和逻辑。献给戈登·普洛金的文章。 (英语) Zbl 1273.68018号 理论计算机科学电子笔记172.阿姆斯特丹:爱思唯尔。第652页。,仅电子版(2007年)。MSC公司:68-06 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔(2007;Zbl 1273.68018) 全文: 链接
科拉多·普里亚米(编辑);卢卡·卡德利(编辑);斯蒂芬·埃莫特(编辑) 计算系统生物学汇刊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季度 2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Pun},国际法学杂志发现。计算。科学。17,第1号,49--68(2006;Zbl 1088.68055) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;卢卡·卡德利;安德鲁·戈登。 确定树的空间逻辑的有效性。 (英语) 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年;兹比尔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(编辑)等人,《自动化、语言和编程》。第31届国际学术讨论会,2004年ICALP,芬兰图尔库,2004年7月12-16日。诉讼程序。柏林:施普林格出版社(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)。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 生物环境:生物隔间的抽象。 (英语) 兹比尔1069.68569 西奥。计算。科学。 325,第1期,第141-167页(2004年).MSC公司:68问题85 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Regev}等人,Theor。计算。科学。325,编号141-167(2004年;兹bl 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:一种基于环境逻辑的半结构化数据查询语言。 (英语) Zbl 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). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},信息计算。186,第2号,194--235(2003;Zbl 1068.03022) 全文: 内政部
安德鲁·戈登。;卢卡·卡德利 流动环境的等式性质。 (英语) Zbl 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。注释计算。科学。2620、216——232(2003年;Zbl 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}\)的现代并发抽象。 (英语) Zbl 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-并发理论。第十三届国际会议,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年;Zbl 1087.03507) 全文: 链接
卢卡·卡德利;安德鲁·戈登。 名称限制的逻辑属性。 (英语) 兹伯利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年;兹bl 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)
卢卡·卡德利 机动性和安全性。 (英语) 兹比尔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。;Gordon,医学博士。 移动环境。 (英语) Zbl 0954.68108号 西奥。计算。科学。 240,第1期,177-213(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon},Theor。计算。科学。240,编号:1177-213(2000年;兹bl 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。 多态语言中的动态类型。 (英语) Zbl 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年;兹bl 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},in:面向对象编程的理论方面。类型、语义和语言设计。伦敦:麻省理工学院出版社。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) 全文: 内政部
卢卡·卡德利 类型检查依赖类型和子类型。 (英语) 兹比尔0645.68028 逻辑和函数编程基础。1986年,意大利特伦托,Lect。注释计算。科学。306, 45-57 (1988).MSC公司:68第05页 03B15号机组 PDF格式BibTeX公司 XML格式
卢卡·卡德利 基本多态类型检查。 (英语) Zbl 0626.68009号 科学。计算。程序。 8, 147-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。内部Symp。,Sophia-Antipolis/法国1984年,Lect。注释计算。科学。173, 51-67 (1984).MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
卢卡·卡德利 实时代理。 (英语) Zbl 0493.68017号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。注释计算。科学。140, 94-106 (1982).MSC公司:68N25号 PDF格式BibTeX公司 XML格式
卢卡·卡德利 模拟过程。 (英语) Zbl 0454.68038号 计算机科学数学基础。第九交响曲。,Rydzyna/波兰。1980年,勒克特。注释计算。科学。88, 181-193 (1980).MSC公司:99年第68季度 94立方厘米 94C15号机组 68岁20岁 PDF格式BibTeX公司 XML格式