编辑配置文件(在新选项卡中打开) 伊曼纽尔·德·安吉利斯 合著者距离 作者ID: de-angelis.emanuele公司 发布方式: 伊曼纽尔·德·安吉利斯 已编制索引的文档: 30份出版物自1996年起 2作为编辑的贡献 合著者: 13合著者具有27联合出版物 244位合作作者 全部的 前5名合著者 1 单作者的 24 毛里齐奥·普罗埃蒂 23 法比奥·菲奥拉万蒂 22 阿尔贝托·佩特罗西 2 Maria Chiara Meo女士 1 格里戈里·费迪尤科维奇 1 约翰·加拉赫(John P.Gallagher)。 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 Jean-Paul,莫利科内 1 月亮,提奥 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 阿德里安·帕拉西奥斯。 1 尼科斯·齐夫列科斯 1 马蒂亚斯·乌尔布里奇 1 V.K.、Hari Govind 1 Luc J.Van Gool。 1 马滕·范·鲁威克 1 温·范霍夫 1 保罗·韦尔斯特雷伦 全部的 前5名系列 6 逻辑程序设计理论与实践 4 计算机基础理论 1 流体力学杂志 1 逻辑与计算杂志 1 流体物理学 1 非线性分析。真实世界应用程序 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 29 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 2 一般性和全局性主题;集合(00-XX) 2 流体力学(76-XX) 2 运筹学、数学规划(90-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 微分几何(53至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用57中的次32文件 引用人▼ 年份▼ 从多细胞生长系统的动力学模型到宏观生物组织模型。 Zbl 1203.92020年 A.Bellouquid。;德安吉利斯,E。 26 2011 壁湍流中的各向异性动力学和子网格能量传输。 Zbl 1308.76150号 Cimarelli,A。;德安吉利斯,E。 14 2012 在没有归纳的情况下解决归纳数据类型上的Horn子句。 Zbl 1451.68172号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 时间平面射流中的空间演化级联。 兹比尔1461.76232 Cimarelli,A。;莫利科内,J.-P。;van Reeuwijk,M。;德安吉利斯,E。 7 2021 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2016 使用差谓词从受约束的Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 代数数据类型上约束Horn子句的可满足性:基于转换的方法。 Zbl 07486296号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2017 用于程序验证的谓词配对。 Zbl 1478.68153号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2018 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 平面和空间曲线的仿射半微分不变量完备系统。 Zbl 0954.53008号 德安吉利斯,E。;穆恩斯,T。;范古尔,L。;弗斯特雷伦,P。 2 1996 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;Maria Chiara Meo女士;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 排序程序属性的证明:Horn子句验证中的一个案例研究。 Zbl 1483.68189号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 使用答案集编程合成并发程序。 Zbl 1256.68035号 伊曼纽尔·德·安吉利斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2012 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;Maria Chiara Meo女士;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 代数数据类型上约束Horn子句的可满足性:基于转换的方法。 兹伯利07486296 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2022 用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2022 使用约束Horn子句验证基于变形的契约。 Zbl 07595325号 伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 1 2022 时间平面射流中的空间演化级联。 Zbl 1461.76232号 Cimarelli,A。;莫利科内,J.-P。;van Reeuwijk,M。;德安吉利斯,E。 7 2021 使用差异谓词从约束Horn子句中删除代数数据类型。 Zbl 07614508号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2020 排序程序属性的证明:Horn子句验证中的一个案例研究。 兹比尔1483.68189 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;Maria Chiara Meo女士;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 在没有归纳法的情况下解决归纳数据类型上的Horn子句。 Zbl 1451.68172号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 13 2018 用于程序验证的谓词配对。 兹比尔1478.68153 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2018 谓词配对与抽象用于关系验证。 Zbl 1508.68058号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2018 使用约束处理规则和数组约束泛化进行程序验证。 Zbl 1374.68113号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 三 2017 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;Maria Chiara Meo女士;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 通过Horn子句转换进行关系验证。 Zbl 1394.68227号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 6 2016 通过线性化约束Horn子句来证明命令式程序的正确性。 Zbl 1379.68093号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 8 2015 用于数组操作程序的基于规则的验证策略。 Zbl 1348.68131号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 2 2015 通过转换验证条件来验证数组程序。 Zbl 1428.68182号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 4 2014 用于软件模型检查的带有约束泛化的专业化。 Zbl 1394.68072号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2013 壁湍流中的各向异性动力学和子网格能量传输。 Zbl 1308.76150号 Cimarelli,A。;德安吉利斯,E。 14 2012 使用答案集编程合成并发程序。 Zbl 1256.68035号 伊曼纽尔·德·安吉利斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2012 从多细胞生长系统的动力学模型到宏观生物组织模型。 Zbl 1203.92020年 A.Bellouquid。;德安吉利斯,E。 26 2011 平面和空间曲线的仿射半微分不变量的完备系统。 Zbl 0954.53008号 德安吉利斯,E。;穆恩斯,T。;范古尔,L。;弗斯特雷伦,P。 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名51位作者引用 11 伊曼纽尔·德·安吉利斯 10 法比奥·菲奥拉万蒂 10 阿尔贝托·佩特罗西 10 毛里齐奥·普罗埃蒂 4 约翰·加拉赫(John P.Gallagher)。 4 直纪小林 三 格里戈里·费迪尤科维奇 三 佐藤隆介 2 吉登·恩斯特 2 皮埃尔·甘蒂 2 比肖克桑·卡夫 1 马哈穆杜尔·费萨尔·阿梅恩 1 阿诺普·巴贾纳什 1 安德烈·塞巴斯蒂安·布鲁安 1 冠军,阿德里安 1 利迪亚·切尔尼戈夫斯卡娅 1 千叶,富古屋 1 瑟·特凡·乔巴赫 1 J.Robert M.科尼什。 1 马克·达勒姆 1 丹尼·德·施雷耶 1 Doménech,Jesús J。 1 伊森,扎弗 1 格雷姆·恒河 1 萨米尔·根奈姆 1 罗伯特·格莱克 1 阿尔蒂·古普塔 1 劳尔·古铁雷斯 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 莫里茨·基弗 1 弗拉基米尔·克莱巴诺夫 1 马蒂斯·克鲁斯 1 多雷尔·卢卡努 1 萨尔瓦多卢卡斯 1 德米特里·莫德维诺夫(Dmitri Mordvinov,Aleksandrovich) 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 文森特·奈斯 1 阿德里安·帕拉西奥斯。 1 雷霍特,乔纳斯·沃尔珀斯 1 菲利普·吕默 1 肯·萨卡约里 1 彼得·沙赫特 1 克劳斯·施耐德 1 Takumi岛田 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 克里希纳·苏布拉马尼 1 马蒂亚斯·乌尔布里奇 1 V.K.、Hari Govind 1 Wojciechowski,Piotr J。 1 卢卡斯·扎瓦利亚 全部的 前5名6篇连载文章中引用 8 逻辑程序设计理论与实践 三 自动推理杂志 1 理论计算机科学 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 在5个字段中引用 32 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文