编辑配置文件（在新选项卡中打开） 卢卡·卡德利 合著者距离 作者ID： 卡德利卢卡 发布日期： 卢卡·卡德利；卡德利，L。 已编制索引的文档： 99出版物自1980年以来，包括1本书 5作为编辑的贡献 合著者： 59位合著者具有86联合出版物 1443名合作作者 全部的 前5名合著者 18 单作者的 13 Kwiatkowska，Marta Z。 13 米尔科·特里巴斯通 13 Tschaikowski，马克斯 11 安德鲁·戈登。 11 卢卡·劳伦蒂 11 安德烈·范丁 9 乔治·盖利 8 菲利普·安·加德纳 7 马丁·阿巴迪 6 约翰·米切尔（John C.Mitchell）。 5 金·古德斯特兰·拉森 5 拉杜·马达尔 4 亚历山德罗·阿巴特 4 路易斯·凯雷斯 4 奥赞·卡拉马诺·乌拉尔 4 安德鲁·菲利普斯 4 马克斯·惠特比 三 卢卡·博托卢西 三 艾曼纽尔·卡隆 三 吉安路易吉·扎瓦塔罗 2 科什卡，米兰 2 皮埃尔·卢伊斯·居里 2 拉杜·格罗苏 2 Morteza拉希贾尼扬 2 西蒙·马提尼 2 本杰明·皮尔斯。 2 安德烈·斯克洛夫 2 威廉·施 1 克里斯·巴恩斯（Chris P.Barnes）。 1 尼克·本顿 1 罗夫·布洛西 1 迈克尔·博埃莫（Michael A.Boemo）。 1 布鲁斯（Kim B.Bruce）。 1 克里斯蒂亚诺·加尔卡尼奥 1 纳塔利·考奇 1 Csikász-Nagy，阿提拉 1 尼尔·达尔肖 1 斯蒂芬·埃莫特 1 菲奥雷，马塞洛·P。 1 塞德里克·Fornet 1 马丁·范策尔 1 阿兰·弗里希 1 罗莎·埃尔南赛兹·巴列斯特罗斯 1 科西莫·拉涅夫 1 珍妮·雅克·利维 1 朱塞佩·隆戈 1 叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。 1 尼古拉·保莱蒂 1 佩恩，古奥热 1 科拉多·普里亚米 1 阿维夫·雷格夫 1 雷米，迪迪埃 1 埃胡德·夏皮罗。 1 威廉·西尔弗曼 1 朱塞佩·斯奎拉克 1 格雷戈里·塞普 1 安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。 1 格林·温斯克尔 1 博扬·约丹诺夫 全部的 前5名系列 10 理论计算机科学 7 信息与计算 6 自然计算 5 MSCS公司。计算机科学中的数学结构 4 函数编程杂志 三 IEEE自动控制汇刊 三 计算机科学课堂讲稿 1 计算机程序设计科学 1 国际计算机科学基础杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 94 计算机科学（68至XX） 28 生物学和其他自然科学（92-XX） 23 数理逻辑与基础（03-XX） 9 概率论与随机过程（60-XX） 5 系统论；控制（93至XX） 5 信息与通信理论、电路（94-XX） 三 总体主题；集合（00-XX） 三 常微分方程（34-XX） 1 组合数学（05-XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 1 经典热力学，传热（80-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 94出版物有1495年被引用中的次943文件 引用人▼ 年份▼ 移动环境。 Zbl 0954.68108号 卡德利，L。；A.D.戈登。 203 2000 显式替换。 Zbl 0941.68542号 马丁·阿巴迪；卢卡·卡德利；居里，P.-L。；莱维，J.-J。 124 1991 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫；叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。；威廉·西尔弗曼；卢卡·卡德利；埃胡德·夏皮罗 114 2004 Brane结石。生物膜的相互作用。 Zbl 1088.68657号 卢卡·卡德利 95 2005 物体理论。 Zbl 0876.68014号 马丁·阿巴迪；卢卡·卡德利 77 1996 随时随地：移动环境的模态逻辑。 Zbl 1323.68405号 卢卡·卡德利；安德鲁·戈登。 63 2000 用于并发的空间逻辑。一、。 兹比尔1068.03022 路易斯·凯雷斯；卢卡·卡德利 48 2003 多重继承的语义。 Zbl 0651.68017号 卢卡·卡德利 44 1988 关于进程速率语义。 Zbl 1133.68054号 卢卡·卡德利 40 2008 带有子类型的系统\（F\）的扩展。 Zbl 0805.03008号 卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 26 1994 多重继承的语义。 Zbl 0543.68011号 卢卡·卡德利 23 1984 流动环境的等式性质。 Zbl 1085.68099号 安德鲁·戈登。；卢卡·卡德利 22 2003 贪婪的正则表达式匹配。 Zbl 1099.68769号 阿兰·弗里希；卢卡·卡德利 21 2004 双域DNA链置换。 Zbl 1271.68105号 卢卡·卡德利 19 2013 化学反应网络的正向和反向相互模拟。 Zbl 1374.68204号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 19 2015 微分等价的符号计算。 Zbl 1347.68258号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 19 2016 记录操作。 Zbl 0727.68020号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 19 1991 Quest的语义基础。 Zbl 0941.68528号 卢卡·卡德利；朱塞佩·隆戈 19 1991 基因网络随机动力学的合成方法。 Zbl 1179.92021号 罗夫·布洛西；卢卡·卡德利；安德鲁·菲利普斯 18 2006 移动环境。重印2001年精装版。 Zbl 1253.68238号 卢卡·卡德利；安德鲁·戈登。 18 2010 周围人群和流动类型。 Zbl 0998.68536号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 18 2000 DNA计算的链代数。 Zbl 1221.68164号 卢卡·卡德利 16 2011 环境演算的类型。 Zbl 1093.68060号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 16 2002 生物化学的计算能力。 Zbl 1171.92318号 卢卡·卡德利；吉安路易吉·扎瓦塔罗 14 2008 基于环境逻辑的查询语言。 Zbl 0977.68028号 卢卡·卡德利；乔治·盖利 14 2001 基于mate/drop操作的膜微积分的普适性结果。 Zbl 1088.68055号 卢卡·卡德利；佩恩，古奥热 14 2006 用于并发的空间逻辑。一、。 Zbl 1087.03507号 路易斯·凯雷斯；卢卡·卡德利 13 2001 多态语言中的动态类型。 Zbl 0819.68142号 马丁·阿巴迪；卢卡·卡德利；B.皮尔斯。；雷米·D·。 12 1995 系统生物学的抽象机器。 Zbl 1151.92307号 卢卡·卡德利 12 2005 确定树的空间逻辑的有效性。 Zbl 1083.68021号 克里斯蒂亚诺·加尔卡尼奥；卢卡·卡德利；安德鲁·戈登。 12 2005 用于查询图形的空间逻辑。 Zbl 1057.68606号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 12 2002 化学动力学中的终止问题。 兹比尔1160.68478 吉安路易吉·扎瓦塔罗；卢卡·卡德利 11 2008 原始对象理论——非类型系统和一阶系统。 Zbl 0942.03523号 马丁·阿巴迪；卢卡·卡德利 11 1994 用于并发的空间逻辑。二、。 Zbl 1012.68122号 路易斯·凯雷斯；卢卡·卡德利 11 2002 名称限制的逻辑属性。 Zbl 0981.68036号 卢卡·卡德利；安德鲁·戈登。 11 2001 用于并发的空间逻辑。二、。 Zbl 1050.68104号 路易斯·凯雷斯；卢卡·卡德利 11 2004 空间中的进程。 Zbl 1286.68345号 卢卡·卡德利；菲利普·加德纳 10 2010 DNA计算的链代数。 Zbl 1273.68113号 卢卡·卡德利 10 2009 比较对象编码。 Zbl 1045.68528号 布鲁斯（Kim B.Bruce）。；卢卡·卡德利；本杰明·皮尔斯。 10 1999 通过不确定性提高效率：随机混合系统的可扩展形式综合。 Zbl 07120160号 纳塔利·考奇；卢卡·劳伦蒂；Morteza拉希贾尼扬；亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；卢卡·卡德利 9 2019 形式参数多态性。 Zbl 0801.68015号 马丁·阿巴迪；卢卡·卡德利；居里，P.-L。 9 1993 TQL：一种基于环境逻辑的半结构化数据查询语言。 Zbl 1085.68035号 卢卡·卡德利；乔治·盖利 9 2004 化学反应网络的句法马尔可夫互模拟。 Zbl 1431.68072号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 9 2017 纯子类型演算中的可扩展记录。 Zbl 0837.68059号 卢卡·卡德利 8 1994 用线性噪声近似近似化学反应网络的概率可达性。 Zbl 1381.92110号 卢卡·博托卢西；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 8 2016 使用隐藏标签操作树。 Zbl 1029.68092号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 8 2003 保密和创建组。 Zbl 0999.68148号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 8 2000 微分等价的符号计算。 兹比尔1425.68463 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 8 2019 实时代理。 Zbl 0493.68017号 卢卡·卡德利 7 1982 双功能膜系统：生物膜的相互作用。 Zbl 1151.68013号 卢卡·卡德利 6 2008 比较化学反应网络：分类和算法的观点。 Zbl 1392.68188号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2016 高效的语法驱动的微分方程集。 Zbl 1420.68241号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2016 命令式对象演算。 Zbl 1496.68098号 马丁·阿巴迪；卢卡·卡德利 6 1995 通过可达性分析保证近似模型抽象的误差界。 Zbl 07703951号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2018 连续线性随机混合过程的形式化有效综合。 Zbl 07320129号 卢卡·劳伦蒂；Morteza拉希贾尼扬；亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡 6 2021 连续马尔科夫逻辑——公理化和量化元理论。 Zbl 1261.03088号 拉杜·马达尔；卢卡·卡德利；Larsen，Kim G。 5 2012 用化学反应网络编程离散分布。 Zbl 1451.68108号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 5 2016 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 5 1991 记录操作（摘要）。 Zbl 1509.68046号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 5 1990 大规模并发系统中的可逆性。 Zbl 1424.92028年 卢卡·卡德利；科西莫·拉涅夫 5 2011 生化反应网络的PID控制。 Zbl 07480846号 马克斯·惠特比；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；米尔科·特里巴斯通；Tschaikowski，马克斯 5 2022 生物化学基础形式的图灵普遍性。 Zbl 1191.68301号 卢卡·卡德利；吉安路易吉·扎瓦塔罗 4 2010 模块化马尔科夫逻辑。 Zbl 1333.68200号 卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 4 2011 Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 异步逻辑电路的化学反应网络设计。 Zbl 1451.68109号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 4 2016 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030号 卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 4 2011 基本多态类型检查。 Zbl 0626.68009号 卢卡·卡德利 4 1987 （C^{\sharp}\）的现代并发抽象。 Zbl 1049.68754号 尼克·本顿；卢卡·卡德利；塞德里克·Fornet 4 2002 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利；科什卡，米兰；马丁·范策尔；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比 4 2017 肌动蛋白聚合的过程模型。 Zbl 1283.92047号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 原始对象理论：无类型和一阶系统。 Zbl 0853.68115号 马丁·阿巴迪；卢卡·卡德利 三 1996 空间中的进程。 Zbl 1251.68153号 卢卡·卡德利；菲利普·加德纳 三 2012 类型检查依赖类型和子类型。 Zbl 0645.68028号 卢卡·卡德利 三 1988 保密和创建组。 Zbl 1101.68692号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 三 2005 记录操作。 Zbl 0837.68069号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 2 1994 基于线性噪声近似的化学动力学随机混合近似。 Zbl 1382.92269号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 2 2016 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 兹比尔1369.93728 卢卡·劳伦蒂；亚历山德罗·阿巴特；卢卡·博托卢西；卢卡·卡德利；塞斯卡，米兰；玛尔塔·奎亚特科夫斯卡 2 2017 rho-GTP结合蛋白在吞噬作用中的过程模型。 Zbl 1279.68252号 卢卡·卡德利；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔 2 2008 随机过程的可测空间。 Zbl 1437.68129号 卢卡·卡德利；拉杜·马达尔 2 2014 比较化学反应网络：分类和算法的观点。 Zbl 1423.68165号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 2 2019 异步逻辑电路的化学反应网络设计。 Zbl 1528.68112号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 2 2018 双域DNA链置换。 Zbl 1456.68040号 卢卡·卡德利 2 2010 从电路到化学网络。 Zbl 1530.68081号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯 2 2020 模拟过程。 Zbl 0454.68038号 卢卡·卡德利 1 1980 中心极限模型检查。 Zbl 1433.68209号 卢卡·博托卢西；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 1 2019 移动环境。（扩展摘要）。 Zbl 0925.68068号 卢卡·卡德利；安德鲁·戈登。 1 1997 局部DNA计算电路的自动设计和验证。 Zbl 1404.68076号 迈克尔·博埃莫（Michael A.Boemo）。；安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。；卢卡·卡德利 1 2015 重新审视随机pi-calculus。 Zbl 1405.68209号 卢卡·卡德利；拉杜·马达尔 1 2013 具有形式语义的实验生物协议。 Zbl 1397.92268号 亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；博扬·约丹诺夫 1 2018 机动性和安全性。 Zbl 0995.68004号 卢卡·卡德利 1 2000 对记录的操作（扩展摘要）。 Zbl 1493.68082号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 1 1989 使用生物开关和时钟进行计算。 Zbl 1528.68116号 尼尔·达尔肖；格雷戈里·塞普；罗莎·埃尔南赛兹·巴列斯特罗斯；克里斯·巴恩斯（Chris P.Barnes）。；卢卡·卡德利；安德鲁·菲利普斯；Csikász-Nagy，阿提拉 1 2018 用化学反应网络编程离散分布。 Zbl 1528.68111号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 1 2018 不确定连续时间马尔可夫链的集总性。 Zbl 1492.60219号 卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 1 2021 生化反应网络的PID控制。 Zbl 07480846号 马克斯·惠特比；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；米尔科·特里巴斯通；Tschaikowski，马克斯 5 2022 连续线性随机混合过程的形式化有效综合。 Zbl 07320129号 卢卡·劳伦蒂；Morteza拉希贾尼扬；亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡 6 2021 不确定连续时间马尔可夫链的集总性。 Zbl 1492.60219号 卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 1 2021 从电路到化学网络。 Zbl 1530.68081号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯 2 2020 通过不确定性的效率：随机混合系统的可扩展形式综合。 Zbl 07120160号 纳塔利·考奇；卢卡·劳伦蒂；Morteza拉希贾尼扬；亚历山德罗·阿巴特；玛尔塔·奎亚特科夫斯卡；卢卡·卡德利 9 2019 微分等价的符号计算。 兹比尔1425.68463 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 8 2019 比较化学反应网络：分类和算法的观点。 Zbl 1423.68165号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 2 2019 中心极限模型检查。 Zbl 1433.68209号 卢卡·博托卢西；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 1 2019 通过可达性分析保证近似模型抽象的误差界。 Zbl 07703951号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2018 异步逻辑电路的化学反应网络设计。 Zbl 1528.68112号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 2 2018 具有形式语义的实验生物协议。 Zbl 1397.92268号 亚历山德罗·阿巴特；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；博扬·约丹诺夫 1 2018 使用生物开关和时钟进行计算。 Zbl 1528.68116号 尼尔·达尔肖；格雷戈里·塞普；罗莎·埃尔南赛兹·巴列斯特罗斯；克里斯·巴恩斯（Chris P.Barnes）。；卢卡·卡德利；安德鲁·菲利普斯；Csikász-Nagy，阿提拉 1 2018 用化学反应网络编程离散分布。 Zbl 1528.68111号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 1 2018 化学反应网络的句法马尔可夫互模拟。 Zbl 1431.68072号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 9 2017 化学反应网络的句法引导优化合成。 Zbl 1494.68163号 卢卡·卡德利；科什卡，米兰；马丁·范策尔；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂；尼古拉·保莱蒂；马克斯·惠特比 4 2017 切换扩散的可达性计算，有限抽象，具有可验证和可调整的精度。 Zbl 1369.93728号 卢卡·劳伦蒂；亚历山德罗·阿巴特；卢卡·博托卢西；卢卡·卡德利；塞斯卡，米兰；玛尔塔·奎亚特科夫斯卡 2 2017 微分等价的符号计算。 Zbl 1347.68258号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 19 2016 用线性噪声近似近似化学反应网络的概率可达性。 Zbl 1381.92110号 卢卡·博托卢西；卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 8 2016 比较化学反应网络：分类和算法的观点。 Zbl 1392.68188号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2016 高效的语法驱动的微分方程集。 Zbl 1420.68241号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 6 2016 用化学反应网络编程离散分布。 Zbl 1451.68108号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 5 2016 异步逻辑电路的化学反应网络设计。 Zbl 1451.68109号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；马克斯·惠特比 4 2016 基于线性噪声近似的化学动力学随机混合近似。 Zbl 1382.92269号 卢卡·卡德利；玛尔塔·奎亚特科夫斯卡；卢卡·劳伦蒂 2 2016 化学反应网络的正向和反向相互模拟。 Zbl 1374.68204号 卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 19 2015 局部DNA计算电路的自动设计和验证。 Zbl 1404.68076号 迈克尔·博埃莫（Michael A.Boemo）。；安德鲁·J·特伯菲尔德（Andrew J.Turberfield）。；卢卡·卡德利 1 2015 随机过程的可测空间。 Zbl 1437.68129号 卢卡·卡德利；拉杜·马达尔 2 2014 双域DNA链置换。 Zbl 1271.68105号 卢卡·卡德利 19 2013 重新审视随机pi-calculus。 Zbl 1405.68209号 卢卡·卡德利；拉杜·马达尔 1 2013 连续马尔科夫逻辑——公理化和量化元理论。 Zbl 1261.03088号 拉杜·马达尔；卢卡·卡德利；Larsen，Kim G。 5 2012 空间中的进程。 Zbl 1251.68153号 卢卡·卡德利；菲利普·加德纳 三 2012 DNA计算的链代数。 Zbl 1221.68164号 卢卡·卡德利 16 2011 大规模并发系统中的可逆性。 兹比尔1424.92028 卢卡·卡德利；科西莫·拉涅夫 5 2011 模块化马尔科夫逻辑。 Zbl 1333.68200号 卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 4 2011 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030号 卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 4 2011 移动环境。重印2001年精装版。 Zbl 1253.68238号 卢卡·卡德利；安德鲁·戈登。 18 2010 空间中的进程。 Zbl 1286.68345号 卢卡·卡德利；菲利普·加德纳 10 2010 生物化学基础形式的图灵普遍性。 Zbl 1191.68301号 卢卡·卡德利；吉安路易吉·扎瓦塔罗 4 2010 双域DNA链置换。 Zbl 1456.68040号 卢卡·卡德利 2 2010 DNA计算的链代数。 Zbl 1273.68113号 卢卡·卡德利 10 2009 Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 肌动蛋白聚合的过程模型。 Zbl 1283.92047号 卢卡·卡德利；艾曼纽尔·卡隆；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔；安德鲁·菲利普斯 4 2009 关于进程速率语义。 Zbl 1133.68054号 卢卡·卡德利 40 2008 生物化学的计算能力。 Zbl 1171.92318号 卢卡·卡德利；吉安路易吉·扎瓦塔罗 14 2008 化学动力学中的终止问题。 Zbl 1160.68478号 吉安路易吉·扎瓦塔罗；卢卡·卡德利 11 2008 双功能膜系统：生物膜的相互作用。 Zbl 1151.68013号 卢卡·卡德利 6 2008 吞噬作用背景下rho GTP结合蛋白的过程模型。 Zbl 1279.68252号 卢卡·卡德利；菲利普·加德纳；奥赞·卡拉马诺·乌拉尔 2 2008 基因网络随机动力学的合成方法。 Zbl 1179.92021号 罗夫·布洛西；卢卡·卡德利；安德鲁·菲利普斯 18 2006 基于mate/drop操作的膜微积分的普适性结果。 Zbl 1088.68055号 卢卡·卡德利；佩恩，古奥热 14 2006 Brane结石。生物膜的相互作用。 Zbl 1088.68657号 卢卡·卡德利 95 2005 系统生物学的抽象机器。 Zbl 1151.92307号 卢卡·卡德利 12 2005 确定树的空间逻辑的有效性。 Zbl 1083.68021号 克里斯蒂亚诺·加尔卡尼奥；卢卡·卡德利；安德鲁·戈登。 12 2005 保密和创建组。 Zbl 1101.68692号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 三 2005 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫；叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。；威廉·西尔弗曼；卢卡·卡德利；埃胡德·夏皮罗 114 2004 贪婪的正则表达式匹配。 Zbl 1099.68769号 阿兰·弗里希；卢卡·卡德利 21 2004 用于并发的空间逻辑。二、。 Zbl 1050.68104号 路易斯·凯雷斯；卢卡·卡德利 11 2004 TQL：一种基于环境逻辑的半结构化数据查询语言。 Zbl 1085.68035号 卢卡·卡德利；乔治·盖利 9 2004 用于并发的空间逻辑。一、。 兹比尔1068.03022 路易斯·凯雷斯；卢卡·卡德利 48 2003 流动环境的等式性质。 Zbl 1085.68099号 安德鲁·戈登。；卢卡·卡德利 22 2003 使用隐藏标签操作树。 Zbl 1029.68092号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 8 2003 环境演算的类型。 Zbl 1093.68060号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 16 2002 用于查询图形的空间逻辑。 Zbl 1057.68606号 卢卡·卡德利；菲利普·加德纳；乔治·盖利 12 2002 用于并发的空间逻辑。二、。 Zbl 1012.68122号 路易斯·凯雷斯；卢卡·卡德利 11 2002 （C^{\sharp}\）的现代并发抽象。 Zbl 1049.68754号 尼克·本顿；卢卡·卡德利；塞德里克·Fornet 4 2002 基于环境逻辑的查询语言。 Zbl 0977.68028号 卢卡·卡德利；乔治·盖利 14 2001 用于并发的空间逻辑。一、。 Zbl 1087.03507号 路易斯·凯雷斯；卢卡·卡德利 13 2001 名称限制的逻辑属性。 Zbl 0981.68036号 卢卡·卡德利；安德鲁·戈登。 11 2001 移动环境。 Zbl 0954.68108号 卡德利，L。；A.D.戈登。 203 2000 随时随地：移动环境的模态逻辑。 Zbl 1323.68405号 卢卡·卡德利；安德鲁·D·戈登。 63 2000 周围人群和流动类型。 Zbl 0998.68536号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 18 2000 保密和创建组。 Zbl 0999.68148号 卢卡·卡德利；乔治·盖利；安德鲁·戈登。 8 2000 机动性和安全性。 Zbl 0995.68004号 卢卡·卡德利 1 2000 比较对象编码。 Zbl 1045.68528号 布鲁斯（Kim B.Bruce）。；卢卡·卡德利；本杰明·皮尔斯。 10 1999 移动环境。（扩展摘要）。 Zbl 0925.68068号 卢卡·卡德利；安德鲁·戈登。 1 1997 物体理论。 Zbl 0876.68014号 马丁·阿巴迪；卢卡·卡德利 77 1996 原始对象理论：无类型和一阶系统。 Zbl 0853.68115号 马丁·阿巴迪；卢卡·卡德利 三 1996 多态语言中的动态类型。 Zbl 0819.68142号 马丁·阿巴迪；卢卡·卡德利；B.皮尔斯。；雷米·D·。 12 1995 命令式对象演算。 Zbl 1496.68098号 马丁·阿巴迪；卢卡·卡德利 6 1995 带有子类型的系统\（F\）的扩展。 Zbl 0805.03008号 卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 26 1994 原始对象理论——非类型和一阶系统。 Zbl 0942.03523号 马丁·阿巴迪；卢卡·卡德利 11 1994 纯子类型演算中的可扩展记录。 Zbl 0837.68059号 卢卡·卡德利 8 1994 记录操作。 Zbl 0837.68069号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 2 1994 形式参数多态性。 Zbl 0801.68015号 马丁·阿巴迪；卢卡·卡德利；居里，P.-L。 9 1993 显式替换。 Zbl 0941.68542号 马丁·阿巴迪；卢卡·卡德利；居里，P.-L。；莱维，J.-J。 124 1991 记录操作。 Zbl 0727.68020号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 19 1991 Quest的语义基础。 Zbl 0941.68528号 卢卡·卡德利；朱塞佩·隆戈 19 1991 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利；西蒙·马提尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯克洛夫 5 1991 记录操作（摘要）。 兹比尔1509.68046 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 5 1990 对记录的操作（扩展摘要）。 Zbl 1493.68082号 卢卡·卡德利；约翰·米切尔（John C.Mitchell）。 1 1989 多重继承的语义。 Zbl 0651.68017号 卢卡·卡德利 44 1988 类型检查依赖类型和子类型。 Zbl 0645.68028号 卢卡·卡德利 三 1988 基本多态类型检查。 Zbl 0626.68009号 卢卡·卡德利 4 1987 多重继承的语义。 Zbl 0543.68011号 卢卡·卡德利 23 1984 实时代理。 Zbl 0493.68017号 卢卡·卡德利 7 1982 模拟过程。 Zbl 0454.68038号 卢卡·卡德利 1 1980 所有引用的出版物 前5名被引用出版物 全部的 前5名1192位作者引用 37 卢卡·卡德利 18 加布里埃尔·乔巴努 15 保罗·米拉佐 12 博迪，恰拉 12 马里亚纽拉州Dezani-Ciancaglini 12 菲利普·安·加德纳 12 乔治·盖利 12 丹尼尔·戈拉 12 安德烈亚·马吉奥洛·谢蒂尼 11 琳达，布罗多 11 法比奥·加杜奇 10 罗伯托·巴布蒂 10 菲利波·邦奇 10 安德鲁·菲利普斯 10 米尔科·特里巴斯通 9 阿曼，博格丹 9 卢卡·博托卢西 9 罗伯托·布鲁尼 9 Fairouz D.卡马雷丁。 9 弗朗西丝卡·列维 9 弗莱明·尼尔森 9 Tschaikowski，马克斯 9 安德烈·范丁 8 默多克·詹姆斯·加贝 8 安德鲁·戈登。 8 简·希尔斯顿 8 拉杜·马达尔 8 乌戈·蒙塔纳里。 8 伊恩·菲利普斯。 8 科拉多·普里亚米 8 汉内·里斯·尼尔森 8 埃里克·温弗里 8 吉安路易吉·扎瓦塔罗 7 毛里西奥·阿亚拉·林科恩 7 米歇尔·布格列西 7 路易斯·凯雷斯 7 皮埃尔·卢伊斯·居里 7 大卫·多蒂 7 罗伯塔·戈里 7 迪莉娅·凯斯纳 7 科西莫·拉涅夫 7 马西莫·梅里奥 7 蒙雷利，贾科玛·瓦伦蒂娜 7 本杰明·皮尔斯。 7 罗萨里奥·普格利泽 7 马丁·斯特芬 7 吉田、Nobuko 6 爱德华多·博内利 6 罗伯特·布里德 6 纳迪亚·布西 6 朱塞佩·卡斯塔尼亚 6 文森佐·西安西亚 6 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 6 洛科·德尼古拉 6 乔治·德尔扎诺 6 弗朗索瓦·法赫斯 6 伏玉溪 6 轩尼诗，Matthew C.B。 6 Kwiatkowska，Marta Z。 6 金·古德斯特兰·拉森 6 何塞·梅塞盖尔·瓜伊塔 6 约翰·米切尔（John C.Mitchell）。 6 乔瓦尼·帕迪尼 6 阿尔贝托，Policriti 6 安吉洛·特洛伊娜 5 洛伦佐·贝蒂尼 5 米歇尔·博雷尔 5 马蒂奥·卡瓦利埃 5 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 5 文森特·达诺斯 5 多米尼克·达根 5 莫雷诺，法拉斯基 5 吉安·路易吉，法拉利 5 瓦实提·加尔平 5 戴安娜·赫米思 5 汉斯·休特尔 5 克洛德·基什内尔 5 马修·拉金。 5 卢卡·劳伦蒂 5 米歇尔·洛雷蒂 5 塞尔吉奥·马菲斯 5 罗宾·米尔纳 5 卡洛斯·奥拉特 5 Owe、Olaf 5 朱利安·拉特克 5 大卫·索洛维奇克 5 弗兰克·巴伦西亚。 5 贝蒂·文奈里 5 克里斯蒂安·维萨里 5 玛丽亚·格拉齐亚·维格利奥蒂 4 保罗·巴尔丹 4 维维亚娜·博诺 4 安德烈亚·克拉克·布拉夏利 4 奇亚拉·布拉金 4 布鲁斯（Kim B.Bruce）。 4 朱利奥·卡拉瓦格纳 4 大卫·奇亚鲁吉 4 费德里卡·乔切塔 4 费卢西奥·达米亚尼 4 迪加诺，皮尔保罗 …还有1092名作者 全部的 前5名80篇连载文章中引用 191 理论计算机科学 86 信息与计算 29 自然计算 21 函数编程杂志 19 逻辑与代数程序设计杂志 18 计算的形式方面 18 MSCS公司。计算机科学中的数学结构 18 程序设计中的逻辑和代数方法杂志 16 计算机程序设计科学 15 信息学报 11 高阶和符号计算 11 计算机科学中的逻辑方法 10 自动推理杂志 7 信息处理信件 7 计算机与系统科学杂志 7 计算机语言、系统和结构 5 自动化 5 纯逻辑与应用逻辑年鉴 5 分布式计算 4 国际计算机科学基础杂志 4 计算系统理论 4 RAIRO公司。理论信息学及其应用 4 应用逻辑杂志 三 数学生物学通报 三 信息科学 三 纯粹与应用代数杂志 三 符号计算杂志 三 计算机科学与技术杂志 三 国际计算机数学杂志 三 工程、通信和计算中的应用代数 三 应用非经典逻辑杂志 三 约束条件 三 ACM计算逻辑事务 三 理论生物学杂志 三 膜计算杂志 2 新一代计算 2 美国计算机学会模型和计算机仿真汇刊 2 数学化学杂志 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 国际并行、紧急和分布式系统杂志 2 新数学与自然计算 1 人工智能 1 离散应用数学 1 富兰克林学院学报 1 数学生物学杂志 1 应用数学与计算 1 伦敦数学学会杂志。第二系列 1 苏联数学杂志 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 京都大学数学科学研究所出版物 1 Studia Logica公司 1 逻辑历史与哲学 1 物理D 1 订单 1 国际智能系统杂志 1 国际近似推理杂志 1 离散事件动态系统 1 RAIRO公司。Informatique Théorique et Applications公司 1 Indagationes Mathematicae公司。新系列 1 第二世界大学。努瓦里。Matematic™（马特马蒂） 1 国际鲁棒非线性控制杂志 1 控制论与系统分析 1 系统设计中的形式化方法 1 人工智能研究杂志 1 符号逻辑公报 1 欧洲控制杂志 1 软计算 1 武汉大学自然科学学报 1 非线性科学与数值模拟中的通信 1 计算机基础理论 1 逻辑与逻辑哲学 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 理论计算机科学电子笔记 1 医学中的计算和数学方法 1 非线性分析。混合动力系统 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 1 哲学学报A.伦敦皇家学会 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在24个字段中引用 851 计算机科学（68至XX） 231 数理逻辑与基础（03-XX） 182 生物学和其他自然科学（92-XX） 22 系统论；控制（93至XX） 19 范畴理论；同调代数（18-XX） 19 概率论与随机过程（60-XX） 11 组合数学（05-XX） 9 常微分方程（34-XX） 9 信息与通信理论、电路（94-XX） 8 运筹学、数学规划（90-XX） 5 阶、格、有序代数结构（06-XX） 4 一般代数系统（08-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 交换代数（13-XX） 三 统计学（62-XX） 2 历史和传记（01-XX） 2 偏微分方程（35-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 一般拓扑结构（54至XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 按年份列出的引文