Predicting the future state of the RoboCup simulation environment: heuristic and neural networks approaches. - Mohsen Sharifi; Hamed Mousavian; Amir Aavani (SMC, 2003)

A New Adaptive Transport Protocol for Web. - Kiarash Mizanian; Mehdi Salmani Jelodar; Amir Aavani; Morteza Analoui (CCECE, 2006)

Speed-Up Techniques for Negation in Grounding. - Amir Aavani; Shahab Tasharrofi; Gulay Ünel; Eugenia Ternovska; David G. Mitchell (LPAR (Dakar), 2010)

Grounding Formulas with Complex Terms. - Amir Aavani; Xiongnan (Newman) Wu; Eugenia Ternovska; David G. Mitchell (Canadian AI, 2011)

Translating Pseudo-Boolean Constraints into CNF. - Amir Aavani (SAT, 2011)

Enfragmo: A System for Modelling and Solving Search Problems with Logic. - Amir Aavani; Xiongnan (Newman) Wu; Shahab Tasharrofi; Eugenia Ternovska; David G. Mitchell (LPAR, 2012)

New Encoding for Translating Pseudo-Boolean Constraints into SAT. - Amir Aavani; David G. Mitchell; Eugenia Ternovska (SARA, 2013)

Problem Solving with the Enfragmo System. - Amir Aavani; Eugenia Ternovska; David G. Mitchell (Theory Pract. Log. Program., 2013)