Enhancing scheduling solutions through ant colony optimization. - Shekhar Kopuri; Nazanin Mansouri (ISCAS (5), 2004)

Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD). - Youngsik Kim; Shekhar Kopuri; Nazanin Mansouri (ISQED, 2004)