编辑配置文件（在新选项卡中打开） 米拉·达拉·普雷达 合著者距离 作者ID： 达拉-普雷达米拉 发布日期： 米拉·达拉·普雷达；米拉·达拉·普雷达 已编制索引的文档： 17出版物自2004年起 合著者： 19位合著者具有16联合出版物 226合著作者 全部的 前5名合著者 1 单作者的 10 罗伯托·贾科巴齐 4 伊莎贝拉·马斯特罗埃尼 三 索米亚·德布雷。 2 米歇尔·帕斯夸 1 米海克里斯托多雷斯库 1 凯文·库根 1 德博舍尔，科恩 1 辛齐亚·迪·朱斯托 1 毛里齐奥·加布里埃利 1 萨维里奥·贾勒伦佐 1 Jha，萨默什 1 阿伦·拉科蒂亚 1 伊万·拉内斯 1 马杜，马蒂亚斯 1 尼科洛·马拉斯托尼 1 雅各布·毛罗 1 格雷格·汤森。 1 瓦妮莎·维达利 1 恩里科·维森蒂尼 系列 1 理论计算机科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 计算机科学中的逻辑方法 领域 17 计算机科学（68至XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用38中的次32文件 引用人▼ 年份▼ 动态编舞：理论与实施。 Zbl 1398.68088号 米拉·达拉·普雷达；毛里齐奥·加布里埃利；萨维里奥·贾勒伦佐；伊万·拉内斯；雅各布·毛罗 12 2017 通过抽象解释实现基于语义的代码混淆。 Zbl 1081.68576号 米拉·达拉·普雷达；罗伯托·贾科巴齐 5 2005 抽象符号自动机：可执行文件的混合语法/语义相似性分析。 兹比尔1345.68100 米拉·达拉·普雷达；罗伯托·贾科巴齐；阿伦·拉科蒂亚；伊莎贝拉·马斯特罗埃尼 4 2015 基于语义的恶意软件检测方法。 Zbl 1295.68157号 米拉·达拉·普雷达；米海克里斯托多雷斯库；Jha，萨默什；索米亚·德布雷 4 2007 通过抽象解释检测不透明谓词。 Zbl 1236.68046号 米拉·达拉·普雷达；马杜，马蒂亚斯；德博舍尔，科恩；罗伯托·贾科巴齐 三 2006 最大不完全性作为混淆效力。 Zbl 1355.68053号 罗伯托·贾科巴齐；伊莎贝拉·马斯特罗埃尼；米拉·达拉·普雷达 三 2017 通过抽象解释模拟变质作用。 Zbl 1306.68023号 米拉·达拉·普雷达；罗伯托·贾科巴齐；索米亚·德布雷；凯文·库根；格雷格·汤森。 2 2010 在循环结构中隐藏软件水印。 Zbl 1149.68349号 米拉·达拉·普雷达；罗伯托·贾科巴齐；恩里科·维森蒂尼 2 2008 通过对代码属性的抽象解释揭示变形。 Zbl 1309.68044号 米拉·达拉·普雷达；罗伯托·贾科巴齐；索米亚·德布雷 1 2015 软件水印：一种基于语义的方法。 Zbl 1412.68036号 米拉·达拉·普雷达；米歇尔·帕斯夸 1 2017 近似转导的完整性。 Zbl 1394.68208号 米拉·达拉·普雷达；罗伯托·贾科巴齐；伊莎贝拉·马斯特罗埃尼 1 2016 动态编舞：理论与实施。 Zbl 1398.68088号 米拉·达拉·普雷达；毛里齐奥·加布里埃利；萨维里奥·贾勒伦佐；伊万·拉内斯；雅各布·毛罗 12 2017 最大不完全性作为混淆效力。 Zbl 1355.68053号 罗伯托·贾科巴齐；伊莎贝拉·马斯特罗埃尼；米拉·达拉·普雷达 三 2017 软件水印：一种基于语义的方法。 Zbl 1412.68036号 米拉·达拉·普雷达；米歇尔·帕斯夸 1 2017 近似转导的完整性。 Zbl 1394.68208号 米拉·达拉·普雷达；罗伯托·贾科巴齐；伊莎贝拉·马斯特罗埃尼 1 2016 抽象符号自动机：可执行文件的混合语法/语义相似性分析。 兹比尔1345.68100 米拉·达拉·普雷达；罗伯托·贾科巴齐；阿伦·拉科蒂亚；伊莎贝拉·马斯特罗埃尼 4 2015 通过对代码属性的抽象解释揭示变形。 Zbl 1309.68044号 米拉·达拉·普雷达；罗伯托·贾科巴齐；索米亚·德布雷 1 2015 通过抽象解释模拟变质作用。 Zbl 1306.68023号 米拉·达拉·普雷达；罗伯托·贾科巴齐；索米亚·德布雷；凯文·库根；格雷格·汤森。 2 2010 在循环结构中隐藏软件水印。 Zbl 1149.68349号 米拉·达拉·普雷达；罗伯托·贾科巴齐；恩里科·维森蒂尼 2 2008 基于语义的恶意软件检测方法。 Zbl 1295.68157号 米拉·达拉·普雷达；米海克里斯托多雷斯库；Jha，萨默什；索米亚·德布雷 4 2007 通过抽象解释检测不透明谓词。 Zbl 1236.68046号 米拉·达拉·普雷达；马杜，马蒂亚斯；德博舍尔，科恩；罗伯托·贾科巴齐 三 2006 通过抽象解释实现基于语义的代码混淆。 Zbl 1081.68576号 米拉·达拉·普雷达；罗伯托·贾科巴齐 5 2005 所有引用出版物 前5名被引用出版物 全部的 前5名63位作者引用 5 路易斯·克鲁兹·菲利佩 5 米拉·达拉·普雷达 5 罗伯托·贾科巴齐 5 伊莎贝拉·马斯特罗埃尼 5 法布里齐奥·蒙特西 三 伊万·拉内斯 三 马可·佩雷索蒂 2 文森佐·阿塞里 2 大卫·布雷索林 2 阿戈斯蒂诺·科尔特斯 2 埃米利奥·托斯托 1 保罗·C·阿蒂。 1 佛朗哥·巴巴内拉 1 戴维森·R·博卡多。 1 劳拉·博奇 1 克劳斯·布拉布兰德 1 玛丽亚·克洛尼 1 洛科·德尼古拉 1 索米亚·德布雷。 1 马里亚纽拉州Dezani-Ciancaglini 1 阿列克桑达尔·迪莫夫斯基。 1 维杰·迪尔瓦 1 安托万·埃尔·霍卡耶姆 1 伊利耶斯·法尔科内 1 皮埃特罗·费拉拉 1 达纳·菲斯曼 1 哈达尔·弗兰克尔 1 伊娃·格拉弗森 1 哈拉尔（Rayan Hallal） 1 黄家辉 1 黄、腾 1 穆罕默德·贾伯。 1 钟曼，宋世堂。 1 阿巴斯·哈利勒 1 国王，安迪 1 尼古拉·库祖林 1 阿伦·拉科蒂亚 1 金·斯卡·拉森 1 卢戈维奇（Lovro Lugović） 1 马纳切罗，Aleardo jun。 1 尼科洛·马拉斯托尼 1 马特尔，马蒂厄 1 埃尔南·梅尔格拉蒂 1 克劳迪奥·安塔雷斯·梅齐纳 1 卢卡·内格里尼 1 斯塔夫罗斯·尼古洛普洛斯。 1 马蒂娜·奥利亚罗 1 利奥尼达斯·帕利奥斯 1 彭，燕 1 米歇尔·帕斯夸 1 Rimma Ivanovna Podlovchenko 1 谢尔比纳，V.S。 1 安舒曼·辛格 1 兰吉特·辛格。 1 宋，傅 1 城市，卡特里娜 1 佩特拉·范登博斯 1 瓦妮莎·维达利 1 雨果·托雷斯·维埃拉 1 安德烈·索夫斯基 1 严红阳 1 扎哈罗夫，弗拉基米尔·安纳托利耶维奇 1 桑德拉·齐尔斯 全部的 前5名12篇连载文章中引用 三 信息与计算 2 理论计算机科学 2 自动推理杂志 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 离散应用数学 1 信息科学 1 系统设计中的形式化方法 1 数学科学杂志（纽约） 1 高阶和符号计算 在4个字段中引用 32 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文