Rafael Grimson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 Rafael Grimson, Bart Kuijpers: Some lower bounds for the complexity of the linear programming feasibility problem over the reals. J. Complexity 25(1): 25-37 (2009)

2008

3 Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178

2007

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

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

	2009
4		Rafael Grimson, Bart Kuijpers: Some lower bounds for the complexity of the linear programming feasibility problem over the reals. J. Complexity 25(1): 25-37 (2009)
	2008
3		Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178
	2007
2		Rafael Grimson: A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007
1		Bart Kuijpers, Walied Othman, Rafael Grimson: A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases CoRR abs/0712.1996: (2007)

Coauthor Index