Yves Métiver公司
人员信息
附属: 法国波尔多LaBRI
优化列表
2020年–今天
2022 [i8] 布鲁诺·库塞尔 , Yves Métiver公司 以下为:
加权图的展开和覆盖。 CoRR公司 abs/2212.072005 ( 2022 ) 2021 [i7] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 以下为:
重新审视覆盖在匿名网络中的作用:生成树构造和拓扑识别。 CoRR公司 腹肌/2101.01409 ( 2021 )
2010 – 2019
2019 [公元37年] 阿诺德·卡斯提格茨 , Yves Métiver公司 , J.M.罗布森 , Akka Zemmari公司 以下为:
确定性领导人选举需要进行θ(D+log n)位舍入。 算法 81 ( 5 ) 以下为: 1901-1920 ( 2019 ) [公元36年] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
蜂鸣算法中的设计模式:示例、仿真和分析。 Inf.计算。 264 以下为: 32-51 ( 2019 ) [j35] 阿诺德·卡斯提格茨 , Yves Métiver公司 , J.M.罗布森 , Akka Zemmari公司 以下为:
在单跳蜂鸣网络中计数。 西奥。 计算。 科学。 780 以下为: 20-28 ( 2019 ) 2016 [公元34年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
一种分布式枚举算法及其在所有对最短路径、直径。。。 Inf.计算。 247 以下为: 141-151 ( 2016 ) [公元33年] Yves Métiver公司 , J.M.罗布森 , Akka Zemmari公司 以下为:
O(√(logn))位循环中具有定向边的环的随机分布式MIS和着色算法。 Inf.计算。 251 以下为: 208-214 ( 2016 ) [公元43年] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
蜂鸣算法中的设计模式。 奥波迪斯 2016 以下为: 15:1-15:16 [公元42年] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
消息大小为O(1)的确定性领导人选举(以O(D+\log n)时间表示)。 磁盘 2016 以下为: 16-28 [i6] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
消息大小为O(1)的确定性领导人选举,以O(D+log n)时间表示。 CoRR公司 腹肌/1605.01903 ( 2016 ) [i5] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
在一站式蜂鸣网络中计数。 CoRR公司 abs/1605.09516 ( 2016 ) [i4] 阿诺德·卡斯提格茨 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
蜂鸣算法中的设计模式。 CoRR公司 abs/1607.02951 ( 2016 ) 2015 [公元32年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
分析全分布式拆分和命名概率过程和应用程序。 西奥。 计算。 科学。 584 以下为: 115-130 ( 2015 ) [i3] Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
关于使用Beeps的分布式计算。 CoRR公司 abs/1507.02721 ( 2015 ) [i2] Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
分布式枚举算法及其在所有对最短路径、直径中的应用。 CoRR公司 abs/1507.03376 ( 2015 ) 2014 [公元41年] Allyx Fontaine公司 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
关于一些概率分布图算法的时间和比特复杂度的下界——(扩展摘要)。 SOFSEM公司 2014 以下为: 235-245 2013 [公元31年] Allyx Fontaine公司 , Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
匿名环的最优比特复杂度随机化分布式MIS和最大匹配算法。 Inf.计算。 233 以下为: 32-40 ( 2013 ) [j30] Yves Métiver公司 , J.M.罗布森 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
分布式随机匿名环形着色的时间和比特复杂度。 西奥。 计算。 科学。 502 以下为: 64-75 ( 2013 ) [公元40年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , Akka Zemmari公司 以下为:
全分布式拆分和命名概率过程及应用分析——(扩展摘要)。 SIROCCO公司 2013 以下为: 153-164 2012 [j29] 杰瑞米·查洛平 , 伊曼纽尔·戈达尔 , Yves Métiver公司 以下为:
消息传递系统中具有任意知识的部分匿名网络中的选举。 分布式计算。 25 ( 4 ) 以下为: 297-311年 ( 2012 ) [公元28年] 杰雷米·查洛平 , Yves Métiver公司 , 托马斯·莫塞利诺 以下为:
部分匿名和多跳广播网络中的枚举和领导人选举。 芬丹。 信息学 120 ( 1 ) 以下为: 1-27 ( 2012 ) [公元39年] 杰雷米·查洛平 , Yves Métiver公司 , 托马斯·莫塞利诺 以下为:
匿名完全分布式系统中的快照和稳定属性检测(扩展抽象)。 SIROCCO公司 2012 以下为: 207-218 2011 [公元27年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
一种最优比特复杂度随机分布式MIS算法。 分布式计算。 23 ( 5-6个 ) 以下为: 331-340 ( 2011 ) 2010 [公元26年] 杰雷米·查洛平 , Yves Métiver公司 以下为:
两个相邻进程之间的同步能力。 分布式计算。 23 ( 三 ) 以下为: 177-196 ( 2010 ) [公元25年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
关于随机分布图着色和图分割算法。 Inf.计算。 208 ( 11 ) 以下为: 1296-1304 ( 2010 ) [i1] 伊曼纽尔·戈达尔 , Yves Métiver公司 , Gerard电话 以下为:
本地计算的终止检测。 CoRR公司 abs/1001.2785 ( 2010 )
2000 – 2009
2009 [公元38年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
简讯:一种最佳比特复杂度随机分布式顶点着色算法的分析。 奥波迪斯 2009 以下为: 359-364 [公元37年] Yves Métiver公司 , 约翰·迈克尔·罗布森 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
一种最优比特复杂度随机化分布式MIS算法(扩展抽象)。 SIROCCO公司 2009 以下为: 323-337 2008 [公元36年] Med Amine Haddar医生 , 艾哈迈德·哈吉·卡塞姆 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 穆罕默德·贾迈埃尔 以下为:
使用移动代理选举本地计算模型中的领导者。 AICCSA公司 2008 以下为: 473-480 [公元35年] 杰雷米·查洛平 , 安东尼·马祖基维奇(Antoni W.Mazurkiewicz) , Yves Métiver公司 以下为:
标记(超)图,协商和命名问题。 国际燃气轮机 2008 以下为: 54-68 [公元34年] Med Amine Haddar医生 , 艾哈迈德·哈吉·卡塞姆 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 穆罕默德·贾迈埃尔 以下为:
证明移动代理的分布式算法:匿名网络中的生成树计算示例。 ICDCN公司 2008 以下为: 286-291 [公元33年] 杰雷米·查洛平 , 伊曼纽尔·戈达尔 , Yves Métiver公司 以下为:
匿名网络中的本地终端和分布式可计算性。 磁盘 2008 以下为: 47-62 2007 [公元24年] 杰雷米·查洛平 , Yves Métiver公司 以下为:
基于Mazurkiewicz算法的高效消息传递选举算法。 芬丹。 信息学 80 ( 1-3 ) 以下为: 221-246 ( 2007 ) [公元32年] Med Amine Haddar医生 , 艾哈迈德·哈吉·卡塞姆 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 穆罕默德·贾迈埃尔 以下为:
移动代理的分布式计算模型。 初步的 2007 以下为: 416-421 [公元31年] 杰雷米·查洛平 , 伊曼纽尔·戈达尔 , Yves Métiver公司 , Gerard电话 以下为:
关于异步消息传递模型中的终止检测。 扫描电镜(1) 2007 以下为: 200-211 2006 [公元23年] 杰雷米·查洛平 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
图中的局部计算:细胞边缘局部计算的例子。 芬丹。 信息学 74 ( 1 ) 以下为: 85-114 ( 2006 ) [公元30年] Yves Métiver公司 , 穆罕默德·莫斯巴 以下为:
图形计算模型研讨会。 国际燃气轮机 2006 以下为: 463-464 [公元29年] 杰雷米·查洛平 , 伊曼纽尔·戈达尔 , Yves Métiver公司 , 罗德里格奥萨米 以下为:
移动代理算法与消息传递算法。 奥波迪斯 2006 以下为: 187-201 2005 [公元22年] 杰瑞米·查洛平 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
图中的局部计算:细胞边缘局部计算的例子。 牛市。 EATCS公司 85 以下为: 105-109 ( 2005 ) [公元21年] Yves Métiver公司 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
当地指导的树木随机选举:完全公平的案例。 Inf.计算。 198 ( 1 ) 以下为: 40-55 ( 2005 ) [公元28年] 杰雷米·查洛平 , Yves Métiver公司 以下为:
图中异步消息传递模型和本地计算之间的桥梁。 MFCS公司 2005 以下为: 212-223 2004 [公元20年] 伊曼纽尔·戈达尔 , Yves Métiver公司 , 安卡·穆斯科尔 以下为:
可由局部计算识别的图类的特征。 理论计算。 系统。 37 ( 2 ) 以下为: 249-293 ( 2004 ) [公元27年] 杰雷米·查洛平 , Yves Métiver公司 以下为:
边上的选择和局部计算。 FoSSaCS公司 2004 以下为: 90至104 [公元26年] 杰雷米·查洛平 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
选举、命名和蜂窝边缘本地计算。 国际燃气轮机 2004 以下为: 242-256 [公元25年] Yves Métiver公司 , 穆罕默德·莫斯巴 , 罗德里格·奥萨米 , 阿菲夫·塞拉米 以下为:
本地计算同步器。 国际燃气轮机 2004 以下为: 271-286 2003 [公元19年] Yves Métiver公司 , 纳赛尔·萨赫布 , Akka Zemmari公司 以下为:
随机交会算法分析。 Inf.计算。 184 ( 1 ) 以下为: 109-128 ( 2003 ) [公元18年] 埃马纽埃尔·戈达尔 , Yves Métiver公司 以下为:
分布式算法中的可推导和等效结构知识。 理论计算。 系统。 36 ( 6 ) 以下为: 631-654 ( 2003 ) [公元24年] Yves Métiver公司 , 纳赛尔·萨赫布·贾罗米 , Akka Zemmari公司 以下为:
树上的统一随机选举。 SIROCCO公司 2003 以下为: 259-274 2002 [公元17年] Yves Métiver公司 , 纳赛尔·萨赫布 , Akka Zemmari公司 以下为:
随机举行的地方选举。 信息处理。 莱特。 82 ( 6 ) 以下为: 313-320 ( 2002 ) 【c23】 伊曼纽尔·戈达尔 , Yves Métiver公司 以下为:
选举可能的图族的特征。 FoSSaCS公司 2002 以下为: 159-172 [公元22年] 伊曼纽尔·戈达尔 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 阿菲夫·塞拉米 以下为:
图中继系统对分布式算法的终止检测。 ICGT公司 2002 以下为: 106-119 【c21】 伊曼纽尔·戈达尔 , Yves Métiver公司 以下为:
分布式算法中结构知识的等价性。 SIROCCO公司 2002 以下为: 149-164 2001 [公元20年] Yves Métiver公司 , 穆罕默德·莫斯巴 , 皮埃尔·阿安德雷·瓦克雷尼尔 , 斯特凡·格鲁纳 以下为:
计算匿名Tprime图生成树的分布式算法。 奥波迪斯 2001 以下为: 141-158 [第19条] 伊曼纽尔·戈达尔 , Yves Métiver公司 以下为:
具有初始知识的局部计算可识别图类的特征。 SIROCCO公司 2001 以下为: 179-194 [第18条] 米歇尔·鲍德龙 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 阿非夫·塞拉米 以下为:
图重标系统:用于编码、证明、研究和可视化的工具-分布式算法。 GETGRATS闭幕研讨会 2001 以下为: 93-107 [第17条] 米歇尔·鲍德龙 , 斯特凡·格鲁纳 , Yves Métiver公司 , 穆罕默德·莫斯巴 , 阿菲夫·塞拉米 以下为:
基于图重标记系统的分布式算法可视化。 ICALP的GT-VMT 2001 以下为: 227-237 2000 [第16条] Yves Métiver公司 , Gerard电话 以下为:
终止检测和通用图形重建。 SIROCCO公司 2000 以下为: 237-251
1990 – 1999
1998 [公元16年] 安妮·博特鲁 , Yves Métiver公司 以下为:
关于图的Kronecker积的一些注记。 信息处理。 莱特。 68 ( 2 ) 以下为: 55-61 ( 1998 ) [第15条] 安妮·博特雷奥 , Yves Métiver公司 以下为:
次要搜索,图重标记的正常形式:基于图重标记枚举的两个应用程序。 FoSSaCS公司 1998 以下为: 110-124 [第14条] 伊曼纽尔·戈达尔 , Yves Métiver公司 , 安卡·穆斯科尔 以下为:
具有初始知识的图中局部计算的威力。 TAGT公司 1998 以下为: 71-84 1997 [公元15年] Yves Métiver公司 , 埃里克·索佩纳 以下为:
图形重新标记系统:概述。 计算。 Artif公司。 因特尔。 16 ( 2 ) 以下为: 167-185 ( 1997 ) [第13条] Yves Métiver公司 , 安卡麝香草 , 皮埃尔·阿安德雷·瓦克雷尼尔 以下为:
关于图中局部计算终止的局部检测。 SIROCCO公司 1997 以下为: 188-200 [第2页] 沃尔克·迪克特 , Yves Métiver公司 以下为:
部分换向和轨迹。 形式语言手册(3) 1997 以下为: 457-533 1996 [公元14年] Yves Métiver公司 , 纳赛尔·萨赫布 以下为:
波利米诺群岛的中位数和中心。 信息处理。 莱特。 57 ( 4 ) 以下为: 175-181 ( 1996 ) [第12条] 安妮·博特鲁 , Yves Métiver公司 以下为:
图中的Kronecker积和局部计算。 CAAP公司 1996 以下为: 2-16 1995 [j13] 伊戈尔·利托夫斯基 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
用局部计算识别图族。 Inf.计算。 118 ( 1 ) 以下为: 110-119 ( 1995 ) [公元12年] Yves Métiver公司 , 格温娜·里科姆 以下为:
迹幺半群中恒星问题的新结果。 Inf.计算。 119 ( 2 ) 以下为: 240-251 ( 1995 ) [公元11年] 伊戈尔·利托夫斯基 , Yves Métiver公司 , 埃里克·索佩纳 以下为:
图形重新标记系统的不同局部控件。 数学。 系统。 理论 28 ( 1 ) 以下为: 41-65 ( 1995 ) [第11条] Yves Métiver公司 , 格温娜·里科姆 , 皮埃尔·阿安德雷·瓦克雷尼尔 以下为:
计算部分交换下词集的闭包。 ICALP公司 1995 以下为: 75-86 [第10条] 伊戈尔·利托夫斯基 , Yves Métiver公司 , 埃里克·索佩纳 以下为:
通过局部计算检查全局图形属性:多数问题。 赛格拉 1995 以下为: 199-206 1994 [公元10年] 布鲁诺·库塞尔 , Yves Métiver公司 以下为:
覆盖与次覆盖:在图的局部计算中的应用。 Eur.J.库姆。 15 ( 2 ) 以下为: 127-138 ( 1994 ) 【c9】 Yves Métiver公司 , 纳赛尔·萨赫布 以下为:
树中选举算法的概率分析。 CAAP公司 1994 以下为: 234-245 【c8】 Yves Métiver公司 , 格温娜·里科姆 以下为:
自由部分交换幺半群的星运算和有限幂性质(扩展抽象)。 STACS公司 1994 以下为: 341-352 1993 [公元9年] 罗伯特·科里 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
异步映射和异步元胞自动机。 Inf.计算。 106 ( 2 ) 以下为: 159-202 ( 1993 ) [j8] 伊戈尔·利托夫斯基 , Yves Métiver公司 以下为:
使用具有优先级的图形重写系统进行计算。 西奥。 计算。 科学。 115 ( 2 ) 以下为: 191-224 ( 1993 ) 1992 【c7】 伊戈尔·利托夫斯基 , Yves Métiver公司 , 埃里克·索佩纳 以下为:
图上局部计算的定义和比较。 MFCS公司 1992 以下为: 364-373 【c6】 伊戈尔·利托夫斯基 , Yves Métiver公司 , 维斯拉夫·齐埃隆卡 以下为:
图上局部计算的威力和局限性。 工作组 1992 以下为: 333-345 [第1页] 伊戈尔·利托夫斯基 , Yves Métiver公司 以下为:
使用具有优先级的图重写系统计算树。 树自动机与语言 1992 以下为: 115-140 1991 [j7] Yves Métiver公司 , 布里吉特·罗佐伊 以下为:
自由部分交换幺半群中的星运算。 发现的国际期刊。 计算。 科学。 2 ( 三 ) 以下为: 257-265 ( 1991 ) 1990 【c5】 伊戈尔·利托夫斯基 , Yves Métiver公司 以下为:
具有优先级的图重标系统的计算。 图文法及其在计算机科学中的应用 1990 以下为: 549-563
1980 – 1989
1989 【c4】 米歇尔·比拉德 , 皮埃尔·拉丰 , Yves Métiver公司 , 埃里克·索佩纳 以下为:
具有优先级的图形重写系统。 工作组 1989 以下为: 94-106 1988 [j6] Yves Métiver公司 以下为:
自由部分交换幺半群的可识别子集。 西奥。 计算。 科学。 58 以下为: 201-208 ( 1988 ) 【c3】 罗伯特·科里 , Yves Métiver公司 以下为:
分布式系统中TRace、异步自动机和事件排序的近似。 ICALP公司 1988 以下为: 147-161 1987 [j5] Yves Métiver公司 , 爱德华·奥赫曼斯基 以下为:
论词汇半交换。 信息处理。 莱特。 26 ( 2 ) 以下为: 55-59 ( 1987 ) 【c2】 Yves Métiver公司 以下为:
在非循环非交换图的情况下计算异步自动机的算法。 ICALP公司 1987 以下为: 226-236 1986 [j4] Yves Métiver公司 以下为:
不符合条件的调查充分性(Une Condition Suffisante de ReconnaisabilityéDans un Monoíde Partiellement Commutatif)。 RAIRO提奥。 信息学应用。 20 ( 2 ) 以下为: 121-127 ( 1986 ) 【c1】 Yves Métiver公司 以下为:
自由部分交换幺半群的可识别子集。 ICALP公司 1986 以下为: 254-264 1985 [j3] Yves Métiver公司 以下为:
自由之门的朗格标准计算。 西奥。 计算。 科学。 35 以下为: 71-87 ( 1985 ) [注2] 罗伯特·科里 , Yves Métiver公司 以下为:
部分阿贝尔幺半群的可识别子集。 西奥。 计算。 科学。 35 以下为: 179-189 ( 1985 ) 1983 [j1] Yves Métiver公司 以下为:
关于Knuth-Bendix完成算法产生的重写系统。 信息处理。 莱特。 16 ( 1 ) 以下为: 31-34 ( 1983 )