Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. - Elisabete Cunha; Marcelo Custódio; Herbert Rocha; Raimundo S. Barreto (SBESC, 2011)

Automatic Clustering Assessment through a Social Tagging System. - Elisabeteferraz Cunha; Álvaro Figueira (CSE, 2012)

Clustering and Classifying Text Documents - A Revisit to Tagging Integration Methods. - Elisabete Cunha; Álvaro Figueira; Óscar Mealha (KDIR/KMIS, 2013)

Contributos para a eficácia do clustering usando o tagging social - Elisabete Cunha (2014)

Contribution of Social Tagging to Clustering Effectiveness Using as Interpretant the User's Community. - Elisabete Cunha; Álvaro Figueira (WorldCIST (1), 2020)