Marco Lewis

13 papers A 1B 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Finding Photonics Circuits via δ-Weakening SMT.
VMCAI
Marco Lewis, Benoît Valiron
2025 J jnl
Finding Photonics Circuits via δ-weakening SMT.
CoRR
Marco Lewis, Benoît Valiron
2025 A conf
High-level quantum algorithm programming using Silq.
HPDC
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2024 — conf
Automated Verification of Silq Quantum Programs using SMT Solvers.
QSW
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
Automated Verification of Silq Quantum Programs using SMT Solvers.
CoRR
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
Formal Verification of Quantum Programs: Theory, Tools, and Challenges.
ACM Trans. Quantum Comput.
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2024 J jnl
High-level quantum algorithm programming using Silq.
CoRR
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2024 — conf
T-Count Optimizing Genetic Algorithm for Quantum State Preparation.
QSW
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
T-Count Optimizing Genetic Algorithm for Quantum State Preparation.
CoRR
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
Verification of Quantum Circuits through Discrete-Time Barrier Certificates.
CoRR
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2023 — conf
Verification of Quantum Systems Using Barrier Certificates.
QEST
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2023 J jnl
Verification of Quantum Systems using Barrier Certificates.
CoRR
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2021 J jnl
Formal Verification of Quantum Programs: Theory, Tools and Challenges.
CoRR
Marco Lewis, Sadegh Soudjani, Paolo Zuliani