Implementing Groundness Analysis with Definite Boolean Functions
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Quotienting Share for Dependency Analysis
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Infinitary relations and their representation
Science of Computer Programming - Special issue on static analysis (SAS'99)
Efficient groundness analysis in Prolog
Theory and Practice of Logic Programming
Solving set constraint satisfaction problems using ROBDDs
Journal of Artificial Intelligence Research
Set bounds and (split) set domain propagation using ROBDDs
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |