Jeffrey J. Tsai

• Hybrid Parallel Execution Model for Logic-Based Specification Languages
• Intrusion Detection