Running AgentSpeak(L) Agents on SIM_AGENT. - Rodrigo Machado; Rafael H. Bordini (ATAL, 2001)

A Query Language for a Versioned Object Oriented Database. - Rodrigo Machado; Álvaro Freitas Moreira; Renata de Matos Galante; Mirella Moura Moro (SBBD, 2006)

Type-safe Versioned Object Query Language. - Rodrigo Machado; Álvaro Freitas Moreira; Renata de Matos Galante; Mirella Moura Moro (J. Univers. Comput. Sci., 2006)

On the Interaction of Advices and Raw Types in AspectJ. - Fernando Barden Rubbo; Rodrigo Machado; Álvaro Freitas Moreira; Leila Ribeiro 001; Daltro José Nunes (J. Univers. Comput. Sci., 2008)

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars - Rodrigo Machado; Reiko Heckel; Leila Ribeiro 001 (RULE, 2009)

Aspects for Graph Grammars. - Rodrigo Machado; Luciana Foss; Leila Ribeiro 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Towards Test Coverage Criteria for Visual Contracts. - Reiko Heckel; Tamim Ahmed Khan; Rodrigo Machado (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

An Introduction to Lambda Calculus and Functional Programming. - Rodrigo Machado (WEIT, 2013)

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (ICGT, 2015)

Týr: A Dependent Type System for Spatial Memory Safety in LLVM. - Vítor Bujés Ubatuba De Araújo; Álvaro Freitas Moreira; Rodrigo Machado (WEIT, 2015)

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (Theor. Comput. Sci., 2015)

Verigraph: A System for Specification and Analysis of Graph Grammars. - Andrei Costa; Jonas Santos Bezerra; Guilherme Grochau Azzi; Leonardo Marques Rodrigues; Thiago Rafael Becker; Ricardo Gabriel Herdt; Rodrigo Machado (SBMF, 2016)

The Verigraph System for Graph Transformation. - Guilherme Grochau Azzi; Jonas Santos Bezerra; Leila Ribeiro 001; Andrei Costa; Leonardo Marques Rodrigues; Rodrigo Machado (Graph Transformation, Specifications, and Nets, 2018)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

V: a language with extensible record accessors and a trait-based type system. - Arthur Giesel Vedana; Rodrigo Machado; Álvaro Freitas Moreira (RITA, 2018)

Taxonomy of performance testing tools: a systematic literature review. - Victor Costa; Gustavo Girardon; Maicon Bernardino; Rodrigo Machado; Guilherme Legramante; Anibal Neto; Fábio Paulo Basso; Elder de Macedo Rodrigues (SAC, 2020)

Testing as a service (TaaS): a systematic literature map. - Gustavo Girardon; Victor Costa; Rodrigo Machado; Maicon Bernardino; Guilherme Legramante; Fábio Paulo Basso; Elder de Macedo Rodrigues; Anibal Neto (SAC, 2020)

Use case evolution analysis based on graph transformation with negative application conditions. - Leila Ribeiro 001; Lucio Mauro Duarte; Rodrigo Machado; Andrei Costa; Érika F. Cota; Jonas Santos Bezerra (Sci. Comput. Program., 2020)

Empirical Studies of an Educational Tool for Project Management based on PMBOK using Problem-Based Learning. - Maicon Bernardino; Lucas Abner; Lucas Pieva; Thiago Araujo; Matheus Dias; Rodrigo Machado (SBES, 2022)

Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. - João R. Campos; Rodrigo Machado; Marco Vieira (LADC, 2023)