Equivalence Checking of Quantum Protocols. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2013)

Automated Verification of Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (CoRR, 2013)

Verification of Concurrent Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2014)

Automated equivalence checking of quantum information systems. - Ebrahim Ardeshir-Larijani (2014)

Detecting relay attacks on RFID communication systems using quantum bits. - Hoda Jannati; Ebrahim Ardeshir-Larijani (Quantum Inf. Process., 2016)

Reo Coordination Model for Simulation of Quantum Internet Software. - Ebrahim Ardeshir-Larijani; Farhad Arbab (STAF Workshops, 2018)

Automated Equivalence Checking of Concurrent Quantum Systems. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (ACM Trans. Comput. Log., 2018)

MASKS: A Multi-Artificial Neural Networks System's verification approach. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ebrahim Ardeshir-Larijani; Ali Movaghar 001 (CoRR, 2020)

Parametrized Complexity of Quantum Inspired Algorithms. - Ebrahim Ardeshir-Larijani (CoRR, 2021)

Privacy in Cross-User Data Deduplication. - Hoda Jannati; Ebrahim Ardeshir-Larijani; Behnam Bahrak (Mob. Networks Appl., 2021)

Optimal Bound for PCA with Outliers using Higher-Degree Voronoi Diagrams. - Sajjad Hashemian; Mohammad Saeed Arvenaghi; Ebrahim Ardeshir-Larijani (CoRR, 2024)

Hybrid classical-quantum transfer learning for text classification. - Ebrahim Ardeshir-Larijani; Mohammad Mahdi Nasiri Fatmehsari (Quantum Mach. Intell., 2024)