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 - Homepage
Cited by
Cited by
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
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
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
Symmetry breaking in MILP formulations for Unit Commitment problems
RM Lima, AQ Novais
Computers & Chemical Engineering 85, 162-176, 2016
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
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
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
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
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
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
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
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
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
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
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
Equivalence of ensembles in quantum lattice systems
R Lima
Annales de l'IHP Physique théorique 15 (1), 61-68, 1971
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
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
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
Translating Haskell# Programs into Petri Nets
FH Carvalho, RD Lins, RMF Lima
International Conference on High Performance Computing for Computational …, 2002
The system can't perform the operation now. Try again later.
Articles 1–20