编辑配置文件（在新选项卡中打开） 米歇尔·帕斯夸 合著者距离 作者ID： 帕斯夸·米切尔 发布方式： 米歇尔·帕斯夸 已编制索引的文档： 8出版物自2017年起 合著者： 3位合著者具有8联合出版物 54位合作作者 合著者 0 单作者的 4 马里诺米库兰 2 米拉·达拉·普雷达 2 伊莎贝拉·马斯特罗埃尼 系列 2 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 领域 8 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用11中的次7文件 引用人▼ 年份▼ 验证有界子集闭超属性。 Zbl 1511.68163号 伊莎贝拉·马斯特罗埃尼；米歇尔·帕斯夸 三 2018 基于属性的内存更新演算。 Zbl 07500654号 马里诺米库兰；米歇尔·帕斯夸 三 2021 语义超层次结构–超属性验证的正式框架。 Zbl 1420.68113号 伊莎贝拉·马斯特罗埃尼；米歇尔·帕斯夸 2 2017 AbU：一种基于属性交互的分布式事件驱动编程演算。 Zbl 07681293号 米歇尔·帕斯夸；马里诺米库兰 1 2023 关于AbU系统的安全性。 Zbl 1522.68370号 米歇尔·帕斯夸；马里诺米库兰 1 2021 软件水印：一种基于语义的方法。 Zbl 1412.68036号 米拉·达拉·普雷达；米歇尔·帕斯夸 1 2017 AbU：一种基于属性交互的分布式事件驱动编程演算。 Zbl 07681293号 米歇尔·帕斯夸；马里诺米库兰 1 2023 基于属性的内存更新的演算。 Zbl 07500654号 马里诺米库兰；米歇尔·帕斯夸 三 2021 关于AbU系统的安全性。 Zbl 1522.68370号 米歇尔·帕斯夸；马里诺米库兰 1 2021 验证有界子集闭超属性。 Zbl 1511.68163号 伊莎贝拉·马斯特罗埃尼；米歇尔·帕斯夸 三 2018 语义超层次结构–超属性验证的正式框架。 Zbl 1420.68113号 伊莎贝拉·马斯特罗埃尼；米歇尔·帕斯夸 2 2017 软件水印：一种基于语义的方法。 Zbl 1412.68036号 米拉·达拉·普雷达；米歇尔·帕斯夸 1 2017 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 4 米歇尔·帕斯夸 三 马里诺米库兰 1 卡明·阿巴特 1 阿尔伯特·本文尼斯特 1 罗伯托·布兰科 1 萨缪尔·布鲁 1 瑟·特凡·乔巴赫 1 罗伊·克罗。 1 米拉·达拉·普雷达 1 阿德里安·杜里埃 1 迪帕克·加格 1 Hriţcu，科特林 1 Incer，伊尼戈 1 伊莎贝拉·马斯特罗埃尼 1 马可·帕特里格纳尼 1 Alberto L.Sangiovanni-Vincentelli。 1 桑吉特·阿伦库马尔·塞希亚 1 埃里克·坦特 1 杰雷米·蒂鲍特 2篇连载文章中引用 2 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文