Ebrahim Ardeshir-Larijani

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 6

Top Topics

Mutual Exclusion

Formal Verification

Quantum Inspired

Communication Protocol

Top Venues

Mob. Networks Appl.

ACM Trans. Comput. Log.

University of Warwick, UK (PHD)

Education History

University of Warwick, UK

PHD

Publications

Hoda Jannati, Ebrahim Ardeshir-Larijani, Behnam Bahrak
Privacy in Cross-User Data Deduplication. Mob. Networks Appl. 26 (6) (2021)
Ebrahim Ardeshir-Larijani
Parametrized Complexity of Quantum Inspired Algorithms. CoRR (2021)
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar
MASKS: A Multi-Artificial Neural Networks System's verification approach. CoRR (2020)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Equivalence Checking of Concurrent Quantum Systems. ACM Trans. Comput. Log. 19 (4) (2018)
Ebrahim Ardeshir-Larijani, Farhad Arbab
Reo Coordination Model for Simulation of Quantum Internet Software. STAF Workshops (2018)
Hoda Jannati, Ebrahim Ardeshir-Larijani
Detecting relay attacks on RFID communication systems using quantum bits. Quantum Inf. Process. 15 (11) (2016)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Verification of Concurrent Quantum Protocols by Equivalence Checking. TACAS (2014)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Equivalence Checking of Quantum Protocols. TACAS (2013)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Verification of Quantum Protocols by Equivalence Checking. CoRR (2013)