Ali, Shan

1. Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
   2025/04/01 by John C. Kolesar, Kolesar, John, Ali, Shan +4 · 2 citations
   Computer Science · #Logic, programming, and type systems #Web Application Security Vulnerabilities #Logic, Reasoning, and Knowledge
2. A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
   2023/07/31 by Shan E Ali, Ali, Shan, Chaima Boufaied +7 · 1 citation
   Computer Science · #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software System Performance and Reliability #Time Series Analysis and Forecasting