埃尔维·福尼尔
人员信息
附属: 法国巴黎迪德罗巴黎大学
优化列表
2020年–今天
2024 [第17条] 埃尔维·福尼尔 , 努坦·利马耶 , 斯里坎斯·斯里尼瓦桑 , 塞巴斯蒂安·塔维纳斯 :
关于齐次代数公式的幂。 STOC公司 2024 : 第141页至第151页 2023 [第16条] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 , 塞巴斯蒂安·塔维纳斯 :
代数公式的最优深度约简。 CCC公司 2023 : 28:1-28:19 [i10] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 , 塞巴斯蒂安·塔文纳斯 :
代数公式的最佳深度缩减。 CoRR公司 abs/2302.06984 ( 2023 ) [第九章] 埃尔维·福尼尔 , 努坦·利马耶 , 斯里坎斯·斯里尼瓦桑 , 塞巴斯蒂安·塔维纳斯 :
关于齐次代数公式的幂。 电子。 计算机学术讨论会。 复杂。 23号机房 ( 2023 ) [i8] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 , 塞巴斯蒂安·塔维纳斯 :
代数公式的最佳深度缩减。 电子。 计算机学术讨论会。 复杂。 23号机房 ( 2023 )
2010 – 2019
2019 [第15条] 埃尔维·福尼尔 , 纪尧姆·马洛德 , Maud Szusterman公司 , 塞巴斯蒂安·塔维纳斯 :
非负秩测度和单调代数分支程序。 FSTTCS公司 2019 : 15:1-15:14 [i7] 埃尔维·福尼尔 , 纪尧姆·马洛德 , 莫德·苏斯特曼 , 塞巴斯蒂安·塔维纳斯 :
非负秩测度和单调代数分支程序。 电子。 计算机学术讨论会。 复杂。 19号机房 ( 2019 ) 2017 [公元17年] 埃尔维·福尼尔 , 努坦·利马耶 , 米娜·马哈扬 , 斯里坎斯·斯里尼瓦桑 :
初等对称多项式的移位偏导数复杂性。 理论计算。 13 ( 1 ) : 1至34 ( 2017 ) 2015 [公元16年] 埃尔维·福尼尔 , 纪尧姆·马洛德 , 斯特凡·蒙格尔 :
算术电路中的单项式:计数层次中的完整问题。 计算。 复杂。 24 ( 1 ) : 1-30 ( 2015 ) [公元15年] 埃尔维·福尼尔 , 西尔万·佩里费尔 , 雷米·德·乔安妮斯·德·维尔克洛斯 :
关于Valiant意义下一致多项式的固定多项式尺寸电路下界。 Inf.计算。 240 : 31-41 ( 2015 ) [公元14年] 埃尔维·福尼尔 , 阿纳斯·伊斯梅尔 , 安托万·维格纳龙 :
计算离散度量空间的Gromov双曲性。 信息处理。 莱特。 115 ( 6-8 ) : 576-579 ( 2015 ) [j13] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 :
深度-4公式计算迭代矩阵乘法的下限。 SIAM J.计算。 44 ( 5 ) : 1173-1201 ( 2015 ) [第14条] 埃尔维·福尼尔 , 努坦·利马耶 , 米娜·马哈扬 , 斯里坎斯·斯里尼瓦桑 :
初等对称多项式的移位偏导数复杂性。 MFCS(2) 2015 : 324-335 [i6] 埃尔维·福尼尔 , 努坦·利马耶 , 米娜·马哈扬 , 斯里坎斯·斯里尼瓦桑 :
初等对称多项式的移位偏导数复杂性。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2014 [第13条] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 :
计算迭代矩阵乘法的深度4公式的下界。 STOC公司 2014 : 128-135 2013 [公元12年] 埃尔维·福尼尔 , 安托万·维格纳龙 :
将步长函数拟合到加权点集的确定性算法。 信息处理。 莱特。 113 ( 三 ) : 51-54 ( 2013 ) [第12条] 埃尔维·福尼尔 , 西尔万·佩里费尔 , 雷米·德·乔安妮斯·德·维尔克洛斯 :
关于Valiant意义下一致多项式的固定多项式尺寸电路下限。 MFCS公司 2013 : 433-444 [i5] 埃尔维·福尼尔 , 西尔万·佩里费尔 , 雷米·德·乔安妮斯·德·维尔克洛斯 :
关于Valiant意义下一致多项式的固定多项式尺寸电路下界。 CoRR公司 abs/1304.5910 ( 2013 ) [i4] 埃尔维·福尼尔 , 努坦·利马耶 , 纪尧姆·马洛德 , 斯里坎斯·斯里尼瓦桑 :
计算迭代矩阵乘法的深度4公式的下限。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 [公元11年] 埃尔维·福尼尔 , 达尼埃勒·加迪 , 安托万·金特里尼 , 伯恩哈德·吉滕贝格 :
关联逻辑中表示给定布尔函数的大随机树的分数。 随机结构。 算法 40 ( 三 ) : 317-349 ( 2012 ) [第11条] 埃尔维·福尼尔 , 纪尧姆·马洛德 , 斯特凡·门格尔 :
算术电路中的单项式:完成计数层次中的问题。 STACS公司 2012 : 362-373 [i3] 埃尔维·福尼尔 , 阿纳斯·伊斯梅尔 , 安托万·维格纳龙 :
计算离散度量空间的Gromov双曲性。 CoRR公司 abs/1210.3323 ( 2012 ) 2011 [公元10年] 埃尔维·福尼尔 , 奥利维尔·泰托 :
使用VC-维和符号模式的基于比较的进化策略的下限。 算法 59 ( 三 ) : 387-408年 ( 2011 ) [公元9年] 埃尔维·福尼尔 , 安托万·维格纳龙 :
将阶跃函数拟合到点集。 算法 60 ( 1 ) : 95-109 ( 2011 ) [i2] 埃尔维·福尼尔 , 安托万·维格纳龙 :
将步长函数拟合到加权点集的确定性算法。 CoRR公司 abs/1109.1152 ( 2011 ) [i1] 埃尔维·福尼尔 , 纪尧姆·马洛德 , 斯特凡·门格尔 :
算术电路中的单项式:完成计数层次中的问题。 CoRR公司 abs/1110.6271 ( 2011 ) 2010 [j8] 赫维·福尼尔 , 丹尼尔·加迪 , 安托万·金特里尼 , 马雷克·扎昂克 :
重言式与否定文字的含意。 数学。 日志。 问:。 56 ( 4 ) : 388-396 ( 2010 )
2000 – 2009
2009 [j7] 多米尼克·巴思 , 埃尔维·福尼尔 , 罗曼·拉沃 :
关于可分解树的形状。 谨慎。 数学。 309 ( 12 ) : 3882-3887 ( 2009 ) [第10条] 埃尔维·福尼尔 , 丹尼尔·加迪 , 安托万·金特里尼 :
平衡和/或树和线性阈值函数。 ANALCO公司 2009 : 51-57 2008 [j6] 赫维·福尼尔 , 纪尧姆·马洛德 :
泛关系和#P-完备性。 西奥。 计算。 科学。 407 ( 1-3 ) : 97至109 ( 2008 ) 【c9】 埃尔维·福尼尔 , 安托万·维格纳龙 :
将阶跃函数拟合到点集。 欧洲航天局 2008 : 442-453 【c8】 埃尔维·福尼尔 , 丹尼尔·加迪 , 安托万·金特里尼 , 伯恩哈德·吉滕贝格 :
布尔函数对蕴涵的复杂性和极限比。 MFCS公司 2008 : 347-362 【c7】 奥利维尔·泰托 , 埃尔维·福尼尔 :
使用VC-Dimension的进化策略的下限。 PPSN(PPSN) 2008 : 102-111 2007 [j5] 赫维·福尼尔 , 安托万·维格纳龙 :
计算三维凸多面体直径的一个紧下界。 算法 49 ( 三 ) : 245-257 ( 2007 ) 【c6】 埃尔维·福尼尔 , 丹尼尔·加迪 , 安托万·金特里尼 , 马雷克·扎昂克 :
经典逻辑和直觉主义逻辑是渐近相同的。 CSL公司 2007 : 177-193 2006 【j4】 多米尼克·巴思 , 埃尔维·福尼尔 :
可分解树上的度界。 谨慎。 数学。 306 ( 5 ) : 469-477 ( 2006 ) 【c5】 埃尔维·福尼尔 , 纪尧姆·马洛德 :
普遍关系和#P-完全性。 CIAC公司 2006 : 368-379 【c4】 埃尔维·福尼尔 , 安托万·维格纳龙 :
几何直径问题的下限。 拉丁语 2006 : 467-478 2003 [j3] 亚历山大·奇斯托夫 , 埃尔维·福尼尔 , 列奥尼德·古尔维茨 , 帕斯卡·科伊兰 :
范德蒙德矩阵、NP-完备和横截子空间。 已找到。 计算。 数学。 三 ( 4 ) : 421-427 ( 2003 ) [注2] 埃尔维·福尼尔 :
嵌入有限模型奇偶性的量化秩。 西奥。 计算。 科学。 295 : 153-169 ( 2003 ) 2001 [j1] 埃尔维·福尼尔 :
用加法在实数上稀疏NP-完全问题。 西奥。 计算。 科学。 255 ( 1-2个 ) : 607-610 ( 2001 ) 【c3】 埃尔维·福尼尔 :
嵌入有限模型奇偶性的量化秩。 MFCS公司 2001 : 375-386 2000 【c2】 埃尔维·福尼尔 , 帕斯卡·科伊兰 :
下限在雷亚尔并不容易:PH内部。 ICALP公司 2000 : 832-843
1990年至1999年
1998 【c1】 埃尔维·福尼尔 , 帕斯卡·科伊兰 :
下限比雷亚尔更容易吗? STOC公司 1998 : 507-513