吉纳维耶夫·西蒙特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2010 – 2019
2017 [公元14年] 安妮·贝瑞 , 吉纳维耶夫·西蒙特 :
使用最大标记搜索算法计算团树。 算法 10 ( 1 ) : 20 ( 2017 ) 2016 [i2] 安妮·贝瑞 , 吉纳维耶夫·西蒙特 :
计算图的原子图和超图的并连接图。 CoRR公司 abs/1607.02911 ( 2016 ) [i1] 安妮·贝瑞 , 吉纳维耶夫·西蒙特 :
使用MLS(最大标签搜索)算法计算团树。 CoRR公司 abs/1610.09623 ( 2016 ) 2014 [j13] 安妮·贝瑞 , 罗曼·波戈列克尼克 , 吉纳维耶夫·西蒙特 :
将团分隔符分解的原子组织为原子树。 谨慎。 申请。 数学。 177 : 1-13 ( 2014 ) 2012 [公元12年] 玛丽·劳雷·穆格尼尔 , 吉纳维耶夫·西蒙特 , 米夏埃尔·托马佐 :
论具有原子否定的存在合取一阶逻辑中蕴涵的复杂性。 Inf.计算。 215 : 8-31 ( 2012 ) 2011 [公元11年] 理查德·克鲁格 , 吉纳维耶夫·西蒙特 , 安妮·贝瑞 :
研究经典图搜索算法的通用标签搜索。 谨慎。 申请。 数学。 159 ( 2-3 ) : 128-142 ( 2011 ) 2010 [公元10年] 安妮·贝瑞 , 让·R·S·布莱尔 , 让-保罗·博达特 , 吉纳维耶夫·西蒙特 :
由搜索算法定义的图形极值。 算法 三 ( 2 ) : 100-124 ( 2010 ) [公元9年] 安妮·贝瑞 , 罗曼·波戈列克尼克 , Geneviève西蒙 :
团最小分隔符分解简介。 算法 三 ( 2 ) : 197-215 ( 2010 )
2000 – 2009
2009 [j8] 安妮·贝瑞 , 理查德·克鲁格 , 吉纳维耶夫·西蒙特 :
计算完美和最小消除顺序的最大标签搜索算法。 SIAM J.谨慎。 数学。 23 ( 1 ) : 428-446 ( 2009 ) 2008 [j7] 安妮·贝瑞 , 埃利亚斯·达尔豪斯 , 皮纳尔·赫格内斯 , 吉纳维耶夫·西蒙特 :
消除游戏的顺序和并行三角剖分算法以及对最小度的新见解。 西奥。 计算。 科学。 409 ( 三 ) : 601-616 ( 2008 ) 【c6】 奥利维尔·科吉斯 , 贝诺·达蒂斯 , 西尔万·杜兰德 , 让-克洛德·柯尼希 , 吉纳维耶夫·西蒙特 :
mv-d分解:定义和应用于多跳无线网络中的distance-2广播问题。 IFIP TCS 2008 : 115-126 2006 [j6] 安妮·贝瑞 , 让·R·S·布莱尔 , 吉纳维耶夫·西蒙特 :
前言。 谨慎。 数学。 306 ( 三 ) : 293 ( 2006 ) [j5] 安妮·贝瑞 , 让·保罗·博尔达特 , 皮纳尔·赫格内斯 , 吉纳维耶夫·西蒙特 , Yngve村民 :
从任意顺序进行最小三角剖分的宽范围算法。 J.算法 58 ( 1 ) : 33-66 ( 2006 ) 2005 【j4】 安妮·贝瑞 , 让·R·S·布莱尔 , 让·保罗·博尔达特 , 理查德·克鲁格 , 吉纳维耶夫·西蒙特 :
广义图搜索算法定义的极值和顺序。 电子。 注释谨慎。 数学。 22 : 413-420 ( 2005 ) 【c5】 安妮·贝瑞 , 理查德·克鲁格 , 吉纳维耶夫·西蒙特 :
LexBFS和LEX M的最终推广。 工作组 2005 : 199-213 2003 【c4】 安妮·贝瑞 , 皮纳尔·赫格内斯 , 吉纳维耶夫·西蒙特 :
最小度启发式和最小三角剖分过程。 工作组 2003 : 58-70
1990 – 1999
1998 【c3】 吉纳维耶夫·西蒙特 :
简单概念图和嵌套概念图的两种FOL语义。 ICCS系统 1998 : 240-254 【c2】 米歇尔·切恩 , 玛丽·劳雷·穆格尼尔 , 吉纳维耶夫·西蒙特 :
嵌套图:具有FOL语义的基于图的知识表示模型。 韩国 1998 : 524-535 1996 [j3] 吉纳维耶夫·西蒙特 :
关于Sandewall的论文:带例外的多重继承的非单调推理规则。 Artif公司。 因特尔。 86 ( 2 ) : 359-374 ( 1996 ) [注2] 安妮·普雷勒 , 吉纳维耶夫·西蒙特 :
自由局部笛卡尔闭范畴的函数完备性——对Martin-Löf依赖类型理论的解释。 数学。 结构。 计算。 科学。 6 ( 4 ) : 387-408 ( 1996 ) 1994 [j1] 吉纳维耶夫·西蒙特 , 罗兰·杜库诺 :
论斯坦因的论文:解决非单调继承层次中的歧义。 Artif公司。 因特尔。 71 ( 1 ) : 183-193 ( 1994 ) 1992 [c1] 吉纳维耶夫·西蒙特 :
RS理论:一种带有例外的真正怀疑的继承理论。 韩国 1992 : 615-626
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)