Márcio Cornélio

	2010
12		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)
11		Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010)
	2009
10		Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs RULE 2009: 65-76
	2008
9		Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares: A JML Compiler Based on AspectJ. ICST 2008: 541-544
8		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
7		Alexandre A. Santos, Luis Menezes, Márcio Cornélio: Flexible Transformation Language. WRT 2007: 9-10
6		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)
	2005
5		Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005)
	2004
4		Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)
	2003
3		Paulo Borba, Augusto Sampaio, Márcio Cornélio: A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482
	2002
2		Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring by Transformation. Electr. Notes Theor. Comput. Sci. 70(3): 311-330 (2002)
	2000
1		Márcio Cornélio, Paulo Borba: Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR 2000: 402-419

Coauthor Index

1	Paulo Borba	[1] [3] [4]
2	Petrônio L. Braga	[12]
3	Ana Cavalcanti	[2] [4] [5] [11]
4	Leopoldo Ferreira	[8]
5	Gabriel Falconieri Freitas	[10]
6	Rohit Gheyi	[10]
7	Antonio Carvalho Júnior	[6]
8	Ricardo Massa Ferreira Lima	[8] [9] [12]
9	Tiago Massoni	[10]
10	Luis Menezes	[7]
11	Adriano Lorena Inácio de Oliveira (Adriano Lorena Inacio de Oliveira, Adriano L. I. Oliveira)	[12]
12	Henrique Rebêlo	[8] [9]
13	Augusto Sampaio	[2] [3] [4] [5] [11]
14	Alexandre A. Santos	[7]
15	Leila Silva	[6]
16	Sérgio Soares (Sérgio C. B. Soares)	[8] [9]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page