Behavioral patterns for software requirement engineering. - Ayaz Isazadeh; Glenn H. MacEwen; Andrew J. Malton (CASCON, 1995)

Behavioral Views for Software Requirements Engineering. - Ayaz Isazadeh; David Alex Lamb; Glenn H. MacEwen (ECBS, 1996)

An Algorithmic Semantics for Viewcharts. - Ayaz Isazadeh; David Alex Lamb (ICECCS, 1996)

Behavioural Views for Software Requirements Engineering. - Ayaz Isazadeh; David Alex Lamb; Terry Shepard (Requir. Eng., 1999)

Software engineering: configuration languages. - Ayaz Isazadeh (Informatica (Slovenia), 2002)

Software Engineering: The Trend. - Ayaz Isazadeh (Informatica (Slovenia), 2004)

Processor Allocation in Mesh Multiprocessors Using a Hybrid Method. - Sanya Attari; Ayaz Isazadeh (PDCAT, 2006)

Database Replication: AvailAbility aind Consistency Astsrance via Stream Processing. - Morteza Abbaszadeh Meinagh; Ayaz Isazadeh; Bager Zarei; Mehdi Zarei (AICCSA, 2007)

Optimal Multicast Multichannel Routing in Computer Networks. - Mohsen Heydarian; Ayaz Isazadeh; Hosein Isazadeh (ISPA Workshops, 2007)

A New Method for Describing the Syntax and Semantics of VIEWCHARTS. - Ayaz Isazadeh; Jaber Karimpour; Hosein Isazadeh (ISPA Workshops, 2007)

A New Formalism for Describing Concurrent Systems. - Ayaz Isazadeh; Jaber Karimpour; Hosein Isazadeh (ISPA Workshops, 2007)

Software Reliability Prediction Based on a Formal Requirements Specification. - Hooshmand Alipour; Ayaz Isazadeh (CSICC, 2008)

End-to-End QoS Routing for Multicasting Provisioning in Computer Networks with Multichannel Paths. - Mohsen Heydarian; Ayaz Isazadeh; Somayeh Gholizadeh (International Conference on Internet Computing, 2008)

Data-mining by probability-based patterns. - Masoud Kargar; Ayaz Isazadeh; Farzaneh Fartash; Taha Saderi; Ahmad Habibizad Navin (ITI, 2008)

Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications. - Habib Karimpour; Ayaz Isazadeh; Mohsen Heydarian (Software Engineering Research and Practice, 2008)

An evolutionary system architecture for information protection. - Ayaz Isazadeh; Hamid Nouri; Maral Rezvan (Appl. Math. Comput., 2008)

Optimal multicast multichannel routing in computer networks. - Ayaz Isazadeh; Mohsen Heydarian (Comput. Commun., 2008)

Viewcharts: Syntax and Semantics. - Ayaz Isazadeh; Jaber Karimpour (Informatica, 2008)

A new formalism for mathematical description and verification of component-based systems. - Ayaz Isazadeh; Jaber Karimpour (J. Supercomput., 2009)

A new hybrid approach for multiprocessor system scheduling with genetic algorithm and tabu search (HGTS). - Saeed Rashtbar; Ayaz Isazadeh; Leyli Mohammad Khanly (ICIS, 2010)

Traffic distribution for end-to-end QoS routing with multicast multichannel services. - Ayaz Isazadeh; Mohsen Heydarian (J. Supercomput., 2010)

Admission Control for WebServices in Enterprise Systems Using Expert Systems. - Arash Jodeiri Salimi; Ayaz Isazadeh; Jaber Karimpour (WISM (1), 2011)

PHFS: A dynamic replication method, to decrease access latency in the multi-tier data grid. - Leyli Mohammad Khanli; Ayaz Isazadeh; Tahmuras N. Shishavan (Future Gener. Comput. Syst., 2011)

Active rule learning using decision tree for resource management in Grid computing. - Leyli Mohammad Khanli; Farnaz Mahan; Ayaz Isazadeh (Future Gener. Comput. Syst., 2011)

Distributed multicast multichannel paths. - Ayaz Isazadeh; Mohsen Heydarian (Telecommun. Syst., 2012)

An Algorithm of Developed Imperialist Competition for Suitable Human Resource Layout. - Esmaeil Laleh; Shahriar Lotfi; Ayaz Isazadeh; Yousef Masodi (SNPD, 2013)

Imperialist competitive algorithm for solving systems of nonlinear equations. - Mahdi Abdollahi; Ayaz Isazadeh; Davoud Abdollahi (Comput. Math. Appl., 2013)

Early performance assessment in component-based software systems. - Jaber Karimpour; Ayaz Isazadeh; Habib Izadkhah (IET Softw., 2013)

ECA rule learning in dynamic environments. - Ayaz Isazadeh; Witold Pedrycz; Farnaz Mahan (Expert Syst. Appl., 2014)

An analytical model for source code distributability verification. - Ayaz Isazadeh; Jaber Karimpour; Islam Elgedawy; Habib Izadkhah (J. Zhejiang Univ. Sci. C, 2014)

Improved Iterative Methods for Verifying Markov Decision Processes. - Jaber Karimpour; Ayaz Isazadeh; MohammadSadegh Mohagheghi; Khayyam Salehi (FSEN, 2015)

Verifying Observational Determinism. - Jaber Karimpour; Ayaz Isazadeh; Ali A. Noroozi (SEC, 2015)

Introduction to the special section on "Emerging Wireless Networks". - Mehdi Shadaram; Mubashir Husain Rehmani; Ayaz Isazadeh (Comput. Electr. Eng., 2015)

MFlexDT: multi flexible fuzzy decision tree for data stream classification. - Ayaz Isazadeh; Farnaz Mahan; Witold Pedrycz (Soft Comput., 2016)

Source Code Modularization - Theory and Techniques - Ayaz Isazadeh; Habib Izadkhah; Islam Elgedawy (Springer, 2017)

QoS-aware service composition in cloud computing using data mining techniques and genetic algorithm. - Mohammadbagher Karimi; Ayaz Isazadeh; Amir Masoud Rahmani (J. Supercomput., 2017)

Optimizing web server RAM performance using birth-death process queuing system: scalable memory issue. - Zolfaghar Salmanian; Habib Izadkhah; Ayaz Isazadeh (J. Supercomput., 2017)

A new hybrid strategy for data clustering using cuckoo search based on Mantegna levy distribution, PSO and k-means. - Omid Tarkhaneh; Ayaz Isazadeh; Hossein Jabbari Khamnei (Int. J. Comput. Appl. Technol., 2018)

Message from the Editor-in-Chief: Prof. Ayaz Isazadeh. - Ayaz Isazadeh (Iran J. Comput. Sci., 2018)

Secure Information Flow Analysis Using the PRISM Model Checker. - Ali A. Noroozi; Khayyam Salehi; Jaber Karimpour; Ayaz Isazadeh (ICISS, 2019)

Multi-programming language software systems modularization. - Masoud Kargar; Ayaz Isazadeh; Habib Izadkhah (Comput. Electr. Eng., 2019)

Information leakage of multi-threaded programs. - Ali A. Noroozi; Jaber Karimpour; Ayaz Isazadeh (Comput. Electr. Eng., 2019)

Early reliability assessment of component-based software system using colored petri net. - Amir Hosseinzadeh-Mokarram; Ayaz Isazadeh; Habib Izadkhah (Turkish J. Electr. Eng. Comput. Sci., 2019)

Channel Capacity of Concurrent Probabilistic Programs. - Khayyam Salehi; Jaber Karimpour; Habib Izadkhah; Ayaz Isazadeh (Entropy, 2019)

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. J., 2020)

A New Metaheuristic-Based Hierarchical Clustering Algorithm for Software Modularization. - Masoud Aghdasifam; Habib Izadkhah; Ayaz Isazadeh (Complex., 2020)

New internal metric for software clustering algorithms validity. - Masoud Kargar; Ayaz Isazadeh; Habib Izadkhah (IET Softw., 2020)

Improving the modularization quality of heterogeneous multi-programming software systems by unifying structural and semantic concepts. - Masoud Kargar; Ayaz Isazadeh; Habib Izadkhah (J. Supercomput., 2020)

Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences. - Zahra Abdi Reyhan; Shahriar Lotfi; Ayaz Isazadeh; Jaber Karimpour (Comput. J., 2021)

PPI-GA: A Novel Clustering Algorithm to Identify Protein Complexes within Protein-Protein Interaction Networks Using Genetic Algorithm. - Naeem Shirmohammady; Habib Izadkhah; Ayaz Isazadeh (Complex., 2021)

GAP2WSS: A Genetic Algorithm based on the Pareto Principle for Web Service Selection. - SayedHassan Khatoonabadi; Shahriar Lotfi; Ayaz Isazadeh (CoRR, 2021)

A graph-based clustering algorithm for software systems modularization. - Babak Pourasghar; Habib Izadkhah; Ayaz Isazadeh; Shahriar Lotfi (Inf. Softw. Technol., 2021)

An error-propagation aware method to reduce the software mutation cost using genetic algorithm. - Seyed Mohammad Javad Hosseini; Bahman Arasteh; Ayaz Isazadeh; Mehran Mohsenzadeh; Mitra Mirzarezaee (Data Technol. Appl., 2021)

Improving modified policy iteration for probabilistic model checking. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. Sci., 2022)

Auto-Scale Resource Provisioning In IaaS Clouds. - Zolfaghar Salmanian; Habib Izadkhah; Ayaz Isazadeh (Comput. J., 2022)

Using BTA Algorithm for finding Nash equilibrium problem aiming the extraction of rules in rule learning. - M. Boudaghi; Farnaz Mahan; Ayaz Isazadeh (Soft Comput., 2022)

Chaotic-based divide-and-conquer feature selection method and its application in cardiac arrhythmia classification. - Mehdi Ayar; Ayaz Isazadeh; Farhad Soleimanian Gharehchopogh; MirHojjat Seyedi (J. Supercomput., 2022)

A Fast Clustering Algorithm for Modularization of Large-Scale Software Systems. - Navid Teymourian; Habib Izadkhah; Ayaz Isazadeh (IEEE Trans. Software Eng., 2022)

NSICA: Multi-objective imperialist competitive algorithm for feature selection in arrhythmia diagnosis. - Mehdi Ayar; Ayaz Isazadeh; Farhad Soleimanian Gharehchopogh; MirHojjat Seyedi (Comput. Biol. Medicine, 2023)