Bart Kuijpers

Available identifiers

zbMath Open kuijpers.bart-h-mWikidataQ58863031 ScholiaQ58863031MaRDI QIDQ555773

List of research outcomes

Publication	Date of Publication	Type
Deciding the point-to-fixed-point problem for skew tent maps on an interval	2020-10-23	Paper
Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space	2020-05-11	Paper
First-order complete and computationally complete query languages for spatio-temporal databases	2017-07-12	Paper
On the realisability of double-cross matrices by polylines in the plane	2017-05-26	Paper
On the intrinsic complexity of elimination problems in effective algebraic geometry	2015-08-04	Paper
SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE	2015-07-30	Paper
Efficient evaluation of specific queries in constraint databases	2013-04-04	Paper
Software engineering and complexity in effective algebraic geometry	2013-01-14	Paper
Evaluating geometric queries using few arithmetic operations	2012-12-13	Paper
Quantifier elimination for elementary geometry and elementary affine geometry	2012-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3172382	2011-10-05	Paper
Trajectory databases: data models, uncertainty and complete query languages	2010-08-18	Paper
Topological formulation of termination properties of iterates of functions	2009-07-09	Paper
Some lower bounds for the complexity of the linear programming feasibility problem over the reals	2009-01-30	Paper
A characterization of first-order topological properties of planar spatial data	2008-12-21	Paper
First‐Order Languages Expressing Constructible Spatial Database Queries	2008-01-03	Paper
Optimal prepayment of Dutch mortgages*	2007-10-26	Paper
Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases	2006-06-01	Paper
Constraint Databases	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714258	2005-12-28	Paper
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473167	2004-08-04	Paper
Classes of spatio-temporal objects and their closure properties	2004-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4414535	2003-07-25	Paper
Topological elementary equivalence of closed semi-algebraic sets in the real plane	2001-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4508944	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4508945	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4508943	2000-10-10	Paper
Data models and query languages for spatial databases	1998-08-13	Paper

Research outcomes over time

This page was built for person: Bart Kuijpers