Semântica Denotacional Legível. - José Leite da Silva Júnior; Roberto da Silva Bigonha (SBES, 1993)

Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos. - Walace de Almeida Rodrigues; Roberto da Silva Bigonha (SBES, 1993)

A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). - Pierre Deransart; Patrick Parot; Roberto da Silva Bigonha; José de Siqueira (JICSLP, 1996)

Interacting Abstract State Machines. - Marcelo de Almeida Maia; Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha (Workshop on Abstract State Machines, 1998)

Linguagens para Computação móvel na Internet. - Marco Túlio de Oliveira Valente; Roberto da Silva Bigonha; Antonio Alfredo Ferreira Loureiro; Mariza Andrade da Silva Bigonha (RITA, 1999)

Abstractions for Mobile Computation in ASM. - Marco Túlio de Oliveira Valente; Roberto da Silva Bigonha; Antonio Alfredo Ferreira Loureiro; Marcelo de Almeida Maia (International Conference on Internet Computing, 2000)

Looking Inside. - Maria Cecília Calani Baranauskas; Juliana P. Salles; Roberto da Silva Bigonha (Organizational Semiotics, 2001)

HyperPro: Un environment intégré de documentation pour la PLC. - AbdelAli Ed-Dbali; Pierre Deransart; Mariza Andrade da Silva Bigonha; José de Siqueira; Roberto da Silva Bigonha (JFPLC, 2001)

HyperPro - An integrated documentation environment for CLP. - AbdelAli Ed-Dbali; Pierre Deransart; Mariza Andrade da Silva Bigonha; José de Siqueira; Roberto da Silva Bigonha (WLPE, 2001)

Towards a communication model applied to the interface design process. - Juliana P. Salles; Maria Cecília Calani Baranauskas; Roberto da Silva Bigonha (Knowl. Based Syst., 2001)

A Coordination Model for ad hoc Mobile Systems. - Marco Túlio de Oliveira Valente; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (Euro-Par, 2003)

Asynchronous Remote Method Invocation in Java. - Wendell Figueiredo Taveira; Marco Túlio de Oliveira Valente; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (J. Univers. Comput. Sci., 2003)

What's the Name of the Game? Formal Specification of Artificial Intelligence Games. - Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Alcione P. Oliveira; Eliseu Miguel (SBMF, 2004)

MetaJ: An Extensible Environment for Metaprogramming in Java. - Ademir Alvarenga de Oliveira; Thiago Henrique Braga; Marcelo de Almeida Maia; Roberto da Silva Bigonha (J. Univers. Comput. Sci., 2004)

Tactics for Remote Method Invocation. - Fernando Magno Quintão Pereira; Marco Túlio de Oliveira Valente; Wagner Salazar Pires; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (J. Univers. Comput. Sci., 2004)

Arcademis: a framework for object-oriented communication middleware development. - Fernando Magno Quintão Pereira; Marco Túlio de Oliveira Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (Softw. Pract. Exp., 2006)

Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages. - Roberto da Silva Bigonha; Martin A. Musicante (J. Univers. Comput. Sci., 2007)

Optimized Compilation of Around Advice for Aspect Oriented Programs. - Eduardo S. Cordeiro; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Fabio Tirelo (J. Univers. Comput. Sci., 2007)

A Methodology for Removing LALR(k) Conflicts. - Leonardo Teixeira Passos; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (J. Univers. Comput. Sci., 2007)

Recovering and checking software architectural properties based on execution tree analysis. - Thiago Henrique Braga; Marcelo de Almeida Maia; Roberto da Silva Bigonha (SBCARS, 2008)

An LALR Parser Generator Supporting Conflict Resolution. - Leonardo Teixeira Passos; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (J. Univers. Comput. Sci., 2008)

Disentangling Denotational Semantics Definitions. - Fabio Tirelo; Roberto da Silva Bigonha; João Saraiva (J. Univers. Comput. Sci., 2008)

Reestruturação de Software Dirigida por Conectividade para Redução de Custo de Manutenção. - Kecia Aline M. Ferreira; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (RITA, 2008)

A proposal for extensible AspectJ. - Vladimir Oliveira Di Iorio; Leonardo Vieira dos Santos Reis; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha (DSAL@AOSD, 2009)

Reference Values for Object-Oriented Software Metrics. - Kecia A. M. Ferreira; Mariza A. S. Bigonha; Roberto S. Bigonha; Heitor C. Almeida; Luiz F. O. Mendes (SBES, 2009)

A transformational language for mutant description. - Adenilso da Silva Simão; José Carlos Maldonado; Roberto da Silva Bigonha (Comput. Lang. Syst. Struct., 2009)

Weave time macros. - Vladimir Oliveira Di Iorio; Leonardo Vieira dos Santos Reis; Roberto S. Bigonha; Marco Túlio Valente (DSAL@AOSD, 2011)

Avaliação de Causalidade entre Métricas de Qualidade Interna e Defeitos. - César Couto; Marco Túlio Valente; Roberto da Silva Bigonha (SBQS, 2011)

Métrica de Coesão de Responsabilidade - A Utilidade de Métrica de Coesão na Identificação de Classes com Problemas Estruturais. - Kecia A. M. Ferreira; Mariza A. S. Bigonha; Roberto S. Bigonha; Heitor C. Almeida; Roberta Coeli das Neves (SBQS, 2011)

Software Evolution Characterization - A Complex Network Approach. - Kecia A. M. Ferreira; Mariza A. S. Bigonha; Roberto S. Bigonha; Bárbara M. Gomes (SBQS, 2011)

Uncovering Causal Relationships between Software Metrics and Bugs. - César Couto; Christofer Silva; Marco Túlio Valente; Roberto da Silva Bigonha; Nicolas Anquetil (CSMR, 2012)

Recommending Refactorings to Reverse Software Architecture Erosion. - Ricardo Terra; Marco Túlio Valente; Krzysztof Czarnecki 001; Roberto da Silva Bigonha (CSMR, 2012)

The evolving structures of software systems. - Kecia Aline Marques Ferreira; Roberta Coeli Neves Moreira; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (WETSoM, 2012)

A Generic Macroscopic Topology of Software Networks - A Quantitative Evaluation. - Kecia Aline Marques Ferreira; Roberta Coeli Neves Moreira; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha (SBES, 2012)

Adaptable Parsing Expression Grammars. - Leonardo Vieira dos Santos Reis; Roberto da Silva Bigonha; Vladimir Oliveira Di Iorio; Luís Eduardo de Souza Amorim (SBLP, 2012)

Identifying thresholds for object-oriented software metrics. - Kecia Aline M. Ferreira; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha; Luiz F. O. Mendes; Heitor C. Almeida (J. Syst. Softw., 2012)

Mining Architectural Patterns Using Association Rules. - Cristiano Amaral Maffort; Marco Túlio Valente; Roberto da Silva Bigonha; André C. Hora; Nicolas Anquetil; Jonata Menezes (SEKE, 2013)

Measuring the Structural Similarity between Source Code Entities (S). - Ricardo Terra; João Brunet; Luis Fernando Miranda; Marco Túlio Valente; Dalton Serey; Douglas Castilho 001; Roberto da Silva Bigonha (SEKE, 2013)

Qualitas.class corpus: a compiled version of the qualitas corpus. - Ricardo Terra; Luis Fernando Miranda; Marco Túlio Valente; Roberto da Silva Bigonha (ACM SIGSOFT Softw. Eng. Notes, 2013)

Defining the syntax of extensible languages. - Leonardo Vieira dos Santos Reis; Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha (SAC, 2014)

A Mixed Approach for Building Extensible Parsers. - Leonardo Vieira dos Santos Reis; Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha (SBLP, 2014)

BugMaps-Granger: a tool for visualizing and predicting bugs using Granger causality tests. - César Couto; Marco Túlio Valente; Pedro Pires; André C. Hora; Nicolas Anquetil; Roberto S. Bigonha (J. Softw. Eng. Res. Dev., 2014)

Predicting software defects with causality tests. - César Couto; Pedro Pires; Marco Túlio Valente; Roberto da Silva Bigonha; Nicolas Anquetil (J. Syst. Softw., 2014)

The formalization and implementation of Adaptable Parsing Expression Grammars. - Leonardo Vieira dos Santos Reis; Roberto da Silva Bigonha; Vladimir Oliveira Di Iorio; Luís Eduardo de Souza Amorim (Sci. Comput. Program., 2014)

Efficient static checker for tainted variable attacks. - Andrei Rimsa; Marcelo d'Amorim; Fernando Magno Quintão Pereira; Roberto da Silva Bigonha (Sci. Comput. Program., 2014)

An on-the-fly grammar modification mechanism for composing and defining extensible languages. - Leonardo Vieira dos Santos Reis; Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha (Comput. Lang. Syst. Struct., 2015)

DCLfix: A Recommendation System for Repairing Architectural Violations. - Ricardo Terra; Marco Túlio Valente; Roberto da Silva Bigonha; Krzysztof Czarnecki 001 (CoRR, 2015)

A recommendation system for repairing violations detected by static architecture conformance checking. - Ricardo Terra; Marco Túlio Valente; Krzysztof Czarnecki 001; Roberto da Silva Bigonha (Softw. Pract. Exp., 2015)

A model for estimating change propagation in software. - Kecia A. M. Ferreira; Mariza A. S. Bigonha; Roberto S. Bigonha; Bernardo N. B. de Lima; Bárbara M. Gomes; Luiz F. O. Mendes (Softw. Qual. J., 2018)

An attribute language definition for adaptable parsing expression grammars. - Elton M. Cardoso; Rodrigo Geraldo Ribeiro; Leonardo Vieira dos Santos Reis; Mariza A. S. Bigonha; Roberto S. Bigonha; Vladimir Oliveira Di Iorio (SAC, 2019)