On the Complexity of Semialgebraic Sets. - Joos Heintz; Pablo Solernó; Marie-Françoise Roy (IFIP Congress, 1989)

Geometric Problems Solvable in Single Exponential Time. - Joos Heintz; Teresa Krick; Marie-Françoise Roy; Pablo Solernó (AAECC, 1990)

Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (AAECC, 1990)

A Gemometrical Bound for Integer Programming with Polynomial Constraints. - Bernd Bank; Teresa Krick; Reinhard Mandel; Pablo Solernó (FCT, 1991)

Effective Lojasiewicz Inequalities in Semialgebraic Geometry. - Pablo Solernó (Appl. Algebra Eng. Commun. Comput., 1991)

(Working Group Noaï Fitchas) Algorithmic Aspects of Suslin's Proof of Serre's Conjecture. - Leandro Caniglia; Guillermo Cortiñas; Silvia Danón; Joos Heintz; Teresa Krick; Pablo Solernó (Comput. Complex., 1993)

On the Theoretical and Practical Complexity of the Existential Theory of Reals. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (Comput. J., 1993)

Description of the Connected Components of a Semialgebraic in Single Exponential Time. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (Discret. Comput. Geom., 1994)

On the Computation of the Radical of Polynomial Complete Intersection Ideals. - Inés Armendáriz; Pablo Solernó (AAECC, 1995)

Bounds for traces in complete intersections and degrees in the Nullstellensatz. - Juan Sabia; Pablo Solernó (Appl. Algebra Eng. Commun. Comput., 1995)

On Intrinsic Bounds in the Nullstellensatz. - Teresa Krick; Juan Sabia; Pablo Solernó (Appl. Algebra Eng. Commun. Comput., 1997)

Computing generators of the ideal of a smooth affine algebraic variety. - Cristina Blanco; Gabriela Jeronimo; Pablo Solernó (J. Symb. Comput., 2004)

A linear algebra approach to the differentiation index of generic DAE systems - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (CoRR, 2006)

On the complexity of the resolvent representation of some prime differential ideals. - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (J. Complex., 2006)

Deformation Techniques for Sparse Systems. - Gabriela Jeronimo; Guillermo Matera; Pablo Solernó; Ariel Waissbein (Found. Comput. Math., 2009)

Lower complexity bounds for interpolation algorithms. - Nardo Giménez; Joos Heintz; Guillermo Matera; Pablo Solernó (J. Complex., 2011)

A geometric index reduction method for implicit systems of differential algebraic equations. - Lisi D'Alfonso; Gabriela Jeronimo; François Ollivier; Alexandre Sedoglavic; Pablo Solernó (J. Symb. Comput., 2011)

Effective Differential Lüroth's Theorem - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (CoRR, 2012)

Effective Differential Nullstellensatz for Ordinary DAE Systems over the Complex Numbers - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (CoRR, 2013)

Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients. - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (J. Complex., 2014)

Degeneracy Loci and Polynomial Equation Solving. - Bernd Bank; Marc Giusti; Joos Heintz; Grégoire Lecerf; Guillermo Matera; Pablo Solernó (Found. Comput. Math., 2015)

A decision method for the integrability of differential-algebraic Pfaffian systems. - Lisi D'Alfonso; Gabriela Jeronimo; Pablo Solernó (Adv. Appl. Math., 2016)

Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases. - Amir Hashemi; Joos Heintz; Luis M. Pardo; Pablo Solernó (CASC, 2020)

On Bézout inequalities for non-homogeneous polynomial ideals. - Amir Hashemi; Joos Heintz; Luis M. Pardo; Pablo Solernó (J. Symb. Comput., 2021)

Weak identifiability for differential algebraic systems. - Gabriela Jeronimo; Pablo Solernó (Adv. Appl. Math., 2023)