A graph distance metric combining maximum common subgraph and minimum common supergraph. - Mirtha-Lina Fernández; Gabriel Valiente (Pattern Recognit. Lett., 2001)

Recursive Path Orderings Can Also Be Incremental. - Mirtha-Lina Fernández; Guillem Godoy; Albert Rubio (LPAR, 2005)

Orderings for Innermost Termination. - Mirtha-Lina Fernández; Guillem Godoy; Albert Rubio (RTA, 2005)

Relaxing monotonicity for innermost termination. - Mirtha-Lina Fernández (Inf. Process. Lett., 2005)

On proving CE-termination of rewriting by size-change termination. - Mirtha-Lina Fernández (Inf. Process. Lett., 2005)

On the Use of SPIN for Studying the Behavior of Nested Petri Nets. - Mirtha Lina Fernández Venero; Flávio Soares Corrêa da Silva (SBMF, 2013)

OpenMuseum: uma estrutura para colaboração entre instituições de patrimônio cultural. - Mirtha-Lina Fernández; Cláudia Josimar Abrão de Araújo; Diego Mira David; Flávio S. Corrêa da Silva; Ana Magalhães (SBSI, 2013)

Modeling and Simulating Interaction Protocols Using Nested Petri Nets. - Mirtha Lina Fernández Venero; Flávio Soares Corrêa da Silva (SEFM Workshops, 2013)

Interaction protocols for cross-organisational workflows. - Flávio Soares Corrêa da Silva; Mirtha Lina Fernández Venero; Diego Mira David; Mohammad Saleem 002; Paul W. H. Chung (Knowl. Based Syst., 2013)

Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments. - Mirtha Lina Fernández Venero (EOMAS@CAiSE, 2014)

A general translation from nested Petri nets into PROMELA. - Mirtha Lina Fernández Venero; Flávio Soares Corrêa da Silva (CoRR, 2014)

Model checking multi-level and recursive nets. - Mirtha Lina Fernández Venero; Flávio Soares Corrêa da Silva (Softw. Syst. Model., 2017)