Marco Lewis

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Automated Verification

Declarative Programming

Top Venues

Publications

Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR (2024)
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR (2024)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems using Barrier Certificates. CoRR (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems Using Barrier Certificates. QEST (2023)
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR (2021)