- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j6 |      | Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio: GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Information & Software Technology 52(11): 1155-1166 (2010) |
| j5 | | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010) |
| 2009 | ||
| c6 | | Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs. RULE 2009: 65-76 |
| 2008 | ||
| c5 | | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares: A JML Compiler Based on AspectJ. ICST 2008: 541-544 |
| c4 | | Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio: Implementing Java modeling language contracts with AspectJ. SAC 2008: 228-233 |
| 2007 | ||
| j4 | | Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio: Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electr. Notes Theor. Comput. Sci. 184: 39-61 (2007) |
| c3 | | Alexandre A. Santos, Luis Menezes, Márcio Cornélio: Flexible Transformation Language. WRT 2007: 9-10 |
| 2005 | ||
| j3 | | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005) |
| 2004 | ||
| j2 | | Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004) |
| 2003 | ||
| c2 | | Paulo Borba, Augusto Sampaio, Márcio Cornélio: A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482 |
| 2002 | ||
| j1 | | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring by Transformation. Electr. Notes Theor. Comput. Sci. 70(3): 311-330 (2002) |
| 2000 | ||
| c1 | | Márcio Cornélio, Paulo Borba: Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR 2000: 402-419 |
| 1 | Paulo Borba | |
| 2 | Petrônio L. Braga | |
| 3 | Ana Cavalcanti | |
| 4 | Leopoldo Ferreira | |
| 5 | Gabriel Falconieri Freitas | |
| 6 | Rohit Gheyi | |
| 7 | Antonio Carvalho Júnior | |
| 8 | Ricardo Massa Ferreira Lima | |
| 9 | Tiago Massoni | |
| 10 | Luis Menezes | |
| 11 | Adriano Lorena Inácio de Oliveira (Adriano Lorena Inacio de Oliveira, Adriano L. I. Oliveira) | |
| 12 | Henrique Rebêlo | |
| 13 | Augusto Sampaio | |
| 14 | Alexandre A. Santos | |
| 15 | Leila Silva | |
| 16 | Sérgio Soares (Sérgio C. B. Soares) |
Colors in the list of coauthors
Last update Wed May 22 11:44:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page