Ricardo Massa Ferreira Lima
Ricardo Massa Ferreira Lima
Associate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)
Verified email at cin.ufpe.br - Homepage
Title
Cited by
Cited by
Year
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
1922010
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
402008
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
352011
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
312006
Cytogenetic characterization of Alouatta belzebul with atypical pelage coloration
MMC Lima, HN Seuanez
Folia Primatologica 52 (1-2), 97-101, 1989
311989
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
302004
Symmetry breaking in MILP formulations for Unit Commitment problems
RM Lima, AQ Novais
Computers & Chemical Engineering 85, 162-176, 2016
292016
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
252014
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
241996
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
232013
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
222009
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
202010
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
192004
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
182019
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
182018
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
182009
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
172011
Translating Haskell# programs into Petri nets
FH De Carvalho, RD Lins, RMF Lima
International Conference on High Performance Computing for Computational …, 2002
172002
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
162009
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
152017
The system can't perform the operation now. Try again later.
Articles 1–20