Rings: A Game with a Purpose for Test Data Generation. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl; Kamyar Setayesh-Ghajar; Farshad Gholami-Ghavamabad (Interact. Comput., 2018)

An approach to solving non-linear real constraints for symbolic execution. - Saeed Amiri-Chimeh; Hassan Haghighi (J. Syst. Softw., 2019)

Ravi: A formal framework for authoring interactive narratives. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl (New Rev. Hypermedia Multim., 2023)

JAHAN: A framework for procedural generation of game maps from design specifications. - Saeed Amiri-Chimeh; Hassan Haghighi; Mojtaba Vahidi-Asl (Entertain. Comput., 2024)