Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Adolfo Duran" ( http://dblp.L3S.de/Authors/Adolfo_Duran )

  Author page on DBLP  Author page in RDF  Community of Adolfo Duran in ASPL-2

Publication years (Num. hits)
2002 (1) 2003 (1) 2010 (1) 2011 (1)
Publication types (Num. hits)
article(2) inproceedings(2)
Venues (Conferences, Journals, ...)
FME(1) Formal Asp. Comput.(1) ICFEM(1) Operating Systems Review(1)
Authors
Adolfo Duran(4) Ana Cavalcanti(3) Augusto Sampaio(3) Ademilson Lima(1) Aline Andrade(1) Caique Lima(1) Luciano Barreto(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima Abstract specification and formalization of an operating system kernel in Z. Search on Bibsonomy Operating Systems Review The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adolfo Duran, Ana Cavalcanti, Augusto Sampaio An algebraic approach to the design of compilers for object-oriented languages. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adolfo Duran, Ana Cavalcanti, Augusto Sampaio A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Adolfo Duran, Ana Cavalcanti, Augusto Sampaio Refinement Algebra for Formal Bytecode Generation. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.