Publications
Conference 22 Journal 10
2024
2023
2022
2021
2020
2019
Papers Under Review
Conference 3 Journal 32025-06-04
- TBAThe Irrelevance of X and Z Gate Order in Teleportation-based Quantum Communication2025 (Submitted 4-June-2025)
2025-05-19
- TBAQCheck: A Framework for Probabilistic Model Checking of Quantum ProgramsIn , 2025 (Submitted 19-May-2025)
2025-04-30
- TBAFormal Specification and Model Checking of the BB84 Protocol in MaudeIn , 2025 (Submitted 30-Apr-2025)
2025-04-25
- TBAA Divide & Conquer Approach to Model Checking Linear Temporal Properties (Extended Version)2025 (Submitted 25-April-2025)
2025-04-16
- TBAQRAT: A Reachability Analysis Tool for Quantum ProgramsIn , 2025 (Submitted 16-Apr-2025)
2024-05-09
- TBAParallel Maude-NPA for Cryptographic Protocol Analysis (Extended Version)2024 (Submitted 09-May-2024)
Papers Under Preparation
Conference 0 Journal 12025
- TBAEquivalence Checking of Quantum Circuit with Constant Inputs (Extended Version)2025