Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
String graphs. II.: Recognizing string graphs is NP-hard
Journal of Combinatorial Theory Series B
Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finitely representable databases (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Intersection graphs of segments
Journal of Combinatorial Theory Series B
Computing with infinitary logic
ICDT '92 Selected papers of the fourth international conference on Database theory
Dense-order constraint databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Spatial Databases, The Final Frontier
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Constraint Programming and Database Query Languages
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Lossless Representation of Topological Spatial Data
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
First-Order Queries on Finite Structures Over the Reals
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
The complexity of elementary algebra and geometry
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Complete geometrical query languages (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Querying spatial databases via topological invariants
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Nonplanar topological inference and political-map graphs
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
First-order qualitative spatial representation languages with convexity
Spatial Cognition and Computation
Spatial Cognition and Computation
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
ACM SIGMOD Record
On Capturing First-Order Topological Properties of Planar Spatial Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Towards Cognitive Adequacy of Topological Spatial Relations
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI
Empiricism and Rationalism in Region-based Theories of Space
Fundamenta Informaticae - Qualitative Spatial Reasoning
Spatial aggregation: Data model and implementation
Information Systems
Spherical topological relations
Journal on Data Semantics III
Empiricism and Rationalism in Region-based Theories of Space
Fundamenta Informaticae - Qualitative Spatial Reasoning
Hi-index | 0.00 |