编辑配置文件(在新选项卡中打开) 扎尼斯·阿内夫拉维斯 合著者距离 作者ID: anevlavis.tzanis公司 发布日期: 扎尼斯·阿内夫拉维斯 已编制索引的文档: 4出版物自2019年起,包括1个附加arXiv预打印 合著者: 6位合著者具有4联合出版物 150位合作作者 全部的 前5名合著者 0 单作者的 4 保罗·塔布阿达 2 丹尼尔·奈德 1 刘泽祥 1 内克米耶·奥扎伊 1 马修·菲利普 1 马修·菲利普 系列 1 ACM计算逻辑事务 字段 三 计算机科学(68至XX) 三 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次5文件 引用人▼ 年份▼ 正确是不够的:使用健壮的线性时序逻辑进行有效验证。 Zbl 1502.68178号 扎尼斯·阿内夫拉维斯;马修·菲利普;丹尼尔·奈德;保罗·塔布阿达 4 2022 埃夫罗斯托斯。rLTL验证器。 Zbl 07120157号 扎尼斯·阿内夫拉维斯;丹尼尔·奈德;马修·菲利普;保罗·塔布阿达 2 2019 正确是不够的:使用健壮的线性时序逻辑进行有效验证。 Zbl 1502.68178号 扎尼斯·阿内夫拉维斯;马修·菲利普;丹尼尔·奈德;保罗·塔布阿达 4 2022 埃夫罗斯托斯。rLTL验证器。 Zbl 07120157号 扎尼斯·阿内夫拉维斯;丹尼尔·奈德;马修·菲利普;保罗·塔布阿达 2 2019 全部的 前5名15位作者引用 2 林德曼,拉尔斯 2 丹尼尔·奈德 2 乔治·帕帕斯。 2 亚历山大·韦内特 2 马丁·齐默尔曼 1 罗德里克·布洛姆 1 哈娜·乔克勒 1 马修·克利夫兰 1 马苏德·易卜拉希米 1 拉多斯拉夫·伊万诺夫 1 科托·N·马斯克。 1 阿莱娜·罗迪奥诺娃 1 马克西米利安·施温格 1 斯特里赫曼(Ofer Strichman) 1 保罗·塔布阿达 3篇连载文章中引用 2 系统设计中的形式化方法 1 人工智能 1 信息与计算 在3个字段中引用 5 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的引文