Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
Data exchange and incomplete information
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A calculus of logical relations for over- and underapproximating static analyses
Science of Computer Programming
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Consistent Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Database Systems (TODS)
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
Hi-index | 5.23 |