Picture-Based Task Definition and Parameterization Support System. - Vitor Machado; Nuno Lopes 001; João Carlos Silva 002; José Luís Silva 001 (WorldCIST (2), 2017)

Codon Context Optimization in Synthetic Gene Design. - Dimitris P. Papamichail; Hongmei Liu; Vitor Machado; Nathan Gould; J. Robert Coleman; Georgios Papamichail (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Populational Announcement Logic (PPAL). - Vitor Machado; Mario R. F. Benevides (LSFA, 2019)

Temporal logic for social networks. - Vitor Machado; Mario R. F. Benevides (J. Log. Comput., 2022)

Temporal logics for compartmental models. - Vitor Machado; Mario R. F. Benevides (J. Log. Comput., 2025)