| |
| 2009 | ||
|---|---|---|
| 4 | EE | 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 | EE | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178 |
| 2007 | ||
| 2 | EE | 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 | EE | 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) |
| 1 | Santiago Figueira | [3] |
| 2 | Daniel Gorín | [3] |
| 3 | Bart Kuijpers | [1] [4] |
| 4 | Walied Othman | [1] |