Adolfo Duran

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 2

Top Topics

Provably Correct

Domain Ontology

Facilitate Learning

Top Venues

Sci. Comput. Program.

Publications

Adolfo Duran, Philip Wadler
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. Sci. Comput. Program. 201 (2021)
Adriana Silva Souza, Adolfo Duran, Vaninha Almeida
PBLOntology: A Domain Ontology with Context Elements for Problem-based Learning. ICEIS (2) (2018)
Jailson Brito, Vaninha Vieira, Adolfo Duran
Towards a Framework for Gamification Design on Crowdsourcing Systems: The G.A.M.E. Approach. ITNG (2015)
Daniel Soares Santos, Brauner R. N. Oliveira, Adolfo Duran, Elisa Yumi Nakagawa
Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems. SEKE (2015)
David Moises B. Santos, Adolfo Duran, Teresinha Fróes Burnham
Uso de dispositivos móveis em sala de aula: uma análise qualitativa de um recorte do ensino superior baiano. EATIS (2014)
Vaninha Vieira, Adriano Fialho, Victor Martinez, Jailson Brito, Lincoln Brito, Adolfo Duran
An Exploratory Study on the Use of Collaborative Riding Based on Gamification as a Support to Public Transportation. SBSC (2012)
Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima
Abstract specification and formalization of an operating system kernel in Z. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects Comput. 22 (5) (2010)
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME (2003)
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
Refinement Algebra for Formal Bytecode Generation. ICFEM (2002)