编辑配置文件（在新选项卡中打开） 艾米莉·大卫 合著者距离 作者ID： 戴维·阿梅利 发布日期： 艾米莉·大卫 已编制索引的文档： 9出版物自2003年以来 1进一步贡献 合著者： 4位合著者具有5联合出版物 136位合作作者 全部的 前5名合著者 3 单作者的 4 塞里托、塞雷内拉 3 瓦伦丁·F·戈兰科。 1 Billionet，阿兰 1 雅克·卡里尔。 1 菲利普·切蒂安 1 玛丽·克里斯汀·科斯塔 1 弗朗索瓦·拉鲁西尼 1 伊万·拉瓦莱 1 伯纳德·勒梅尔 1 尼古拉斯·马基 1 斯蒂芬·纳特金 1 罗塞（Roseaux） 1 凯瑟琳·鲁卡罗尔 1 皮埃尔·托拉 1 安娜·瓦尔科娃 系列 1 数学公报 1 ACM计算逻辑事务 1 伊利纳大学的研究。数学级数 全部的 前5名领域 8 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 常微分方程（34-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用9中的次8文件 引用人▼ 年份▼ 用于测试交替时间时序逻辑中可满足性的基于表的最优决策过程（\mathrm{ATL}^+\）。 Zbl 1423.68410号 塞里托、塞雷内拉;艾米莉·大卫;瓦伦丁·戈兰科 4 2014 TATL：基于ATL表的决策过程的实现。 Zbl 1401.68276号 艾米莉·大卫 2 2013 关于QCTL的表达性。 Zbl 1392.68245号 艾米莉·大卫;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 1 2016 通过表格确定（mathsf{ATL}^*\）可满足性。 Zbl 1465.68278号 艾米莉·大卫 1 2015 交替时间时序逻辑（mathrm{ATL}^+）中构造可满足性测试和模型综合的最优表方法。 Zbl 1367.68246号 塞里托、塞雷内拉;艾米莉·大卫;瓦伦丁·戈兰科 1 2015 关于QCTL的表达性。 Zbl 1392.68245号 艾米莉·大卫;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 1 2016 通过表格确定（mathsf{ATL}^*\）可满足性。 Zbl 1465.68278号 艾米莉·大卫 1 2015 交替时间时序逻辑（mathrm{ATL}^+）中构造可满足性测试和模型综合的最优表方法。 Zbl 1367.68246号 塞里托、塞雷内拉;艾米莉·大卫;瓦伦丁·戈兰科 1 2015 用于测试交替时间时序逻辑中可满足性的基于表的最优决策过程（\mathrm{ATL}^+\）。 Zbl 1423.68410号 塞里托、塞雷内拉;艾米莉·大卫;瓦伦丁·戈兰科 4 2014 TATL：基于ATL表格的决策程序的实现。 Zbl 1401.68276号 艾米莉·大卫 2 2013 所有引用出版物 前5名被引用出版物 全部的 前5名17位作者引用 2 艾米莉·大卫 2 瓦伦丁·F·戈兰科。 1 巴托斯·贝德纳西克 1 塞里托、塞雷内拉 1 斯特凡·德姆里。 1 克莱尔·迪克森 1 保罗·盖纳 1 乌尔里希Hustadt 1 安蒂·库西斯托 1 李彦军 1 约翰·克里斯托弗（John Christopher McCabe-Dansted） 1 Cláudia Nalon 1 马克·亚历山大·雷诺兹 1 雷恩·Rönnholm 1 米哈伊尔·尼古拉埃维奇·里巴科夫 1 德米特里·什卡托夫 1 张，兰 引用于3个系列 2 理论计算机科学 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 在3个字段中引用 8 数学逻辑和基础（03-XX） 7 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文