Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fixed-point query languages for linear constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear approximation of planar spatial databases using transitive-closure logic
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Cardinal relations between regions with a broad boundary
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
On the orthographic dimension of definable sets
Information Processing Letters
On first-order topological queries
ACM Transactions on Computational Logic (TOCL)
A framework for data mining and KDD
Proceedings of the 2002 ACM symposium on Applied computing
On moving object queries: (extended abstract)
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database support for evolving data in product design
Computers in Industry - Special issue: CSCW in design
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
A Query Language Based on the Ambient Logic
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Extending Rectangle Join Algorithms for Rectilinear Polygons
WAIM '00 Proceedings of the First International Conference on Web-Age Information Management
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Axiomatising Tree-Interpretable Structures
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Expressing Topological Connectivity of Spatial Databases
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Quantifier rank for parity of embedded finite models
Theoretical Computer Science - Mathematical foundations of computer science
Modelling uncertainty in multimedia database systems: an extended possibilistic approach
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
In Memoriam: Paris C. Kanellakis
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Toward Spatial Joins for Polygons
SSDBM '00 Proceedings of the 12th International Conference on Scientific and Statistical Database Management
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Classes of Spatio-Temporal Objects and their Closure Properties
Annals of Mathematics and Artificial Intelligence
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science
Cardinal directions between spatial objects: the pairwise-consistency problem
Information Sciences—Informatics and Computer Science: An International Journal
An expressive language for linear spatial database queries
Journal of Computer and System Sciences
Theoretical Computer Science - Database theory
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Database query languages and functional logic programming
New Generation Computing
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
A representation independent language for planar spatial databases with Euclidean distance
Journal of Computer and System Sciences
Temporal data classification using linear classifiers
Information Systems
On complementary principles of object-oriented constraint programming
Programming and Computing Software
Mining model trees from spatial data
PKDD'05 Proceedings of the 9th European conference on Principles and Practice of Knowledge Discovery in Databases
Inconsistency issues in spatial databases
Inconsistency Tolerance
Efficient evaluation of specific queries in constraint databases
Information Processing Letters
Hi-index | 0.00 |