Roberto Menezes

According to our database¹, Roberto Menezes authored at least 3 papers between 2011 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Antagonistic coinfection in rock-paper-scissors models during concurrent epidemics.

[BibT_eX]

[DOI]

Biosyst., 2025

2012

Transformation contracts in practice.

[BibT_eX]

[DOI]

IET Softw., 2012

2011

On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011