Login / Signup
Leila Silva
Publication Activity (10 Years)
Years Active: 1997-2020
Publications (10 Years): 5
Top Topics
Scheduling Problem
Hill Climbing
Class Hierarchies
Theoretical Computer Science
Top Venues
EATIS
BRACIS
CIbSE
J. Syst. Softw.
</>
Publications
</>
Gabriel Fontes da Silva
,
Leila Silva
,
André Britto
Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory.
BRACIS
(2020)
Joaquim de Andrade
,
Leila Silva
,
André Britto
,
Rodrigo Amaral
Solving the Software Project Scheduling Problem with Hyper-heuristics.
ICAISC (1)
(2019)
Allan Vinicius Rezende
,
Leila Silva
,
André Britto
,
Rodrigo Amaral
Software project scheduling problem in the context of search-based software engineering: A systematic review.
J. Syst. Softw.
155 (2019)
Glauber Botelho
,
Leonardo Bezerra
,
Andre Britto
,
Leila Silva
A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring.
CEC
(2018)
Glauber Botelho
,
Andre Britto
,
Leila Silva
A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem.
BRACIS
(2016)
Leila Silva
,
Leonor Barroca
Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module.
CSEDU (2)
(2015)
Glauber Botelho
,
Arthur Rocha
,
André Britto
,
Leila Silva
Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem.
CIbSE
(2015)
Elisa Menendez
,
Blície Balisa-Rocha
,
Monique Jabbur-Lopes
,
Wanderson Costa
,
José Rafael Nascimento
,
Marcos Dósea
,
Leila Silva
,
Divaldo Lyra Junior
Using a virtual patient system for the teaching of pharmaceutical care.
Int. J. Medical Informatics
84 (9) (2015)
António Ribeiro
,
Leila Silva
,
Glêdson Elias
Usando hill climbing para identificação de componentes de software similares.
EATIS
(2014)
Danilo Menezes
,
Anísio Lacerda
,
Leila Silva
,
Adriano Veloso
,
Nivio Ziviani
Weighted slope one predictors revisited.
WWW (Companion Volume)
(2013)
Wanderson Costa
,
José Rafael Nascimento
,
Elisa Menendez
,
Marcos Dósea
,
Leila Silva
,
Monique Jabbur
,
Ana Patrícia Lima
,
Divaldo Lyra Junior
A system to help the teaching of pharmaceutical care.
EATIS
(2012)
Kaio Santos
,
Leonardo Feistauer
,
Marcio Carvalho
,
Leila Silva
,
Karla Rezende
SiSPED 2.0: an extension of a system to monitor diabetic patients.
EATIS
(2012)
David A. Naumann
,
Augusto Sampaio
,
Leila Silva
Refactoring and representation independence for class hierarchies.
Theor. Comput. Sci.
433 (2012)
Leila Silva
,
David A. Naumann
,
Augusto Sampaio
Refactoring and representation independence for class hierarchies: extended abstract.
FTfJP@ECOOP
(2010)
Leila Silva
,
Augusto Sampaio
,
Zhiming Liu
Laws of Object-Orientation with Reference Semantics.
SEFM
(2008)
Antonio Carvalho Júnior
,
Leila Silva
,
Márcio Cornélio
Using CafeOBJ to Mechanise Refactoring Proofs and Application.
Electron. Notes Theor. Comput. Sci.
184 (2007)
Ana Patrícia Magalhães
,
Aline Maria Santos Andrade
,
Leila Silva
,
Herman Lepikson
A development process for mechatronic products: Integrating software engineering and product engineering.
ETFA
(2007)
Marcos Dósea
,
Maria Silva
,
Leila Silva
,
Sócrates Cavalcanti
ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy.
WOB
(2004)
André Luis Silva
,
Manoel Messias Menezes
,
Leila Silva
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning.
Electron. Notes Theor. Comput. Sci.
95 (2004)
Leila Silva
,
Augusto Sampaio
,
Edna Barros
A Constructive Approach to Hardware/Software Partitioning.
Formal Methods Syst. Des.
24 (1) (2004)
Leila Silva
,
Augusto Sampaio
,
Geraint Jones
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME
(2001)
Juliano Iyoda
,
Augusto Sampaio
,
Leila Silva
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods
(1999)
Leila Silva
,
Augusto Sampaio
,
Edna Barros
,
Juliano Iyoda
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST
(1998)
Leila Silva
,
Augusto Sampaio
,
Edna Barros
A Normal Form Reduction Strategy for Hardware/Software Partitioning.
FME
(1997)