Time Automaton: A visual mechanism for temporal querying. - Luís Certo; Teresa Galvão; José Luís Cabral de Moura Borges (J. Vis. Lang. Comput., 2013)

Lapa Card: A Smart Membership Card for Authentication, Payments, and Directional Marketing. - João Lobato Oliveira; Luís Certo; Pedro Minatel; Danton Dornellas Silva (Int. J. Interdiscip. Telecommun. Netw., 2022)