The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Weak alternating automata are not that weak
ACM Transactions on Computational Logic (TOCL)
Another Look at LTL Model Checking
Formal Methods in System Design
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Regular Transformations of Infinite Strings
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
| Hi-index | 0.89 |