Refinement Algebra for Formal Bytecode Generation. - Adolfo Duran; Ana Cavalcanti 001; Augusto Sampaio 001 (ICFEM, 2002)

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. - Adolfo Duran; Ana Cavalcanti 001; Augusto Sampaio 001 (FME, 2003)

An algebraic approach to the design of compilers for object-oriented languages. - Adolfo Duran; Ana Cavalcanti 001; Augusto Sampaio 001 (Formal Aspects Comput., 2010)

Abstract specification and formalization of an operating system kernel in Z. - Luciano Barreto; Aline Andrade; Adolfo Duran; Caique Lima; Ademilson Lima (ACM SIGOPS Oper. Syst. Rev., 2011)

An Exploratory Study on the Use of Collaborative Riding Based on Gamification as a Support to Public Transportation. - Vaninha Vieira; Adriano Fialho; Victor Martinez; Jailson Brito; Lincoln Brito; Adolfo Duran (SBSC, 2012)

Towards a Framework for Gamification Design on Crowdsourcing Systems: The G.A.M.E. Approach. - Jailson Brito; Vaninha Vieira; Adolfo Duran (ITNG, 2015)

PBLOntology: A Domain Ontology with Context Elements for Problem-based Learning. - Adriana Silva Souza; Adolfo Duran; Vaninha Almeida (ICEIS (2), 2018)

Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. - Adolfo Duran; Philip Wadler (Sci. Comput. Program., 2021)