| Publication | Date of Publication | Type |
|---|
Deciding the point-to-fixed-point problem for skew tent maps on an interval
Journal of Computer and System Sciences | 2020-10-23 | Paper |
Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
Mathematical Logic Quarterly | 2020-05-11 | Paper |
First-order complete and computationally complete query languages for spatio-temporal databases
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
On the realisability of double-cross matrices by polylines in the plane
Journal of Computer and System Sciences | 2017-05-26 | Paper |
On the intrinsic complexity of elimination problems in effective algebraic geometry
Recent Advances in Real Complexity and Computation | 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
Information Processing Letters | 2013-04-04 | Paper |
Software engineering and complexity in effective algebraic geometry
Journal of Complexity | 2013-01-14 | Paper |
Evaluating geometric queries using few arithmetic operations
Applicable Algebra in Engineering, Communication and Computing | 2012-12-13 | Paper |
Quantifier elimination for elementary geometry and elementary affine geometry
Mathematical Logic Quarterly | 2012-12-10 | Paper |
| Logical aspects of spatial databases | 2011-10-05 | Paper |
Trajectory databases: data models, uncertainty and complete query languages
Journal of Computer and System Sciences | 2010-08-18 | Paper |
Topological formulation of termination properties of iterates of functions
Information Processing Letters | 2009-07-09 | Paper |
Some lower bounds for the complexity of the linear programming feasibility problem over the reals
Journal of Complexity | 2009-01-30 | Paper |
A characterization of first-order topological properties of planar spatial data
Journal of the ACM | 2008-12-21 | Paper |
First‐Order Languages Expressing Constructible Spatial Database Queries
SIAM Journal on Computing | 2008-01-03 | Paper |
Optimal prepayment of Dutch mortgages*
Statistica Neerlandica | 2007-10-26 | Paper |
Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases
SIAM Journal on Computing | 2006-06-01 | Paper |
Constraint Databases
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2241917 (Why is no real title available?) | 2005-12-28 | Paper |
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2080410 (Why is no real title available?) | 2004-08-04 | Paper |
Classes of spatio-temporal objects and their closure properties
Annals of Mathematics and Artificial Intelligence | 2004-01-14 | Paper |
| scientific article; zbMATH DE number 1953132 (Why is no real title available?) | 2003-07-25 | Paper |
Topological elementary equivalence of closed semi-algebraic sets in the real plane
The Journal of Symbolic Logic | 2001-12-07 | Paper |
| scientific article; zbMATH DE number 1515863 (Why is no real title available?) | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1515864 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1515862 (Why is no real title available?) | 2000-10-10 | Paper |
Data models and query languages for spatial databases
Data & Knowledge Engineering | 1998-08-13 | Paper |
