in PublicationsThis list shows some papers published about JINC or using JINC. Please feel free to contact me if some material is missing.
- Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications
- A binary decision diagram based approach for mining frequent subsequences
- Symbolic Model Checking for Channel-based Component Connectors
- Checking Equivalence for Reo Networks
- Are zero-suppressed binary decision diagrams good for mining frequent patterns in high dimensional datasets?