编辑配置文件(在新选项卡中打开) 马克·艾吉耶 合著者距离 作者ID: aiguier.marc(aiguier-marc) 发布日期: 马克·艾吉尔;M.Aiguier。 已编制索引的文档: 28出版物自1994年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 34位合著者具有28联合出版物 493合著作者 全部的 前5名合著者 1 单作者的 7 伊莎贝尔·布洛赫 7 帕斯卡尔·勒加尔 5 Delphine Longuet 三 比拉尔·坎索 三 拉蒙皮诺·佩雷斯 2 阿格内斯·阿诺德 2 贾马尔·阿蒂夫 2 黛安·巴赫拉米 2 弗莱德里克·博朗格 2 Jean-Paul彗星 2 姆巴卡·马布罗基 1 弗雷德里克·阿贝格尔 1 阿德勒、罗克珊 1 弗兰克·巴比尔 1 吉尔斯·伯诺 1 斯特凡·贝罗夫 1 博因,克莱门特 1 达米安·查莱特 1 保罗·亨里·库内德 1 Frank Delaplace公司 1 拉兹万·迪亚科内斯库 1 凯瑟琳·杜布瓦 1 吉尔·法昂 1 克里斯托弗·加斯顿 1 戈登,鲍里斯 1 亚历山大·戈伊 1 塞琳·哈德洛特 1 丹尼尔·克罗布 1 波琳·拉菲特 1 布鲁诺·马尔 1 萨利姆·尼布切 1 理查德·阿德里安 1 皮埃尔·伊夫·肖本斯 1 阿西亚·图伊尔 全部的 前5名系列 2 自动推理杂志 2 国际近似推理杂志 2 泛逻辑 1 人工智能 1 信息处理信件 1 应用数学与计算 1 Studia Logica公司 1 理论计算机科学 1 计算机程序设计科学 1 并行与分布式计算杂志 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 计算机科学中的数学 1 计算机科学科学年鉴 1 欧洲应用和工业数学系列(ESAIM):论文集和调查 全部的 前5名领域 22 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用60中的次31文件 引用人▼ 年份▼ Beth可定义性定理的机构相关证明。 Zbl 1134.03043号 M.Aiguier。;F.巴比尔。 12 2007 分层机构和基本同态。 Zbl 1189.03038号 马克·艾吉尔;迪亚科内斯库,勒兹万 8 2007 信念修正、最小改变和放松:基于满意度系统的一般框架,以及描述逻辑的应用。 Zbl 1443.68169号 马克·艾吉尔;贾马尔·阿蒂夫;伊莎贝尔·布洛赫;塞琳·哈德洛特 8 2018 基于满足系统的任意逻辑中的解释关系,切割和收缩。 Zbl 1448.68394号 马克·艾吉尔;贾马尔·阿蒂夫;伊莎贝尔·布洛赫;拉蒙皮诺·佩雷斯 5 2018 无量词一阶规范的测试选择标准。 Zbl 1141.68447号 马克·艾吉尔;阿格内斯·阿诺德;帕斯卡尔·勒加尔;Delphine Longuet 4 2007 基于分层机构中数学形态学的逻辑对偶概念:在空间推理中的应用。 Zbl 1444.03183号 马克·艾吉尔;伊莎贝尔·布洛赫 4 2019 从代数规范测试:通过展开公理测试数据集选择。 Zbl 1183.68175号 马克·艾吉尔;阿努尔,阿格尼斯;博因,克莱门特;帕斯卡尔·勒加尔;布鲁诺·玛丽 三 2006 关于一个推广的逻辑性定理。 兹比尔1072.68536 马克·艾吉尔;黛安·巴赫拉米;凯瑟琳·杜布瓦 2 2002 复杂系统建模。二: 异构集成系统的最低限度和统一语义。 Zbl 1244.93019号 戈登,鲍里斯;马克·艾吉尔;丹尼尔·克罗布 2 2012 标签代数和异常处理。 Zbl 0830.68089号 吉尔斯·伯诺;勒加尔,帕斯卡尔;马克·艾吉尔 2 1994 用于抽象重写的结构。 Zbl 1125.03011号 马克·艾吉尔;黛安·巴赫拉米 2 2007 生物监管网络嵌入期间的财产保护。 Zbl 1171.92302号 姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;帕斯卡尔·勒加尔 2 2008 从构建元素到构建邻里系统。 Zbl 1445.68254号 亚历山大·戈伊;马克·艾吉尔;伊莎贝尔·布洛赫 1 2019 嵌入生物监管网络和财产保护。 1270.92024兹罗提 姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;帕斯卡尔·勒加尔;理查德·阿德里安 1 2011 通过演绎模块从结构化一阶规范进行集成测试。 Zbl 1250.68195号 德尔芬·朗盖;马克·艾吉尔 1 2009 测试抽象组件。 Zbl 1286.68082号 比拉尔·坎索;马克·艾吉耶;弗莱德里克·博朗格;阿西亚·图伊尔 1 2010 从一阶规范中平等地进行验证引导测试选择。 Zbl 1214.68221号 Delphine Longuet;马克·艾吉尔;帕斯卡尔·勒加尔 1 2010 CoCasl模态规范的基于规范的测试。 Zbl 1214.68231号 Delphine Longuet;马克·艾吉耶 1 2007 基于分层机构中数学形态学的逻辑对偶概念:在空间推理中的应用。 Zbl 1444.03183号 马克·艾吉尔;伊莎贝尔·布洛赫 4 2019 从构建元素到构建邻里系统。 Zbl 1445.68254号 亚历山大·戈伊;马克·艾吉尔;伊莎贝尔·布洛赫 1 2019 信念修正、最小改变和放松:基于满意度系统的一般框架,以及描述逻辑的应用。 Zbl 1443.68169号 马克·艾吉尔;贾马尔·阿蒂夫;伊莎贝尔·布洛赫;塞琳·哈德洛特 8 2018 基于满足系统的任意逻辑中的解释关系,切割和收缩。 Zbl 1448.68394号 马克·艾吉尔;贾马尔·阿蒂夫;伊莎贝尔·布洛赫;拉蒙皮诺·佩雷斯 5 2018 复杂系统建模。二: 异构集成系统的最低限度和统一语义。 Zbl 1244.93019号 戈登,鲍里斯;马克·艾吉尔;丹尼尔·克罗布 2 2012 嵌入生物监管网络和财产保护。 1270.92024兹罗提 姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;勒加尔,帕斯卡尔;理查德·阿德里安 1 2011 测试抽象组件。 Zbl 1286.68082号 比拉尔·坎索;马克·艾吉尔;弗莱德里克·博朗格;阿西亚·图伊尔 1 2010 从一阶规范中平等地进行验证引导测试选择。 Zbl 1214.68221号 Delphine Longuet;马克·艾吉尔;勒加尔,帕斯卡尔 1 2010 通过演绎模块从结构化一阶规范进行集成测试。 Zbl 1250.68195号 Delphine Longuet;马克·艾吉尔 1 2009 生物监管网络嵌入期间的财产保护。 Zbl 1171.92302号 姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;帕斯卡尔·勒加尔 2 2008 Beth可定义性定理的机构相关证明。 Zbl 1134.03043号 M.Aiguier。;F.巴比尔。 12 2007 分层机构和基本同态。 Zbl 1189.03038号 马克·艾吉尔;拉兹万·迪亚科内斯库 8 2007 无量词一阶规范的测试选择标准。 Zbl 1141.68447号 马克·艾吉尔;阿格内斯·阿诺德;勒加尔,帕斯卡尔;Delphine Longuet 4 2007 用于抽象重写的结构。 Zbl 1125.03011号 马克·艾吉尔;戴安·巴赫拉米 2 2007 CoCasl模态规范的基于规范的测试。 Zbl 1214.68231号 Delphine Longuet;马克·艾吉尔 1 2007 从代数规范测试:通过展开公理测试数据集选择。 Zbl 1183.68175号 马克·艾吉尔;阿格内斯·阿诺德;博因,克莱门特;帕斯卡尔·勒加尔;布鲁诺·马尔 三 2006 关于一个推广的逻辑性定理。 Zbl 1072.68536号 马克·艾吉尔;黛安·巴赫拉米;凯瑟琳·杜布瓦 2 2002 标签代数和异常处理。 Zbl 0830.68089号 吉尔斯·伯诺;帕斯卡尔·勒加尔;马克·艾吉尔 2 1994 所有引用出版物 前5名被引用出版物 全部的 前5名43位作者引用 10 马克·艾吉尔 9 拉兹万·迪亚科内斯库 6 伊莎贝尔·布洛赫 4 拉蒙皮诺·佩雷斯 三 帕斯卡尔·勒加尔 三 Ţuţu,伊奥努 2 丹尼尔·加恩 2 Delphine Longuet 1 阿格内斯·阿诺德 1 贾马尔·阿蒂夫 1 黛安·巴赫拉米 1 萨米·布卢梭 1 亚历山大·博克迈尔 1 博因,克莱门特 1 弗莱德里克·博朗格 1 陈彦斌 1 Jean-Paul彗星 1 丛新荣 1 贝诺·德拉哈耶 1 JoséLuiz Fiadeiro 1 玛丽·克劳德·高德尔 1 比拉尔·坎索 1 杰罗姆·朗 1 Legay、Axel 1 安托尼亚州洛佩斯 1 洛伦兹,特蕾斯 1 陆金飞 1 姆巴卡·马布罗基 1 马德拉,亚历山大 1 格兰特·马尔科姆 1 布鲁诺·玛丽 1 萨利姆·尼布切 1 丹尼尔·波克利夫琴斯基 1 埃罗迪·普巴劳 1 弗洛里安·拉贝 1 理查德·阿德里安 1 海克·西伯特 1 Smets,Sonja J.L。 1 孙翠萍 1 纪尧姆·托科 1 卡洛斯·恩里克 1 费尔南多·雷蒙多(Fernando Raymundo) 1 郑晓静 全部的 前5名15篇连载文章中引用 6 理论计算机科学 三 国际近似推理杂志 三 MSCS公司。计算机科学中的数学结构 2 自动推理杂志 2 应用的分类结构 2 应用非经典逻辑杂志 2 泛逻辑 1 物理A 1 数学生物学通报 1 模糊集与系统 1 逻辑研究 1 计算的形式方面 1 逻辑、语言与信息杂志 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 21 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 动力系统和遍历理论(37至XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文