SeDeUse: A Model for Service-Oriented Computing in Dynamic Environments. - Hervé Paulino; Carlos Tavares (MOBILWARE, 2009)

Embedded fall and activity monitoring for a wearable ambient assisted living solution for older adults. - Alan K. Bourke; Sandra Prescher; Friedrich Koehler; Victor Cionca; Carlos Tavares; Sergi Gomis; Virginia Garcia; John Nelson (EMBC, 2012)

A Dynamic Logic for QASM Programs. - Carlos Tavares (DaLí, 2019)

A Differential Approach for Obtaining Diagonal Volterra Kernels. - Rafael Bayma; Raphael Teixeira; Dilson Lopes; Carlos Tavares (IEEE Trans. Circuits Syst. II Express Briefs, 2019)

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. - José Diogo Guimarães; Carlos Tavares; Luís Soares Barbosa; Mikhail I. Vasilevskiy (Complex., 2020)

Quantum simulation of the ground-state Stark effect in small molecules: a case study using IBM Q. - Carlos Tavares; Sofia Oliveira; Vitor Fernandes; Andrei Postnikov; Mikhail I. Vasilevskiy (Soft Comput., 2021)

Towards a layered architecture for error mitigation in quantum computation. - José Diogo Guimarães; Carlos Tavares (QSW, 2022)

Foundations for quantum algorithms and complexity - Carlos Tavares (2022)