All Stories

  1. Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity

    Article • ACM Transactions on Design Automation of Electronic Systems, November 2025, ACM (Association for Computing Machinery)

    Mohamed Nadeem

  2. Polynomial Formal Verification exploiting Constant Cutwidth

    Article • September 2023, ACM (Association for Computing Machinery)

    Mohamed Nadeem