A Programming Language Characterizing Quantum Polynomial Time. - Emmanuel Hainry; Romain Péchoux; Mário Silva 001 (FoSSaCS, 2023)

A feasible and unitary programming language with quantum control. - Alejandro Díaz-Caro; Emmanuel Hainry; Romain Péchoux; Mário Silva 001 (CoRR, 2023)

A coherence-witnessing game and applications to semi-device-independent quantum key distribution. - Mário Silva 001; Ricardo Faleiro; Paulo Mateus; Emmanuel Zambrini Cruzeiro (Quantum, 2023)

Branch Sequentialization in Quantum Polytime. - Emmanuel Hainry; Romain Péchoux; Mário Silva 001 (FSCD, 2025)

Quantum Programming in Polylogarithmic Time. - Florent Ferrari; Emmanuel Hainry; Romain Péchoux; Mário Silva 001 (MFCS, 2025)