Márcio Cornélio

529 total citations
15 papers, 309 citations indexed

About

Márcio Cornélio is a scholar working on Artificial Intelligence, Information Systems and Software. According to data from OpenAlex, Márcio Cornélio has authored 15 papers receiving a total of 309 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 12 papers in Information Systems and 4 papers in Software. Recurrent topics in Márcio Cornélio's work include Advanced Software Engineering Methodologies (11 papers), Software Engineering Research (10 papers) and Logic, programming, and type systems (7 papers). Márcio Cornélio is often cited by papers focused on Advanced Software Engineering Methodologies (11 papers), Software Engineering Research (10 papers) and Logic, programming, and type systems (7 papers). Márcio Cornélio collaborates with scholars based in Brazil, United Kingdom and United States. Márcio Cornélio's co-authors include Ricardo Lima, Adriano L. I. Oliveira, Augusto Sampaio, Ana Cavalcanti, Paulo Borba, Henrique Rebêlo, Sérgio Soares, Gary T. Leavens, Thomas Thüm and Hridesh Rajan and has published in prestigious journals such as Information and Software Technology, Science of Computer Programming and Software & Systems Modeling.

In The Last Decade

Márcio Cornélio

15 papers receiving 296 citations

Peers

Márcio Cornélio

IS

AI

SOFTW

CNC

CTM

Uwe Ryssel Germany

Ian Whittley United Kingdom

Huayao Wu China

Detlef Streitferdt Germany

Stéphane S. Somé Canada

Markus Herrmannsdoerfer Germany

Xia Cai China

Martin Feilkas Germany

Orna Raz Israel

Adam C. Jensen United States

Uwe Ryssel Germany

Márcio Cornélio

171 ×0.8

IS

190 ×1.2

AI

71 ×0.5

SOFTW

67 ×2.4

CNC

31 ×1.1

CTM

Citations per year, relative to Márcio Cornélio Márcio Cornélio (= 1×) peers Uwe Ryssel

Countries citing papers authored by Márcio Cornélio

Since Specialization

Citations

This map shows the geographic impact of Márcio Cornélio's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Márcio Cornélio with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Márcio Cornélio more than expected).

Fields of papers citing papers by Márcio Cornélio

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Márcio Cornélio. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Márcio Cornélio. The network helps show where Márcio Cornélio may publish in the future.

Co-authorship network of co-authors of Márcio Cornélio

This figure shows the co-authorship network connecting the top 25 collaborators of Márcio Cornélio. A scholar is included among the top collaborators of Márcio Cornélio based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Márcio Cornélio. Márcio Cornélio is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

15 of 15 papers shown

1.

Miyazawa, Alvaro, et al.. (2015). An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling. 16(3). 875–902. 11 indexed citations

2.

Rebêlo, Henrique, Gary T. Leavens, Mehdi Bagherzadeh, et al.. (2014). AspectJML. Journal of International Crisis and Risk Communication Research. 157–168. 9 indexed citations

3.

Rebêlo, Henrique, Gary T. Leavens, Mehdi Bagherzadeh, et al.. (2014). Modularizing crosscutting contracts with AspectJML. Journal of International Crisis and Risk Communication Research. 21–24. 3 indexed citations

4.

Carvalho, Renata Medeiros de, Natalia Cristina da Silva, Ricardo Lima, & Márcio Cornélio. (2013). ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. 6291. 1379–1384. 2 indexed citations

5.

Rebêlo, Henrique, et al.. (2012). Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming. 78(8). 1137–1156. 5 indexed citations

6.

Cornélio, Márcio, et al.. (2010). Object-oriented Programming Laws for Annotated Java Programs. arXiv (Cornell University). 1 indexed citations

7.

Oliveira, Adriano L. I., et al.. (2010). GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Information and Software Technology. 52(11). 1155–1166. 177 indexed citations

8.

Cornélio, Márcio, Ana Cavalcanti, & Augusto Sampaio. (2009). Sound refactorings. Science of Computer Programming. 75(3). 106–133. 13 indexed citations

9.

Rebêlo, Henrique, et al.. (2009). Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings. 5 indexed citations

10.

Rebêlo, Henrique, et al.. (2008). Implementing Java modeling language contracts with AspectJ. 228–233. 18 indexed citations

11.

Rebêlo, Henrique, Sérgio Soares, Ricardo Lima, Paulo Borba, & Márcio Cornélio. (2008). JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. 3 indexed citations

12.

Cornélio, Márcio, et al.. (2007). Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electronic Notes in Theoretical Computer Science. 184. 39–61. 6 indexed citations

13.

Cornélio, Márcio, Ana Cavalcanti, & Augusto Sampaio. (2005). Refactoring Towards a Layered Architecture. Electronic Notes in Theoretical Computer Science. 130. 281–300. 3 indexed citations

14.

Borba, Paulo, Augusto Sampaio, Ana Cavalcanti, & Márcio Cornélio. (2004). Algebraic reasoning for object-oriented programming. Science of Computer Programming. 52(1-3). 53–100. 48 indexed citations

15.

Cornélio, Márcio, Ana Cavalcanti, & Augusto Sampaio. (2002). Refactoring by Transformation. Electronic Notes in Theoretical Computer Science. 70(3). 311–330. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact