Formal Verification of Quantum Programs: Theory, Tools and Challenges. - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2021)

Verification of Quantum Systems Using Barrier Certificates. - Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QEST, 2023)

SilVer (Artifact). - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2023)

Automated Verification of Silq Quantum Programs using SMT Solvers. - Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QSW, 2024)

T-Count Optimizing Genetic Algorithm for Quantum State Preparation. - Andrew Wright; Marco Lewis; Paolo Zuliani; Sadegh Soudjani (QSW, 2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates. - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2024)

High-level quantum algorithm programming using Silq. - Viktorija Bezganovic; Marco Lewis; Sadegh Soudjani; Paolo Zuliani (CoRR, 2024)

SilVer (Artifact). - Marco Lewis; Sadegh Soudjani; Paolo Zuliani (Zenodo, 2024)