Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Trends in Databases: Reasoning and Mining
IEEE Transactions on Knowledge and Data Engineering
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Algorithms for Guiding Clausal Temporal Resolution
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 0.00 |