Adolfo Duran

According to our database, Adolfo Duran authored at least 8 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2021

Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019.

Adolfo Duran, Philip Wadler

Sci. Comput. Program., 2021

2018

PBLOntology: A Domain Ontology with Context Elements for Problem-based Learning.

Adriana Silva Souza, Adolfo Duran, Vaninha Almeida

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

2015

Towards a Framework for Gamification Design on Crowdsourcing Systems: The G.A.M.E. Approach.

Jailson Brito, Vaninha Vieira, Adolfo Duran

Proceedings of the 12th International Conference on Information Technology, 2015

2012

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

Proceedings of the 2012 Brazilian Symposium on Collaborative Systems, 2012

2011

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

2010

An algebraic approach to the design of compilers for object-oriented languages.

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio

Formal Aspects Comput., 2010

2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio

Proceedings of the FME 2003: Formal Methods, 2003

2002

Refinement Algebra for Formal Bytecode Generation.

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Formal Methods and Software Engineering, 2002