Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
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)
Functions computable in polynomial space
Information and Computation
Functions computable in polynomial space
Information and Computation
Leaf languages and string compression
Information and Computation
Succinct algebraic branching programs characterizing non-uniform complexity classes
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Model-checking hierarchical structures
Journal of Computer and System Sciences
Hi-index | 0.01 |