A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. - Rafael Grimson (Constraint Databases, Geometric Elimination and Geographic Information Systems, 2007)

A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases - Bart Kuijpers; Walied Othman; Rafael Grimson (CoRR, 2007)

Some lower bounds for the complexity of the linear programming feasibility problem over the reals. - Rafael Grimson; Bart Kuijpers (J. Complex., 2009)

An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context. - Rafael Grimson (GMP, 2010)

On the formal semantics of IF-like logics. - Santiago Figueira; Daniel Gorín; Rafael Grimson (J. Comput. Syst. Sci., 2010)

Upper and Lower Complexity Bounds for Some Problems in Elementary Geometry - Rafael Grimson (2010)

On the Expressive Power of IF-Logic with Classical Negation. - Santiago Figueira; Daniel Gorín; Rafael Grimson (WoLLIC, 2011)

An analytic solution to the alibi query in the space-time prisms model for moving object data. - Bart Kuijpers; Rafael Grimson; Walied Othman (Int. J. Geogr. Inf. Sci., 2011)

Efficient evaluation of specific queries in constraint databases. - Rafael Grimson; Joos Heintz; Bart Kuijpers (Inf. Process. Lett., 2011)

Evaluating geometric queries using few arithmetic operations. - Rafael Grimson; Joos Heintz; Bart Kuijpers (Appl. Algebra Eng. Commun. Comput., 2012)

Quantifier elimination for elementary geometry and elementary affine geometry. - Rafael Grimson; Bart Kuijpers; Walied Othman (Math. Log. Q., 2012)

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. - Santiago Figueira; Daniel Gorín; Rafael Grimson (J. Comput. Syst. Sci., 2014)

Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable. - Rafael Grimson; Bart Kuijpers (Reports Math. Log., 2014)

Comparison of nonlocal means despeckling based on stochastic measures. - Rafael Grimson; Natalia S. Morandeira; Alejandro C. Frery (IGARSS, 2015)

A Statistical Inverse Method for Gridding Passive Microwave Data With Mixed Measurements. - Rafael Grimson; Juan Lucas Bali; Mariela Rajngewerc; Laura San Martin; Mercedes Salvia (IEEE Trans. Geosci. Remote. Sens., 2019)

A new method for gridding passive microwave data with mixed measurements and spatial correlation. - Juan Lucas Bali; Manuela Cerdeiro; Mariela Rajngewerc; Rafael Grimson (Earth Sci. Informatics, 2020)