GRIMSON, Rafael

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 DateTitleAuthor(s)TypeCat.
12014Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidableGRIMSON, Rafael ; KUIJPERS, Bart Journal ContributionA1
22012Evaluating geometric queries using few arithmetic operationsGRIMSON, Rafael ; Heintz, Joos; KUIJPERS, Bart Journal ContributionA1
32012Quantifier elimination for elementary geometry and elementary affine geometryGRIMSON, Rafael ; KUIJPERS, Bart ; OTHMAN, Walied Journal ContributionA1
42011Efficient evaluation of specific queries in constraint databasesGRIMSON, Rafael ; Heintz, Joos; KUIJPERS, Bart Journal ContributionA1
52010Upper and Lower Complexity Bounds for Some Problems in Elementary GeometryGRIMSON, Rafael Theses and DissertationsT1
62010On the formal semantics of IF-like logicsFigueira, Santiago; Gorin, Daniel; GRIMSON, Rafael Journal ContributionA1
72010An analytic solution to the alibi query in the space-time prisms model for moving object dataGRIMSON, Rafael ; KUIJPERS, Bart ; OTHMAN, Walied Journal ContributionA1
82009Some lower bounds for the complexity of the linear programming feasibility problem over the realsGRIMSON, Rafael ; KUIJPERS, Bart Journal ContributionA1
92009Point location in arrangements of algebraic hypersurfacesGRIMSON, Rafael Proceedings PaperC2
102008On the formal semantics of IF-like logicsFigueira, Santiago; Gorin, Daniel; GRIMSON, Rafael Proceedings PaperC1
112007A lower bound for the complexity of linear optimization from a quantifier-elimination point of viewGRIMSON, Rafael Proceedings PaperC1