编辑配置文件（在新选项卡中打开） 科普提，费迪 合著者距离 作者ID： copty.fady公司 发布日期： 科普提，费迪 编入索引的文档： 3出版物自2001年起 合著者： 10位合著者具有3联合出版物 114位合作作者 全部的 前5名合著者 0 单一作者 2 吉拉·卡米 1 肖姆·本·达维德 1 达纳·菲斯曼 1 菲克斯，利莫 1 拉南·弗雷尔 1 恩里科·金西格里亚 1 阿米泰·艾隆 1 内森·克洛普 1 西瓦尼特·鲁阿 1 奥斯纳特·魏斯伯格 系列 1 系统设计中的形式化方法 领域 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用21中的次21文件 引用人▼ 年份▼ 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪;菲克斯，利莫;拉南·弗雷尔;恩里科·金西格里亚;吉拉·卡米 18 2001 在正式验证环境中进行高效调试。 Zbl 1002.68639号 科普提，费迪;阿米泰·伊隆;奥斯纳特·魏斯伯格;内森·克罗普;吉拉·卡米 2 2001 实践中的空白：暂时的先例失败。 Zbl 1322.68132号 肖姆·本·达维德;科普提，费迪;达纳·菲斯曼;西瓦尼特·鲁阿 1 2015 实践中的空虚：暂时的先行失败。 Zbl 1322.68132号 肖姆·本·达维德;科普提，费迪;达纳·菲斯曼;西瓦尼特·鲁阿 1 2015 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪;菲克斯，利莫;拉南·弗雷尔;恩里科·金西格里亚;吉拉·卡米 18 2001 在正式验证环境中进行高效调试。 Zbl 1002.68639号 科普提，费迪;阿米泰·艾隆;奥斯纳特·魏斯伯格;内森·克罗普;吉拉·卡米 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 6 莫西·亚亚科夫·瓦尔迪 2 恩里科·金西格里亚 2 马蒂·Järvisalo 2 汤米·A·琼蒂拉。 2 利迪亚·卡夫拉基。 2 埃里昂·普拉库 2 阿曼多·塔切拉 1 艾丽卡·阿尔布拉汉姆 1 Åkesson，克努特 1 贝恩德·贝克尔 1 啤酒，伊兰 1 肖姆·本·达维德 1 基南·布雷克 1 Randal E.布莱恩特。 1 克劳迪奥·卡斯泰里尼 1 哈娜·乔克勒 1 科恩·克莱森 1 克拉克（Edmund Melson jun Clarke）。 1 埃恩，尼克拉斯 1 亚历山德罗·费兰特 1 伯恩德·芬克贝纳 1 西尔万·霍尔 1 马克·赫伯斯特里特 1 Heule，Marijn J.H。 1 希曼舒·杰恩 1 丹尼尔·科宁 1 奥尔纳·库普弗曼 1 Joáo P.塞尔瓦侯爵。 1 那不勒斯，玛格丽塔 1 马西莫·纳里扎诺 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 阿维盖尔·奥尔尼 1 医学博士O'Toole。 1 帕伦特，米姆 1 尼尔·皮特曼 1 玛丽·希兰 1 大卫·索洛维奇克 1 玛丽亚·索里亚 1 尼古拉斯·Sörensson 1 马丁·斯特芬 1 克里斯·塔楚克 1 理查德·特雷弗（Richard J.Trefler）。 1 雨果·特伦布雷 1 米罗斯拉夫·韦列夫。 1 阿列克谢·沃罗诺夫 全部的 前5名7篇连载文章中引用 三 系统设计中的形式化方法 1 人工智能 1 理论计算机科学 1 符号计算杂志 1 离散事件动态系统 1 约束条件 1 动力系统的数学和计算机建模 全部的 前5名在7个字段中引用 18 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 生物学和其他自然科学（92-XX） 1 粒子和系统力学（70-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文