Marco Lewis

According to our database, Marco Lewis authored at least 12 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Finding Photonics Circuits via δ-weakening SMT.

Marco Lewis, Benoît Valiron

CoRR, September, 2025

High-level quantum algorithm programming using Silq.

Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing, 2025

2024

SilVer (Artifact).

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Dataset, May, 2024

SilVer (Artifact).

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Dataset, May, 2024

SilVer (Artifact).

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Dataset, May, 2024

SilVer (Artifact).

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Dataset, March, 2024

Verification of Quantum Circuits through Discrete-Time Barrier Certificates.

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

CoRR, 2024

T-Count Optimizing Genetic Algorithm for Quantum State Preparation.

Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani

Proceedings of the IEEE International Conference on Quantum Software, 2024

Automated Verification of Silq Quantum Programs using SMT Solvers.

Marco Lewis, Paolo Zuliani, Sadegh Soudjani

Proceedings of the IEEE International Conference on Quantum Software, 2024

2023

SilVer (Artifact).

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

Dataset, September, 2023

Verification of Quantum Systems Using Barrier Certificates.

Marco Lewis, Paolo Zuliani, Sadegh Soudjani

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2021

Formal Verification of Quantum Programs: Theory, Tools and Challenges.

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

CoRR, 2021