编辑配置文件(在新选项卡中打开) 丹尼尔·艾哈迈德 合著者距离 作者ID: 艾哈迈德·达尼尔 发布日期: 丹尼尔·艾哈迈德 已编制索引的文档: 4出版物自2020年起 合著者: 4位合著者具有3联合出版物 128位合作作者 合著者 0 单作者的 三 亚历山德罗·阿巴特 三 安德烈亚·佩鲁福 1 亚历克·爱德华兹 1 米尔科·贾科布 系列 1 伊朗模糊系统杂志 领域 三 计算机科学(68至XX) 2 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 常微分方程(34-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 2出版物有被引用12中的次10文件 引用人▼ 年份▼ 使用SMT解算器实现李亚普诺夫函数的自动合理合成。 Zbl 1507.68335号 丹尼尔·艾哈迈德;安德烈亚·佩鲁福;亚历山德罗·阿巴特 7 2020 动力学模型神经屏障证书的自动和形式化合成。 Zbl 1467.68091号 安德烈亚·佩鲁福;丹尼尔·艾哈迈德;亚历山德罗·阿巴特 5 2021 动力学模型神经屏障证书的自动和形式化合成。 Zbl 1467.68091号 安德烈亚·佩鲁福;丹尼尔·艾哈迈德;亚历山德罗·阿巴特 5 2021 使用SMT解算器实现李亚普诺夫函数的自动合理合成。 Zbl 1507.68335号 丹尼尔·艾哈迈德;安德烈亚·佩鲁福;亚历山德罗·阿巴特 7 2020 所有引用出版物 排名前五的出版物 全部的 前5名34位作者引用 2 亚历山德罗·阿巴特 2 丹尼尔·艾哈迈德 2 陈欣 2 李宣东 2 安德烈亚·佩鲁福 2 安德烈·普拉泽 2 Tan,Yong Kiam先生 2 唐恩义 2 赵庆叶 1 纪尧姆·O·伯杰。 1 陈明帅 1 陈启光 1 陈少儒 1 陈、陶璐 1 亚历克·爱德华兹 1 马亚尔·法兹利亚布 1 米尔科·贾科布 1 Joost-Pieter卡托恩 1 林,王 1 刘志明 1 斯特凡·米奇 1 曼弗雷德·莫拉里 1 乔治·帕帕斯。 1 维克多·M·普雷西亚多。 1 桑卡拉纳拉亚南,斯里拉姆 1 沙,孟 1 王秋叶 1 詹姆斯·C·P·伍德科克。 1 薛、白 1 杨正峰 1 曾、夏 1 詹乃军 1 赵恒军 1 赵卓瑜 3篇连载文章中引用 1 Automatica公司 1 信息与计算 1 计算的形式方面 在5个字段中引用 9 计算机科学(68至XX) 8 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 常微分方程(34-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文