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

Results 1-11 of 11 (Search time: 0.005 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
52010On the formal semantics of IF-like logicsFigueira, Santiago; Gorin, Daniel; GRIMSON, RafaelJournal ContributionA1
62010An analytic solution to the alibi query in the space-time prisms model for moving object dataGRIMSON, Rafael; KUIJPERS, Bart; OTHMAN, WaliedJournal ContributionA1
72010Upper and Lower Complexity Bounds for Some Problems in Elementary GeometryGRIMSON, RafaelTheses and DissertationsT1
82009Point location in arrangements of algebraic hypersurfacesGRIMSON, RafaelProceedings PaperC2
92009Some lower bounds for the complexity of the linear programming feasibility problem over the realsGRIMSON, Rafael; KUIJPERS, BartJournal ContributionA1
102008On the formal semantics of IF-like logicsFigueira, Santiago; Gorin, Daniel; GRIMSON, RafaelProceedings PaperC1
112007A lower bound for the complexity of linear optimization from a quantifier-elimination point of viewGRIMSON, RafaelProceedings PaperC1