Marco Lewis

According to our database, Marco Lewis authored at least 12 papers between 2023 and 2026.

Collaborative distances:

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

2026

Finding Photonics Circuits via δ-Weakening SMT.

Marco Lewis, Benoît Valiron

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

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

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

Marco Lewis, Sadegh Soudjani, Paolo Zuliani

ACM Trans. Quantum Comput., March, 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