Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Linear time datalog and branching time logic
Logic-based artificial intelligence
Automatic Verification of Abstract State Machines
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking Abstract State Machines and Beyond
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
An n! lower bound on formula size
ACM Transactions on Computational Logic (TOCL)
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
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
The relative completeness of a version of CTL
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Temporal logic model checking in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Hi-index | 0.00 |