On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
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)
The description logic handbook
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Model checking recursive programs with numeric data types
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Model-checking hierarchical structures
Journal of Computer and System Sciences
The complexity of bounded synthesis for timed control with partial observability
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.89 |