3 papers
quant-ph2026
Reversible Lifetime Semantics for Quantum Programs
Simone Faro, Francesco Pio Marino, Gabriele Messina
Reversible computation requires that intermediate data be explicitly undone rather than discarded. In quantum programming, this principle appears as uncomputation, usually treated…
cs.PL2025
Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
Simone Faro, Francesco Pio Marino, Gabriele Messina
Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptograph…
cs.DS2025
Efficient Computation of Periods and Covers Using Sampling
Thierry Lecroq, Francesco Pio Marino
Identifying regularities in strings, such as \emph{periods} and \emph{covers}, is crucial for applications in text compression, computational biology, and pattern recognition. \emp…