Marco Lewis

According to our database, Marco Lewis authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

High-level quantum algorithm programming using Silq.

Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani

CoRR, 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

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