Giuseppe Lomurno

According to our database, Giuseppe Lomurno authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

Verification of Quantum Protocols Adopting Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

CoRR, April, 2026

2024

A Coalgebraic Model of Quantum Bisimulation.

Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, September, 2024

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proc. ACM Program. Lang., January, 2024

Testing Quantum Processes.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Effect Semantics for Quantum Process Calculi.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.

Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2024