Lorenzo Leone

According to our database, Lorenzo Leone authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Model-Based Testing of Railway Interlocking Systems.

Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2022

Black Hole complexity, unscrambling, and stabilizer thermal machines.

Salvatore F. E. Oliviero, Lorenzo Leone, Seth Lloyd, Alioscia Hamma

CoRR, 2022

2021

Quantum Chaos is Quantum.

Lorenzo Leone, Salvatore F. E. Oliviero, You Zhou, Alioscia Hamma

Quantum, 2021

Isospectral Twirling and Quantum Chaos.

Lorenzo Leone, Salvatore F. E. Oliviero, Alioscia Hamma

Entropy, 2021