Non-Functional Requirements for Quantum Programs. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa; Marcos Kalinowski (Q-SET@QCE, 2021)

Quantum Algorithm for Multiplicative Linear Logic. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa (CoRR, 2023)