4 papers
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…
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…
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…
Efficient Online String Matching Based on Characters Distance Text Sampling
Simone Faro, Arianna Pavone, Francesco Pio Marino
Searching for all occurrences of a pattern in a text is a fundamental problem in computer science with applications in many other fields, like natural language processing, informat…