编辑配置文件(在新选项卡中打开) 伊莎贝拉·马斯特罗埃尼 合著者距离 作者ID: 马斯特罗尼·伊萨贝拉 发布日期: 伊莎贝拉·马斯特罗埃尼 编入索引的文档: 36出版物自2001年起 2作为编辑的贡献 合著者: 14合著者具有32联合出版物 171位合作作者 全部的 前5名合著者 6 单作者的 19 罗伯托·贾科巴齐 5 布鲁,萨穆勒 4 米拉·达拉·普雷达 三 文森佐·阿塞里 2 安妮迪亚·班纳吉 2 阿戈斯蒂诺·科尔特斯 2 罗伊·克罗。 2 马蒂娜·奥利亚罗 2 米歇尔·帕斯夸 1 乔什·伯丁 1 塞巴斯蒂安·亨特 1 阿伦·拉科蒂亚 1 埃纳州扎法内拉 1 达米亚诺·扎纳尔迪尼 全部的 前5名系列 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 1 订单 1 信息与计算 1 计算的形式方面 1 逻辑与计算杂志 1 国际计算机数学杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 全部的 前5名领域 38 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 1 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用65中的次43文件 引用人▼ 年份▼ 抽象不干涉:通过抽象解释将不干涉参数化。 Zbl 1325.68043号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 18 2004 程序切片的非标准语义。 Zbl 1074.68034号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 8 2003 通过抽象解释转换抽象解释。基于语言的安全性面临的新挑战。 Zbl 1149.68351号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 4 2008 抽象符号自动机:可执行文件的混合语法/语义相似性分析。 Zbl 1345.68100号 米拉·达拉·普雷达;罗伯托·贾科巴齐;阿伦·拉科蒂亚;伊莎贝拉·马斯特罗埃尼 4 2015 抽象不干涉的PER模型。 Zbl 1141.68370号 塞巴斯蒂安·亨特;伊莎贝拉·马斯特罗埃尼 三 2005 最大不完全性作为混淆效力。 Zbl 1355.68053号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼;米拉·达拉·普雷达 三 2017 验证有界子闭超属性。 Zbl 1511.68163号 伊莎贝拉·马斯特罗埃尼;米歇尔·帕斯夸 三 2018 通过抽象解释连接解密和攻击模型。 Zbl 1108.68457号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 2 2005 你所失去的是你所泄漏的:解密策略中的信息泄漏。 Zbl 1316.68040号 安妮迪亚·班纳吉;罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 2 2007 多语言的等式逻辑和范畴语义。 Zbl 07516372号 布鲁,萨穆勒;罗伊·克罗;伊莎贝拉·马斯特罗埃尼 2 2020 语义超层次结构–超属性验证的正式框架。 Zbl 1420.68113号 伊莎贝拉·马斯特罗埃尼;米歇尔·帕斯夸 2 2017 JavaScript程序字符串分析的抽象域的完整性。 Zbl 07142680号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 2 2019 关于抽象不干涉基于语言的安全。 Zbl 1159.68376号 伊莎贝拉·马斯特罗埃尼 1 2005 定时抽象无干扰。 Zbl 1175.68252号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2005 证明抽象的不干涉。 Zbl 1095.68023号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2004 完整抽象的域压缩。 Zbl 1022.68074号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2003 一种基于抽象解释的安全语义模型。 Zbl 1215.68125号 伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 1 2011 完成抽象模型。 Zbl 1361.68065号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2016 抽象程序切片:一种基于抽象解释的程序切片方法。 Zbl 1367.68070号 伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 1 2017 削弱相邻闭包中的可加性。 Zbl 1403.06008号 伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 1 2016 近似转导的完整性。 Zbl 1394.68208号 米拉·达拉·普雷达;罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2016 动态语言字符串分析的完整性。 Zbl 1518.68032号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 1 2021 论语言句法形式的语义对等。 Zbl 1461.18001号 萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 1 2020 论多元语言的建构。 Zbl 1524.68078号 萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 1 2019 动态语言字符串分析的完整性。 Zbl 1518.68032号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 1 2021 多语言的等式逻辑和范畴语义。 Zbl 07516372号 萨缪尔·布鲁;罗伊·克罗;伊莎贝拉·马斯特罗埃尼 2 2020 论语言句法形式的语义对等。 Zbl 1461.18001号 萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 1 2020 JavaScript程序字符串分析的抽象域的完整性。 Zbl 07142680号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 2 2019 关于多语言结构。 Zbl 1524.68078号 萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 1 2019 验证有界子集闭超属性。 Zbl 1511.68163号 伊莎贝拉·马斯特罗埃尼;米歇尔·帕斯夸 三 2018 最大不完全性作为混淆效力。 Zbl 1355.68053号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼;米拉·达拉·普雷达 三 2017 语义超层次结构–超属性验证的正式框架。 Zbl 1420.68113号 伊莎贝拉·马斯特罗埃尼;米歇尔·帕斯夸 2 2017 抽象程序切片:一种基于抽象解释的程序切片方法。 Zbl 1367.68070号 伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 1 2017 完成抽象模型。 Zbl 1361.68065号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2016 削弱相邻闭包中的可加性。 Zbl 1403.06008号 伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 1 2016 近似转导的完整性。 Zbl 1394.68208号 米拉·达拉·普雷达;罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2016 抽象符号自动机:可执行文件的混合语法/语义相似性分析。 Zbl 1345.68100号 米拉·达拉·普雷达;罗伯托·贾科巴齐;阿伦·拉科蒂亚;伊莎贝拉·马斯特罗埃尼 4 2015 基于抽象解释的安全语义模型。 Zbl 1215.68125号 伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 1 2011 通过抽象解释转换抽象解释。基于语言的安全性面临的新挑战。 Zbl 1149.68351号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 4 2008 你所失去的是你所泄漏的:解密策略中的信息泄漏。 Zbl 1316.68040号 安妮迪亚·班纳吉;罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 2 2007 抽象无干扰PER模型。 Zbl 1141.68370号 亨特,塞巴斯蒂安;伊莎贝拉·马斯特罗埃尼 三 2005 通过抽象解释连接解密和攻击模型。 Zbl 1108.68457号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 2 2005 关于抽象不干涉基于语言的安全。 Zbl 1159.68376号 伊莎贝拉·马斯特罗埃尼 1 2005 定时抽象无干扰。 Zbl 1175.68252号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2005 抽象不干涉:通过抽象解释将不干涉参数化。 Zbl 1325.68043号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 18 2004 证明抽象的不干涉。 Zbl 1095.68023号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2004 程序切片的非标准语义。 Zbl 1074.68034号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 8 2003 用于完全抽象的域压缩。 Zbl 1022.68074号 罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 1 2003 所有引用出版物 前5名被引用出版物 全部的 前5名81位作者引用 12 伊莎贝拉·马斯特罗埃尼 8 罗伯托·贾科巴齐 5 米拉·达拉·普雷达 4 阿戈斯蒂诺·科尔特斯 4 米歇尔·帕斯夸 三 文森佐·阿塞里 三 塞巴斯蒂安·达尼西奇 三 马克·哈曼 2 安妮迪亚·班纳吉 2 戴夫·宾克利 2 萨缪尔·布鲁 2 罗伊·克罗。 2 皮埃特罗·费拉拉 2 亲吻,阿尔科斯 2 鲍里斯·科普夫 2 马里诺米库兰 2 马蒂娜·奥利亚罗 2 拉肯乌尔巴亚 1 卡明·阿巴特 1 奥曼,波霍拉·约翰内斯 1 理查德·W·巴拉克劳(Richard W.Barraclough)。 1 吉尔·巴特 1 David A.Basin。 1 阿尔伯特·本文尼斯特 1 伦纳特·贝林格 1 尼古拉斯·伯蒂尔 1 塞巴斯蒂安·比沃 1 法布里西奥·比昂迪 1 罗伯托·布兰科 1 阿齐姆·查德哈里 1 玛丽亚·克洛尼 1 瑟·特凡·乔巴赫 1 佩德罗·鲁宾·达吉尼奥 1 尼科莱塔·德·弗朗西斯科 1 维杰·迪尔瓦 1 阿德里安·杜里埃 1 伯恩德·芬克贝纳 1 达纳·菲斯曼 1 哈达尔·弗兰克尔 1 迪帕克·加格 1 蒂博尔·吉莫西 1 霍尔格赫尔曼斯 1 罗伯特·马克·海伦斯 1 约翰·霍罗伊德。 1 Hriţcu,科特林 1 Incer,伊尼戈 1 Khakpour、Narges 1 安迪·金 1 波格丹·科尔 1 尼古拉·科马托夫 1 劳伦斯,迈克 1 帕斯卡尔·勒加尔 1 莱切内特,Jean-Christophe 1 Legay、Axel 1 尼科洛·马拉斯托尼 1 卢卡·马提尼 1 玛格努斯·奥·米林。 1 卢卡·内格里尼 1 哈梅尔·内斯特拉 1 尼尔森,Bo Fries 1 斯塔夫罗斯·尼古洛普洛斯。 1 利奥尼达斯·帕利奥斯 1 马可·帕特里格纳尼 1 弗朗西斯科·兰扎托 1 塔马拉·雷兹克 1 对手,泽维尔 1 亨利克·罗斯特德 1 安德烈·里巴尔琴科 1 Alberto L.Sangiovanni-Vincentelli。 1 桑吉特·阿伦库马尔·塞希亚 1 兰吉特·辛格。 1 福斯托·斯波托 1 埃里克·坦特 1 杰雷米·蒂鲍特 1 伊格纳西奥·蒂拉博斯基 1 城市,卡特里娜 1 瓦妮莎·维达利 1 安德烈·索夫斯基 1 达米亚诺·扎纳尔迪尼 1 马蒂奥·扎尼奥利 1 桑德拉·齐勒斯 全部的 前5名10连载 5 理论计算机科学 三 信息与计算 三 计算的形式方面 三 MSCS公司。计算机科学中的数学结构 三 逻辑与代数程序设计杂志 1 离散应用数学 1 自动推理杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 43 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文