Dynamic Analysis of Object-Oriented Programs Using State Machines and ECA Rules. - Seyed Morteza Babamir; S. Jalili (IASSE, 2005)

Bi-colored expansions of geometric theories. - S. Jalili; M. Pourmahdian; M. Khani (Ann. Pure Appl. Log., 2025)