Ebrahim Ardeshir-Larijani

According to our database, Ebrahim Ardeshir-Larijani authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Hybrid classical-quantum transfer learning for text classification.

Ebrahim Ardeshir-Larijani, Mohammad Mahdi Nasiri Fatmehsari

Quantum Mach. Intell., June, 2024

Optimal Bound for PCA with Outliers using Higher-Degree Voronoi Diagrams.

Sajjad Hashemian, Mohammad Saeed Arvenaghi, Ebrahim Ardeshir-Larijani

CoRR, 2024

2021

Privacy in Cross-User Data Deduplication.

Hoda Jannati, Ebrahim Ardeshir-Larijani, Behnam Bahrak

Mob. Networks Appl., 2021

Parametrized Complexity of Quantum Inspired Algorithms.

Ebrahim Ardeshir-Larijani

CoRR, 2021

2020

MASKS: A Multi-Artificial Neural Networks System's verification approach.

Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar

CoRR, 2020

2018

Automated Equivalence Checking of Concurrent Quantum Systems.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

ACM Trans. Comput. Log., 2018

Reo Coordination Model for Simulation of Quantum Internet Software.

Ebrahim Ardeshir-Larijani, Farhad Arbab

Proceedings of the Software Technologies: Applications and Foundations, 2018

2016

Detecting relay attacks on RFID communication systems using quantum bits.

Hoda Jannati, Ebrahim Ardeshir-Larijani

Quantum Inf. Process., 2016

2014

Automated equivalence checking of quantum information systems.

Ebrahim Ardeshir-Larijani

PhD thesis, 2014

Verification of Concurrent Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Automated Verification of Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

CoRR, 2013

Equivalence Checking of Quantum Protocols.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013