Hervé Fournier

According to our database, Hervé Fournier authored at least 27 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On the Power of Homogeneous Algebraic Formulas.

Hervé Fournier, Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2023

Towards Optimal Depth-Reductions for Algebraic Formulas.

Hervé Fournier, Nutan Limaye, Guillaume Malod, Srikanth Srinivasan, Sébastien Tavenas

Proceedings of the 38th Computational Complexity Conference, 2023

2019

Nonnegative Rank Measures and Monotone Algebraic Branching Programs.

Hervé Fournier, Guillaume Malod, Maud Szusterman, Sébastien Tavenas

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2015

Computing the Gromov hyperbolicity of a discrete metric space.

Hervé Fournier, Anas Ismail, Antoine Vigneron

Inf. Process. Lett., 2015

The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials.

Hervé Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Lower bounds for depth 4 formulas computing iterated matrix multiplication.

Hervé Fournier, Nutan Limaye, Guillaume Malod, Srikanth Srinivasan

Proceedings of the Symposium on Theory of Computing, 2014

2013

A deterministic algorithm for fitting a step function to a weighted point-set.

Hervé Fournier, Antoine Vigneron

Inf. Process. Lett., 2013

On Fixed-Polynomial Size Circuit Lower Bounds for Uniform Polynomials in the Sense of Valiant.

Hervé Fournier, Sylvain Perifel, Rémi de Joannis de Verclos

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

The fraction of large random trees representing a given Boolean function in implicational logic.

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger

Random Struct. Algorithms, 2012

Monomials in arithmetic circuits: Complete problems in the counting hierarchy.

Hervé Fournier, Guillaume Malod, Stefan Mengel

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012

2011

Lower Bounds for Comparison Based Evolution Strategies Using VC-dimension and Sign Patterns.

Hervé Fournier, Olivier Teytaud

Algorithmica, 2011

2010

Tautologies over implication with negative literals.

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc

Math. Log. Q., 2010

2009

On the shape of decomposable trees.

Dominique Barth, Hervé Fournier, Romain Ravaux

Discret. Math., 2009

Balanced And/Or Trees and Linear Threshold Functions.

Hervé Fournier, Danièle Gardy, Antoine Genitrini

Proceedings of the Sixth Workshop on Analytic Algorithmics and Combinatorics, 2009

2008

Lower Bounds for Evolution Strategies Using VC-Dimension.

Olivier Teytaud, Hervé Fournier

Proceedings of the Parallel Problem Solving from Nature, 2008

Complexity and Limiting Ratio of Boolean Functions over Implication.

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

Fitting a Step Function to a Point Set.

Hervé Fournier, Antoine Vigneron

Proceedings of the Algorithms, 2008

2007

A Tight Lower Bound for Computing the Diameter of a 3D Convex Polytope.

Hervé Fournier, Antoine Vigneron

Algorithmica, 2007

Classical and Intuitionistic Logic Are Asymptotically Identical.

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

A degree bound on decomposable trees.

Dominique Barth, Hervé Fournier

Discret. Math., 2006

Lower Bounds for Geometric Diameter Problems.

Hervé Fournier, Antoine Vigneron

Proceedings of the LATIN 2006: Theoretical Informatics, 2006

Universal Relations and #P-Completeness.

Hervé Fournier, Guillaume Malod

Proceedings of the Algorithms and Complexity, 6th Italian Conference, 2006

2003

Vandermonde Matrices, NP-Completeness, and Transversal Subspaces.

Alexander L. Chistov, Hervé Fournier, Leonid Gurvits, Pascal Koiran

Found. Comput. Math., 2003

2001

Sparse NP-complete problems over the reals with addition.

Hervé Fournier

Theor. Comput. Sci., 2001

Quantifier Rank for Parity of Embedded Finite Models.

Hervé Fournier

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000

Lower Bounds Are Not Easier over the Reals: Inside PH.

Hervé Fournier, Pascal Koiran

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1998

Are Lower Bounds Easier over the Reals?

Hervé Fournier, Pascal Koiran

Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, 1998