Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer
Database updates in the event calculus
Journal of Logic Programming
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On an algebra for historical relational databases: two views
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining knowledge about temporal intervals
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward a Multihomogeneous Model for a Temporal Database
Proceedings of the Second International Conference on Data Engineering
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Schema versioning and database conversion techniques for bi-temporal databases
Annals of Mathematics and Artificial Intelligence
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
| Hi-index | 0.00 |