Khayyam Salehi

According to our database, Khayyam Salehi authored at least 13 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Stability and bifurcation of a time-delayed fractional three-disk system.

Elham Ghafari, Reza Khoshsiar Ghaziani, Javad Alidousti, Khayyam Salehi

Math. Comput. Simul., 2026

Dynamics of a delayed three-species ecosystem: A comparative study of integer and fractional-order model.

Elahe Rafiean, Javad Alidousti, Khayyam Salehi

J. Frankl. Inst., 2026

The dynamic behavior of time-delayed Leslie-Gower predator-prey model.

Khayyam Salehi, Javad Alidousti

Appl. Math. Comput., 2026

2025

Feature selection and interpretation of employee attrition using mutual information and artificial neural networks.

Khayyam Salehi, Marziyeh Aghabalasafar

Iran J. Comput. Sci., December, 2025

Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking.

MohammadSadegh Mohagheghi, Khayyam Salehi

Comput. Sci., 2025

2023

Improving Probabilistic Bisimulation for MDPs Using Machine Learning.

MohammadSadegh Mohagheghi, Khayyam Salehi

CoRR, 2023

Splitter Orderings for Probabilistic Bisimulation.

MohammadSadegh Mohagheghi, Khayyam Salehi

CoRR, 2023

2022

An Automated Quantitative Information Flow Analysis for Concurrent Programs.

Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2020

Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes.

MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the 16th International Conference on ICT in Education, 2020

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.

MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the 15th International Conference on Software Technologies, 2020

2019

Channel Capacity of Concurrent Probabilistic Programs.

Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh

Entropy, 2019

Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh

Proceedings of the Information Systems Security - 15th International Conference, 2019

2015

Improved Iterative Methods for Verifying Markov Decision Processes.

Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015