Khayyam Salehi

13 papers C 1Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamics of a delayed three-species ecosystem: A comparative study of integer and fractional-order model.
J. Frankl. Inst.
Elahe Rafiean, Javad Alidousti, Khayyam Salehi
2026 J jnl
Stability and bifurcation of a time-delayed fractional three-disk system.
Math. Comput. Simul.
Elham Ghafari, Reza Khoshsiar Ghaziani, Javad Alidousti, Khayyam Salehi
2026 J jnl
The dynamic behavior of time-delayed Leslie-Gower predator-prey model.
Appl. Math. Comput.
Khayyam Salehi, Javad Alidousti
2025 J jnl
Feature selection and interpretation of employee attrition using mutual information and artificial neural networks.
Iran J. Comput. Sci.
Khayyam Salehi, Marziyeh Aghabalasafar
2025 J jnl
Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking.
Comput. Sci.
MohammadSadegh Mohagheghi, Khayyam Salehi
2023 J jnl
Improving Probabilistic Bisimulation for MDPs Using Machine Learning.
CoRR
MohammadSadegh Mohagheghi, Khayyam Salehi
2023 J jnl
Splitter Orderings for Probabilistic Bisimulation.
CoRR
MohammadSadegh Mohagheghi, Khayyam Salehi
2022 — conf
An Automated Quantitative Information Flow Analysis for Concurrent Programs.
QEST
Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi
2020 C conf
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.
ICSOFT
MohammadSadegh Mohagheghi, Khayyam Salehi
2020 — conf
Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes.
ICTERI Workshops
MohammadSadegh Mohagheghi, Khayyam Salehi
2019 J jnl
Channel Capacity of Concurrent Probabilistic Programs.
Entropy
Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh
2019 Misc conf
Secure Information Flow Analysis Using the PRISM Model Checker.
ICISS
Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh
2015 — conf
Improved Iterative Methods for Verifying Markov Decision Processes.
FSEN
Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi