Follow
Ebrahim Ardeshir-Larijani
Ebrahim Ardeshir-Larijani
Assistant Professor, Iran University of Science and Technology
Verified email at ipm.ir
Title
Cited by
Cited by
Year
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
392013
Verification of concurrent quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
382014
Automated equivalence checking of concurrent quantum systems
EA Larijani, SJ Gay, R Nagarajan
ACM Transactions on Computational Logic (TOCL) 19 (4), 28:1 - 28:32, 2018
10*2018
Detecting relay attacks on RFID communication systems using quantum bits
H Jannati, E Ardeshir-Larijani
Quantum Information Processing 15, 4759-4771, 2016
102016
Simulation of hybrid Reo connectors
E Ardeshir-Larijani, A Farhadi, F Arbab
2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and …, 2020
42020
Hybrid classical-quantum transfer learning for text classification
E Ardeshir-Larijani, MM Nasiri Fatmehsari
Quantum Machine Intelligence 6 (1), 19, 2024
22024
Privacy in cross-user data deduplication
H Jannati, E Ardeshir-Larijani, B Bahrak
Mobile Networks and Applications 26 (6), 2567-2579, 2021
22021
Reo coordination model for simulation of quantum internet software
E Ardeshir-Larijani, F Arbab
Federation of International Conferences on Software Technologies …, 2018
22018
Automated equivalence checking of quantum information systems
E Ardeshir-Larijani
University of Warwick, 2014
22014
Automated verification of quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
arXiv preprint arXiv:1312.5951, 2013
22013
Parallel hermite interpolation on the pyramid
E Larijani, H Sarbazi-Azad
2007 22nd international symposium on computer and information sciences, 1-5, 2007
22007
MASKS: A Multi-Artificial Neural Networks System’s verification approach
AH Dehkordi, M Alizadeh, E Ardeshir-Larijani, A Movaghar
Authorea Preprints, 2023
2023
Parametrized Complexity of Quantum Inspired Algorithms
E Ardeshir-Larijani
arXiv preprint arXiv:2112.11686, 2021
2021
On the Provability of Consistency of PV
EA Larijani
2008
The system can't perform the operation now. Try again later.
Articles 1–14