Rafael Grimson

18 papers C 4Journal 12Unranked 1

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	A new method for gridding passive microwave data with mixed measurements and spatial correlation. Earth Sci. Informatics Juan Lucas Bali, Manuela Cerdeiro, Mariela Rajngewerc, Rafael Grimson
2019	J	`jnl`	A Statistical Inverse Method for Gridding Passive Microwave Data With Mixed Measurements. IEEE Trans. Geosci. Remote. Sens. Rafael Grimson, Juan Lucas Bali, Mariela Rajngewerc, Laura San Martin, Mercedes Salvia
2015	C	`conf`	Comparison of nonlocal means despeckling based on stochastic measures. IGARSS Rafael Grimson, Natalia S. Morandeira, Alejandro C. Frery
2014	J	`jnl`	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. J. Comput. Syst. Sci. Santiago Figueira, Daniel Gorín, Rafael Grimson
2014	J	`jnl`	Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable. Reports Math. Log. Rafael Grimson, Bart Kuijpers
2012	J	`jnl`	Evaluating geometric queries using few arithmetic operations. Appl. Algebra Eng. Commun. Comput. Rafael Grimson, Joos Heintz, Bart Kuijpers
2012	J	`jnl`	Quantifier elimination for elementary geometry and elementary affine geometry. Math. Log. Q. Rafael Grimson, Bart Kuijpers, Walied Othman
2011	J	`jnl`	An analytic solution to the alibi query in the space-time prisms model for moving object data. Int. J. Geogr. Inf. Sci. Bart Kuijpers, Rafael Grimson, Walied Othman
2011	J	`jnl`	Efficient evaluation of specific queries in constraint databases. Inf. Process. Lett. Rafael Grimson, Joos Heintz, Bart Kuijpers
2011	J	`jnl`	Evaluating geometric queries using few arithmetic operations CoRR Rafael Grimson, Joos Heintz, Bart Kuijpers
2011	C	`conf`	On the Expressive Power of IF-Logic with Classical Negation. WoLLIC Santiago Figueira, Daniel Gorín, Rafael Grimson
2010	C	`conf`	An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context. GMP Rafael Grimson
2010	J	`jnl`	On the formal semantics of IF-like logics. J. Comput. Syst. Sci. Santiago Figueira, Daniel Gorín, Rafael Grimson
2010	—	`—`	Upper and Lower Complexity Bounds for Some Problems in Elementary Geometry Rafael Grimson
2009	J	`jnl`	Some lower bounds for the complexity of the linear programming feasibility problem over the reals. J. Complex. Rafael Grimson, Bart Kuijpers
2008	C	`conf`	On the Formal Semantics of IF-Like Logics. WoLLIC Santiago Figueira, Daniel Gorín, Rafael Grimson
2007	J	`jnl`	A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases CoRR Bart Kuijpers, Walied Othman, Rafael Grimson
2007	—	`conf`	A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. Constraint Databases, Geometric Elimination and Geographic Information Systems Rafael Grimson