Publications

Refreed Journals Articles

• B. Gupta, R. Ahmad, “A Roll-Forward Recovery Mechanism for Cluster Computing Environment,” to appear in International Journal of Computer Science and Network Security, Vol. 6, No. 11, Nov. 2006.
• S. Rahimi, R. Ahmad, "A Formal Framework for Agent Oriented Software Engineering,” to appear in Multiagent and Grid Systems, 2007.
• H. Zhou, S. Rahimi, R. Ahmad, M. Paprzycki, M. Cobb, “ORVPF – the Model and its DNC Implementation,” Institute of Mathematics and Informatics Journal, Informatica, Vilinius, Vol. 16, No. 4, pp. 603-616, 2005.
In review:

• R. Ahmad, S. Rahimi, “A Perception-Aware Search Engine using Computing with Words,” in review, Web Engineering Journal, Dec. 2006.
• R. Ahmad, Y. Lee, S. Rahimi, “A New Approach Towards a Parallel Particle Swarm Optimization Algorithm,” in review, Scalable Computing: Practice and Experiences Journal, special issue of Parallel Evolutionary Algorithms, Dec. 2006.

Refreed Proceedings

• R. Ahmad, S. Rahimi, “A pi-calculus Based Formal Methodology for Modeling Intelligent Multi-Agent Systems,” to appear in IEEE International Conference on Integration of Knowledge Intensive Multi- Agents Systems, 2007.
• R. Ahmad, S. Rahimi, “A Perception Based Expert System for Question-Answering Support,” IEEE/ WIC/ACM International Conference on Web Intelligence, WI-2006, Hong Kong, Dec. 2006.
• R. Ahmad, Y. Lee, S. Rahimi, “A Multi-Agent Based Approach for Particle Swarm Optimization,” to appear in IEEE International Conference on Integration of Knowledge Intensive Multi-Agents Systems, 2007.
• S. Rahimi, R. Ahmad, “An Api-Calculus Based Toolbox for Agent-Oriented Software Engineering,” to appear in Agent Based Computing, The First International Multiconference on Computer Science and Information Systems, 2006.
• S. Rahimi, R. Ahmad, B. Gupta, “An Implicit-Feedback Based Ranking Methodology for Search Engines,” The 2006 International Conference on Internet Computing (ICOMP'06: June 26-29, 2006, Las Vegas, USA) Short Research Paper.
• R. Ahmad, S. Rahimi, “A Perception Based, Domain Specific Expert System for Question-Answering Support,” proceedings of NAFIPS 05, IEEE Press, Ann Arbor, Michigan, pp. 454-459, June 2005.
• M. Sabharwal, S. Rahimi, R. Ahmad, “A Deterministic-Heuristic Load Balancing Methodology for MPIAB,” proceedings of the ISCA 19th International Conference, Seattle, Washington, pp. 131-135, 2004.
• S. Rahimi, N. Mogharreban, R. Ahmad, “The First Stage of a System Verification Strategy for API- Calculus,” proceedings of The International Conference on Algorithmic Mathematics and Computer Science, Las Vegas, Nevada, pp. 380-385, 2004.
• R. Ahmad, S. Rahimi, L. Gandy, D. Ali, “A Multi-Agent Information Retrieval System,” Proceedings of the 10th International Conference on Industry, Engineering and Management Systems, Decision Support Systems, Cocoa Beach, Florid, pp. 52-57, 2004.
• R. Ahmad, D. Ali, M. Cobb, S. Rahimi, “A Visualization Tool for the Intelligent Agent Modeling Language API-Calculus,” proceedings of 9th Annual International Conference on Industry, Engineering, and Management Systems, Florida, pp. 482-488, 2003.