Ebrahim Ardeshir-Larijani
Title
Cited by
Cited by
Year
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
International Conference on Tools and Algorithms for the Construction and …, 2013
322013
Verification of concurrent quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
International Conference on Tools and Algorithms for the Construction and …, 2014
282014
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
9*2018
Detecting relay attacks on RFID communication systems using quantum bits
H Jannati, E Ardeshir-Larijani
Quantum Information Processing 15 (11), 4759-4771, 2016
92016
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
22020
Automated equivalence checking of quantum information systems
E Ardeshir-Larijani
University of Warwick, 2014
22014
Privacy in cross-user data deduplication
H Jannati, E Ardeshir-Larijani, B Bahrak
Mobile Networks and Applications, 1-13, 2018
12018
Reo coordination model for simulation of quantum internet software
E Ardeshir-Larijani, F Arbab
Federation of International Conferences on Software Technologies …, 2018
12018
Automated verification of quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
arXiv preprint arXiv:1312.5951, 2013
12013
Parallel hermite interpolation on the pyramid
E Larijani, H Sarbazi-Azad
2007 22nd international symposium on computer and information sciences, 1-5, 2007
12007
MASKS: A Multi-Classifier's verification approach
AH Dehkordi, M Alizadeh, E Ardeshir-Larijani, A Movaghar
arXiv preprint arXiv:2007.10090, 2020
2020
MASKS: A Multi-Artificial Neural Networks System’s verification approach
AH Dehkordi, M Alizadeh, E Ardeshir-Larijani, A Movaghar
CoRR, 2020
2020
On the Provability of Consistency of PV
EA Larijani
2008
The system can't perform the operation now. Try again later.
Articles 1–13