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

@UHasselt

All

Author

Date issued

1 2014
2 2012
1 2011
2 2010
1 2009

Internal UHasselt

Refined By:

Type: Journal Contribution

Results 1-7 of 7 (Search time: 0.013 seconds).

Bibtex Excel CSV FWO

		Issue Date	Title	Contributor(s)	Type	Cat.
	1	2014	Some fragments of second-order logic over the reals for which satisability and equivalence are (un)decidable	GRIMSON, Rafael; KUIJPERS, Bart	Journal Contribution	A1
	2	2012	Quantifier elimination for elementary geometry and elementary affine geometry	GRIMSON, Rafael; KUIJPERS, Bart; OTHMAN, Walied	Journal Contribution	A1
	3	2012	Evaluating geometric queries using few arithmetic operations	GRIMSON, Rafael; Heintz, Joos; KUIJPERS, Bart	Journal Contribution	A1
	4	2011	Efficient evaluation of specific queries in constraint databases	GRIMSON, Rafael; Heintz, Joos; KUIJPERS, Bart	Journal Contribution	A1
	5	2010	On the formal semantics of IF-like logics	Figueira, Santiago; Gorin, Daniel; GRIMSON, Rafael	Journal Contribution	A1
	6	2010	An analytic solution to the alibi query in the space-time prisms model for moving object data	GRIMSON, Rafael; KUIJPERS, Bart; OTHMAN, Walied	Journal Contribution	A1
	7	2009	Some lower bounds for the complexity of the linear programming feasibility problem over the reals	GRIMSON, Rafael; KUIJPERS, Bart	Journal Contribution	A1