 | 2011 |
|---|
| 10 |       | Santiago Figueira,
Daniel Gorín,
Rafael Grimson:
On the Expressive Power of IF-Logic with Classical Negation.
WoLLIC 2011: 135-145 |
| 9 | | Rafael Grimson,
Joos Heintz,
Bart Kuijpers:
Evaluating geometric queries using few arithmetic operations
CoRR abs/1111.0499: (2011) |
| 8 | | Rafael Grimson,
Joos Heintz,
Bart Kuijpers:
Efficient evaluation of specific queries in constraint databases.
Inf. Process. Lett. 111(19): 941-944 (2011) |
| 7 | | Bart Kuijpers,
Rafael Grimson,
Walied Othman:
An analytic solution to the alibi query in the space-time prisms model for moving object data.
International Journal of Geographical Information Science 25(2): 293-322 (2011) |
| 2010 |
|---|
| 6 | | Rafael Grimson:
An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context.
GMP 2010: 57-76 |
| 5 | | Santiago Figueira,
Daniel Gorín,
Rafael Grimson:
On the formal semantics of IF-like logics.
J. Comput. Syst. Sci. 76(5): 333-346 (2010) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page