编辑配置文件(在新选项卡中打开) 卢卡·维甘诺 合著者距离 作者ID: 维甘诺卢卡 发布日期: 卢卡·维甘诺;维甘诺,L。;卢卡·维甘诺 更多。。。较少的 外部链接: MGP公司·逆戟鲸·数据库许可证 已编制索引的文档: 52出版物自1996年以来,包括1本书 8作为编辑的贡献 合著者: 54位合著者具有57联合出版物 1000名合作作者 全部的 前5名合著者 三 单作者的 18 David A.Basin。 10 塞巴斯蒂安·亚历山大·莫德谢姆 8 卡洛斯·卡莱罗 7 塞恩·马修斯 7 马尔科·沃尔佩 6 克里斯蒂娜·塞尔纳达斯。 5 安德烈亚·马西尼 5 乔安·拉斯加 4 皮耶保罗·德加诺 4 阿米尔卡·塞尔纳达斯。 4 马特奥·扎瓦特里 三 亚历山德罗·阿曼多 三 卡洛·库比 三 詹姆·拉莫斯 三 玛格丽塔·佐齐 2 奥马尔·阿穆萨 2 亚尼克·骑士 2 卢卡·孔帕尼亚 2 Dov M.加巴伊。 2 保罗·汉克斯·德里尔斯玛 2 保罗·C·马特乌斯。 2 罗密欧·里兹 2 米歇尔·鲁西诺维奇 2 马修·图鲁阿尼 2 劳伦·维格纳龙 1 拉斐尔·雅科西 1 佩德罗·阿德奥 1 迈克尔·巴克斯 1 D盆地。 1 马尔科·贝加马斯科 1 尤罕·博伊库特 1 梅赫迪·布阿拉古伊 1 伊利莎·布拉托 1 克里斯塔尼·马特奥 1 豪尔赫·奎利亚尔 1 达戈斯蒂诺,马塞洛 1 詹尼·费雷蒂 1 托马斯·R·格罗斯。 1 海姆,皮尔雷·科里尔 1 埃里萨·卡拉菲利 1 奥尔加·库什纳伦科 1 拉尔夫·库瑟斯 1 马可·洛夫拉 1 雅各布·曼托瓦尼 1 保罗·莫德斯蒂 1 比吉特·普菲茨曼 1 弗兰克·皮森斯 1 罗伯托·波塞纳托 1 弗兰克·里廷格 1 弗朗切斯科·斯齐亚沃 1 安德拉斯·瓦尔加 1 马古斯·维恩斯 1 大卫·冯·奥海姆 1 史蒂夫·兹丹塞维奇 全部的 前5名系列 5 理论计算机科学 4 逻辑与计算杂志 三 信息与计算 三 IGPL逻辑杂志 三 计算机科学课堂讲稿 2 Studia Logica公司 2 应用非经典逻辑杂志 2 理论计算机科学电子笔记 2 泛逻辑 1 国际控制杂志 1 逻辑、语言与信息杂志 1 人工智能研究杂志 1 多体系统动力学 1 多值逻辑与软计算杂志 1 应用逻辑系列 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 38 计算机科学(68至XX) 31 数理逻辑与基础(03-XX) 16 信息与通信理论、电路(94-XX) 11 总体主题;集合(00-XX) 三 量子理论(81-XX) 2 粒子和系统力学(70-XX) 2 系统论;控制(93至XX) 1 常微分方程(34-XX) 1 变分法与最优控制;最优化(49至XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用227中的次163文件 引用人▼ 年份▼ 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚,L。;J.库埃拉。;Hankes Drielsma,P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim,S。;冯·奥海姆,D。;Rusinovitch,M。;J·圣地亚哥。;M.图鲁阿尼。;维甘奥,L。;维格纳龙,L。 53 2005 标签非经典逻辑。Dov M.Gabbay的前言。 Zbl 1003.03001号 卢卡·维甘诺 32 2000 标签命题模态逻辑:理论与实践。 Zbl 0902.03007号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 11 1997 量子态变换和分支分布式时序逻辑。受邀论文。 Zbl 1372.68190号 卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 8 2014 具有不确定性和决策的条件简单时间网络。 Zbl 1434.68552号 马特奥·扎瓦特里;卢卡·维甘诺 8 2019 关于安全协议的Alice&Bob规范的语义。 Zbl 1153.94450号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 7 2006 非经典逻辑的自然演绎。 Zbl 0954.03010号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 7 1998 量子态变换的模式演绎系统。 Zbl 1236.68073号 安德烈亚·马西尼;卢卡·维甘诺;玛格丽塔·佐齐 6 2011 代数入侵者推论。 Zbl 1143.94339号 戴维·巴恩斯;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 6 2005 具有不确定性和资源的条件简单时间网络。 Zbl 1489.68250号 卡洛·库比;罗伯托·波塞纳托;卢卡·维甘诺;马特奥·扎瓦特里 6 2019 用于安全协议分析的关联串空间和分布式时序逻辑。 兹比尔1098.03039 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 5 2005 柔性梁的面向对象建模。 Zbl 1099.74065号 弗朗切斯科·斯齐亚沃;卢卡·维甘诺;詹尼·费雷蒂 5 2006 捆绑分支时态逻辑的标记自然演绎。 Zbl 1252.03038号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 5 2011 分布式时序逻辑的标签表。 兹伯利1196.03044 戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 5 2009 用于推理无纠缠量子态变换的分支分布式时序逻辑。 Zbl 1372.68191号 卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 5 2017 使用分布式时态逻辑对安全协议进行元推理。 Zbl 1272.68051号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 4 2005 用于安全协议符号分析的开源定点模型检查器。 Zbl 1252.68193号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2009 一种限定模态逻辑复杂性的新方法。 Zbl 0886.03039号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 4 1997 STN与决策的一致性检查:无缝管理时间和访问控制约束。 Zbl 1518.68353号 马特奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 4 2021 用于安全协议分析的离线猜测的形式化。 Zbl 1108.68455号 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2005 用于具有决策的简单时态网络的基于SAT的混合一致性检查算法。 Zbl 1515.68295号 马特奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 4 2019 光纤标记扣除系统。 Zbl 1011.03002号 乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 三 2002 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 解构爱丽丝和鲍伯。 Zbl 1272.68052号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 三 2005 保护匿名频道。 Zbl 1481.94077号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 三 2009 最优周期输出反馈控制:连续时间方法和案例研究。 Zbl 1197.49040号 卢卡·维甘诺;马尔科·贝加马斯科;马可·洛夫拉;安德拉斯·瓦尔加 三 2010 安全协议分析的基于认知的语义。 Zbl 1268.94022号 拉斐尔·雅科西;戴维·巴恩斯;卢卡·维甘诺 三 2003 标记模态逻辑:量词。 Zbl 0933.03016号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 2 1998 用于分析安全协议模型的分布式时序逻辑。 Zbl 1253.68053号 戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 2 2011 Alice和Bob:协调正式模型和实现。 兹比尔1434.68294 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 2 2015 模态逻辑在逻辑框架中的模块化表示。 Zbl 0956.03008号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 2 1998 安全WS-ReliableMessaging场景的符号和密码分析。 兹比尔1180.68037 迈克尔·巴克斯;塞巴斯蒂安·莫德谢姆;比吉特·普菲茨曼;卢卡·维甘诺 1 2006 从未来回来。 Zbl 1242.03046号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2010 关于多维模态逻辑的镶嵌方法:结合时态和模态算子的案例研究。 Zbl 1283.03039号 卡洛斯·卡莱罗;卢卡·维甘诺;马尔科·沃尔佩 1 2013 CTL片段(^{*})的标记自然演绎系统。 Zbl 1211.03032号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2009 安全和信任原则。2016年4月2日至8日在荷兰埃因霍温举行的第五届国际会议,即2016年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1333.68016号 1 2016 用电影和艺术解释网络安全。 Zbl 1454.00034号 卢卡·维甘诺 1 2020 基于事件的时间戳索赔逻辑。 Zbl 07377685号 詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 1 2021 安全协议的类型化和组合性:对几何碎片的概括。 Zbl 1499.68043号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺 1 2015 STN与决策的一致性检查:无缝管理时间和访问控制约束。 Zbl 1518.68353号 马特奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 4 2021 基于事件的时间戳索赔逻辑。 兹比尔07377685 詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 1 2021 用电影和艺术解释网络安全。 Zbl 1454.00034号 卢卡·维甘诺 1 2020 具有不确定性和决策的条件简单时间网络。 Zbl 1434.68552号 马特奥·扎瓦特里;卢卡·维甘诺 8 2019 具有不确定性和资源的条件简单时间网络。 Zbl 1489.68250号 卡洛·库比;罗伯托·波塞纳托;卢卡·维甘诺;马特奥·扎瓦特里 6 2019 用于具有决策的简单时态网络的基于SAT的混合一致性检查算法。 Zbl 1515.68295号 马特奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 4 2019 用于推理无纠缠量子态变换的分支分布式时序逻辑。 Zbl 1372.68191号 卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 5 2017 安全和信任原则。2016年4月2日至8日在荷兰埃因霍温举行的第五届国际会议,即2016年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1333.68016号 1 2016 Alice和Bob:协调正式模型和实现。 Zbl 1434.68294号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 2 2015 安全协议的类型化和组合性:对几何碎片的概括。 Zbl 1499.68043号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺 1 2015 量子态变换和分支分布式时序逻辑。受邀论文。 Zbl 1372.68190号 卢卡·维甘诺;马尔科·沃尔佩;玛格丽塔·佐齐 8 2014 关于多维模态逻辑的镶嵌方法:结合时态和模态算子的案例研究。 Zbl 1283.03039号 卡洛斯·卡莱罗;卢卡·维甘诺;马尔科·沃尔佩 1 2013 量子态变换的模式演绎系统。 Zbl 1236.68073号 安德烈亚·马西尼;卢卡·维甘诺;玛格丽塔·佐齐 6 2011 捆绑分支时态逻辑的标记自然演绎。 Zbl 1252.03038号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 5 2011 用于分析安全协议模型的分布式时序逻辑。 Zbl 1253.68053号 戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 2 2011 最优周期输出反馈控制:连续时间方法和案例研究。 Zbl 1197.49040号 卢卡·维甘诺;马尔科·贝加马斯科;马可·洛夫拉;安德拉斯·瓦尔加 三 2010 从未来回来。 Zbl 1242.03046号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2010 分布式时序逻辑的标签表。 Zbl 1196.03044号 戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 5 2009 用于安全协议符号分析的开源定点模型检查器。 Zbl 1252.68193号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2009 保护匿名频道。 Zbl 1481.94077号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 三 2009 CTL片段(^{*})的标记自然演绎系统。 Zbl 1211.03032号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2009 关于安全协议的Alice&Bob规范的语义。 Zbl 1153.94450号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 7 2006 柔性梁的面向对象建模。 Zbl 1099.74065号 弗朗切斯科·斯齐亚沃;卢卡·维甘诺;詹尼·费雷蒂 5 2006 安全WS-ReliableMessaging场景的符号和密码分析。 Zbl 1180.68037号 迈克尔·巴克斯;塞巴斯蒂安·莫德谢姆;比吉特·普菲茨曼;卢卡·维甘诺 1 2006 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚,L。;J.库埃拉。;Hankes Drielsma,P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim,S。;冯·奥海姆,D。;Rusinovitch,M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺,L。;维格纳龙,L。 53 2005 代数入侵者推论。 Zbl 1143.94339号 戴维·巴恩斯;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 6 2005 用于安全协议分析的相关链空间和分布式时间逻辑。 Zbl 1098.03039号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 5 2005 使用分布式时态逻辑对安全协议进行元推理。 Zbl 1272.68051号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 4 2005 用于安全协议分析的离线猜测的形式化。 Zbl 1108.68455号 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2005 解构爱丽丝和鲍伯。 Zbl 1272.68052号 卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 三 2005 安全协议分析的基于认知的语义。 Zbl 1268.94022号 拉斐尔·雅科西;戴维·巴恩斯;卢卡·维甘诺 三 2003 光纤标记扣除系统。 Zbl 1011.03002号 乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 三 2002 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 标签非经典逻辑。Dov M.Gabbay的前言。 Zbl 1003.03001号 卢卡·维甘诺 32 2000 非经典逻辑的自然演绎。 兹比尔0954.03010 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 7 1998 标记模态逻辑:量词。 Zbl 0933.03016号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 2 1998 模态逻辑在逻辑框架中的模块化表示。 Zbl 0956.03008号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 2 1998 标签命题模态逻辑:理论与实践。 Zbl 0902.03007号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 11 1997 一种限定模态逻辑复杂性的新方法。 Zbl 0886.03039号 戴维·巴恩斯;塞恩·马修斯;卢卡·维甘诺 4 1997 所有引用的出版物 前5名被引用出版物 全部的 前5名262位作者引用 14 卢卡·维甘诺 11 斯特凡尼德劳恩 10 安德烈亚·马西尼 9 玛格丽塔·佐齐 8 维罗尼克·科尔蒂尔 6 史蒂夫·克莱默 5 David A.Basin。 5 塞巴斯蒂安·亚历山大·莫德谢姆 5 马尔科·沃尔佩 5 马特奥·扎瓦特里 4 斯特凡诺·巴拉泰拉 4 卡洛斯·卡莱罗 4 亚尼克·骑士 4 克雷默斯,Cas J.F。 4 克莱尔·狄克逊 4 乌尔里希·赫斯塔特 4 Cláudia Nalon 4 伊莱恩·皮门特尔 4 米歇尔·鲁西诺维奇 三 托本·布吕纳 三 文森特·雪瓦尔 三 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 三 帕斯卡·拉福卡德 三 Linares Arévalo,皮拉尔·塞琳 三 凯瑟琳·梅多斯。 三 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 三 内格里,萨拉 三 卢卡·保里尼 三 法比奥·帕帕奇尼 三 罗密欧·里兹 三 蒂齐亚诺别墅 2 马蒂尔德·阿尔诺 2 毛里西奥·阿亚拉·林科恩 2 布鲁诺·布兰切特 2 阿希姆·D·布鲁克。 2 伊利亚诺·塞维萨托 2 瑟·特凡·乔巴赫 2 卡洛·库比 2 休伯特·科蒙·隆德 2 瓦莱里亚·德·佩瓦 2 弗朗西安·戴奇森 2 詹尼·费雷蒂 2 里卡多·福卡迪 2 高,韩 2 托马斯·杰奈特 2 亚伦·D·贾加德。 2 罗马库兹涅茨 2 阿尔贝托·莱瓦 2 弗拉米尼娅·卢西奥。 2 丹尼斯·卢吉兹 2 绍克·莫 2 卡洛斯·奥拉特 2 德克·帕丁森 2 萨沙拉多米罗维奇 2 雷文莎·拉马纳亚克 2 詹姆·拉莫斯 2 乔安·拉斯加 2 阅读,斯蒂芬 2 杰森·里德 2 拉尔夫·萨西 2 布鲁诺·斯卡利奥尼 2 安德烈·斯切德罗夫 2 卢茨·施罗德 2 圭多·西亚维科 2 克里斯蒂娜·塞尔纳达斯。 2 格雷厄姆·斯蒂尔 2 泰西,马蒂奥 2 蔡乔凯 2 沃林斯基,博格丹 2 布鲁诺·泽维尔 1 马丁·阿巴迪 1 约旦亚伯拉罕斯 1 佩德罗·阿德奥 1 贾格里蒂·阿格拉瓦尔 1 阿里夫·艾哈迈德 1 奥马尔·阿穆萨 1 苏珊娜·安多瓦 1 迈托·阿拉皮尼斯 1 维亨·阿萨克 1 蒂格兰·阿瓦内索夫 1 梅赫拉萨·阿亚图拉希 1 库沙尔·巴别尔 1 迈克尔·巴克斯 1 大卫·巴尔德 1 菲利普·巴尔比亚尼 1 佩德罗·巴尔塔扎尔 1 巴博萨、路易斯·索亚雷斯 1 卢卡·巴斯塔 1 马尔科·鲍尔 1 弗朗西斯科·贝拉迪内利 1 詹保罗·贝拉 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 奇亚拉博迪 1 尤罕·博伊库特 1 塞巴斯蒂安·布赖斯 1 亚历山德罗·布鲁尼 1 路易斯·凯雷斯 …还有162位作者 全部的 前5名46连载 13 信息与计算 12 理论计算机科学 7 自动推理杂志 6 应用非经典逻辑杂志 4 纯逻辑与应用逻辑年鉴 4 MSCS公司。计算机科学中的数学结构 4 程序设计中的逻辑和代数方法杂志 三 合成 三 系统设计中的形式化方法 三 动力系统的数学和计算机建模 三 符号逻辑述评 2 信息科学 2 哲学逻辑杂志 2 Studia Logica公司 2 逻辑科公报 2 数学逻辑档案 2 数学与人工智能年鉴 2 逻辑与代数程序设计杂志 2 应用逻辑杂志 2 泛逻辑 1 信息学报 1 人工智能 1 国际控制杂志 1 信息处理信件 1 Automatica公司 1 计算机程序设计科学 1 符号计算杂志 1 计算的形式方面 1 应用数学建模 1 塔特拉山脉数学出版物 1 逻辑、语言与信息杂志 1 数学逻辑季刊(MLQ) 1 人工智能研究杂志 1 约束条件 1 工程中的数学问题 1 多体系统动力学 1 国际应用数学与计算机科学杂志 1 逻辑与逻辑哲学 1 萨达纳 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 对称性 1 公理 1 应用数学与计算力学杂志 全部的 前5名在9个字段中引用 102 计算机科学(68至XX) 69 数理逻辑与基础(03-XX) 50 信息与通信理论、电路(94-XX) 9 系统论;控制(93至XX) 8 量子理论(81-XX) 4 粒子和系统力学(70-XX) 2 总体主题;集合(00-XX) 2 运筹学、数学规划(90-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文