The pattern matching swiss knife for malware researchers
Advanced Query Language
Web-Based Bible Search Engine
JQM - Java Quine McCluskey for minimization of Boolean functions.
Integrated DNA copy number variation and gene expression analysis
A novel Code transformation technique to guide test input generator
Boolean Expression Evaluator with AND/XOR minimization
Boolean Expression Simplifier developed by Mayank Shekhar