Research output
Publications
Papers by RAISE members, with PDFs, code, slides and BibTeX where available. For the lab head's complete record, see his homepage.
Showing 3 of 84 publications
2026 2 papers
QuantumTrustKG: Provenance-Aware Orchestration for Quantum-Safe Microservices
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
When Grounding Hurts: Retrieval and Validation for LLM Repair of Quantum Programs
ICECCS 2026 (Research Track), Brisbane, Australia · November 2026
To appearQuantum Reasoning
2022 1 paper
A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
POPL 2022 (CORE Rank A*), Philadelphia, USA · January 2022
CORE A*Quantum Reasoning