GRIMSON, Rafael

Email Alert RSS Feed

Profile

Full Name
GRIMSON, Rafael
Email
rafael.grimson@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Author:  KUIJPERS, Bart

Results 1-6 of 6 (Search time: 0.004 seconds).

Issue DateTitleContributor(s)TypeCat.
12014Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidableGRIMSON, Rafael; KUIJPERS, BartJournal ContributionA1
22012Quantifier elimination for elementary geometry and elementary affine geometryGRIMSON, Rafael; KUIJPERS, Bart; OTHMAN, WaliedJournal ContributionA1
32012Evaluating geometric queries using few arithmetic operationsGRIMSON, Rafael; Heintz, Joos; KUIJPERS, BartJournal ContributionA1
42011Efficient evaluation of specific queries in constraint databasesGRIMSON, Rafael; Heintz, Joos; KUIJPERS, BartJournal ContributionA1
52010An analytic solution to the alibi query in the space-time prisms model for moving object dataGRIMSON, Rafael; KUIJPERS, Bart; OTHMAN, WaliedJournal ContributionA1
62009Some lower bounds for the complexity of the linear programming feasibility problem over the realsGRIMSON, Rafael; KUIJPERS, BartJournal ContributionA1