| GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation ALI Oliveira, PL Braga, RMF Lima, ML Cornélio information and Software Technology 52 (11), 1155-1166, 2010 | 204 | 2010 |
| Implementing java modeling language contracts with aspectj H Rebêlo, S Soares, R Lima, L Ferreira, M Cornélio Proceedings of the 2008 ACM symposium on Applied computing, 228-233, 2008 | 40 | 2008 |
| Using process mining in software development process management: A case study AM Lemos, CC Sabino, RMF Lima, CAL Oliveira 2011 IEEE International Conference on Systems, Man, and Cybernetics, 1181-1186, 2011 | 39 | 2011 |
| Symmetry breaking in MILP formulations for Unit Commitment problems RM Lima, AQ Novais Computers & Chemical Engineering 85, 162-176, 2016 | 34 | 2016 |
| Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on coloured petri nets MNO Junior, S Neto, P Maciel, R Lima, A Ribeiro, R Barreto, E Tavares, ... International Conference on Application and Theory of Petri Nets, 261-281, 2006 | 30 | 2006 |
| Spreadsheets in chemical engineering education: a tool in process design and process integration EC Ferreira, R Lima, R Salcedo Dublin Institute of Technology Tempus Publications, 2004 | 30 | 2004 |
| AspectJML: Modular specification and runtime checking for crosscutting contracts H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ... Proceedings of the 13th international conference on Modularity, 157-168, 2014 | 27 | 2014 |
| Strategic and tactical evaluation of conflicting environment and business goals in green supply chains GA de Albuquerque, P Maciel, RMF Lima, F Magnani IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (5), 1013-1027, 2013 | 27 | 2013 |
| Efeito do tamanho das sementes sobre alguns atributos fisiológicos e agronômicos RM Lima Associação brasileira dos produtores de sementes: Anuário Abrasem, Brasília …, 1996 | 24 | 1996 |
| Optimizing JML features compilation in ajmlc using aspect-oriented refactorings H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira SBLP 9, 117-130, 2009 | 23 | 2009 |
| Risk-averse formulations and methods for a virtual power plant RM Lima, AJ Conejo, S Langodan, I Hoteit, OM Knio Computers & Operations Research 96, 350-373, 2018 | 22 | 2018 |
| Automatic modeling for performance evaluation of inventory and outbound distribution GA De Albuquerque, PRM Maciel, RMF Lima, A Zimmermann IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2010 | 21 | 2010 |
| Disaster recovery solutions for IT systems: A Systematic mapping study J Mendonca, E Andrade, PT Endo, R Lima Journal of Systems and Software 149, 511-530, 2019 | 20 | 2019 |
| Dynamic optimization of batch emulsion polymerization using MSIMPSA, a simulated-annealing-based algorithm RM Lima, G François, B Srinivasan, RL Salcedo Industrial & engineering chemistry research 43 (24), 7796-7806, 2004 | 20 | 2004 |
| On the solution of nonconvex cardinality Boolean quadratic programming problems: a computational study RM Lima, IE Grossmann Computational Optimization and Applications 66 (1), 1-37, 2017 | 19 | 2017 |
| Modeling and analyzing resource-constrained business processes C Oliveira, R Lima, T Andre, HA Reijers 2009 IEEE international conference on Systems, Man and Cybernetics, 2824-2830, 2009 | 19 | 2009 |
| Quantitative analysis of resource-constrained business processes CAL Oliveira, RMF Lima, HA Reijers, JTS Ribeiro IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011 | 17 | 2011 |
| Performance evaluation of service-oriented architecture through stochastic petri nets M Teixeira, R Lima, C Oliveira, P Maciel 2009 IEEE International Conference on Systems, Man and Cybernetics, 2831-2836, 2009 | 17 | 2009 |
| Translating Haskell# Programs into Petri Nets FH Carvalho, RD Lins, RMF Lima International Conference on High Performance Computing for Computational …, 2002 | 17 | 2002 |
| Equivalence of ensembles in quantum lattice systems R Lima Annales de l'IHP Physique théorique 15 (1), 61-68, 1971 | 15 | 1971 |
