On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Compactly Representing First-Order Structures for Static Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Model-checking hierarchical structures
Journal of Computer and System Sciences
Hi-index | 0.01 |