1. Multi-core On-The-Fly Saturation;Tools and Algorithms for the Construction and Analysis of Systems;2019
2. Multi-core Decision Diagrams;Handbook of Parallel Constraint Reasoning;2018
3. Sylvan: multi-core framework for decision diagrams;International Journal on Software Tools for Technology Transfer;2016-10-19
4. Sylvan: Multi-Core Decision Diagrams;Tools and Algorithms for the Construction and Analysis of Systems;2015
5. A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation;Electronic Notes in Theoretical Computer Science;2006-02