| Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 40 | 2013 |
| 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 | 39 | 2014 |
| 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 | 10 | 2016 |
| 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 | 4 | 2020 |
| Hybrid classical-quantum transfer learning for text classification E Ardeshir-Larijani, MM Nasiri Fatmehsari Quantum Machine Intelligence 6 (1), 19, 2024 | 2 | 2024 |
| Privacy in cross-user data deduplication H Jannati, E Ardeshir-Larijani, B Bahrak Mobile Networks and Applications 26 (6), 2567-2579, 2021 | 2 | 2021 |
| Reo coordination model for simulation of quantum internet software E Ardeshir-Larijani, F Arbab Federation of International Conferences on Software Technologies …, 2018 | 2 | 2018 |
| Automated equivalence checking of quantum information systems E Ardeshir-Larijani University of Warwick, 2014 | 2 | 2014 |
| Automated verification of quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan arXiv preprint arXiv:1312.5951, 2013 | 2 | 2013 |
| Parallel hermite interpolation on the pyramid E Larijani, H Sarbazi-Azad 2007 22nd international symposium on computer and information sciences, 1-5, 2007 | 2 | 2007 |
| Optimal Bound for PCA with Outliers using Higher-Degree Voronoi Diagrams S Hashemian, MS Arvenaghi, E Ardeshir-Larijani https://arxiv.org/abs/2408.06867, 2024 | | 2024 |
| 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 |
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex University在 mdx.ac.uk 的电子邮件经过验证
