A Normal Form Reduction Strategy for Hardware/Software Partitioning. - Leila Silva; Augusto Sampaio 001; Edna Barros (FME, 1997)

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. - Leila Silva; Augusto Sampaio 001; Edna Barros; Juliano Iyoda (AMAST, 1998)

ParTS: A Partitioning Transformation System. - Juliano Iyoda; Augusto Sampaio 001; Leila Silva (World Congress on Formal Methods, 1999)

Serialising Parallel Processes in a Hardware/Software Partitioning Context. - Leila Silva; Augusto Sampaio 001; Geraint Jones (FME, 2001)

Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. - André Luis Silva; Manoel Messias Menezes; Leila Silva (WMF, 2003)

ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy. - Marcos Dósea; Maria Silva; Leila Silva; Sócrates Cavalcanti (WOB, 2004)

A Constructive Approach to Hardware/Software Partitioning. - Leila Silva; Augusto Sampaio 001; Edna Barros (Formal Methods Syst. Des., 2004)

Using CafeOBJ to Mechanise Refactoring Proofs and Application. - Antonio Carvalho Júnior; Leila Silva; Márcio Cornélio (SBMF, 2005)

A development process for mechatronic products: Integrating software engineering and product engineering. - Ana Patrícia Magalhães; Aline Maria Santos Andrade; Leila Silva; Herman Lepikson (ETFA, 2007)

Laws of Object-Orientation with Reference Semantics. - Leila Silva; Augusto Sampaio 001; Zhiming Liu 001 (SEFM, 2008)

Refactoring and representation independence for class hierarchies: extended abstract. - Leila Silva; David A. Naumann; Augusto Sampaio 001 (FTfJP@ECOOP, 2010)

A system to help the teaching of pharmaceutical care. - Wanderson Costa; José Rafael Nascimento; Elisa Menendez; Marcos Dósea; Leila Silva; Monique Jabbur; Ana Patrícia Lima; Divaldo Lyra Junior (EATIS, 2012)

SiSPED 2.0: an extension of a system to monitor diabetic patients. - Kaio Santos; Leonardo Feistauer; Marcio Carvalho; Leila Silva; Karla Rezende (EATIS, 2012)

Refactoring and representation independence for class hierarchies. - David A. Naumann; Augusto Sampaio 001; Leila Silva (Theor. Comput. Sci., 2012)

Weighted slope one predictors revisited. - Danilo Menezes; Anísio Lacerda; Leila Silva; Adriano Veloso; Nivio Ziviani (WWW (Companion Volume), 2013)

Usando hill climbing para identificação de componentes de software similares. - António Ribeiro; Leila Silva; Glêdson Elias (EATIS, 2014)

Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem. - Glauber Botelho; Arthur Rocha; André Britto; Leila Silva (CIbSE, 2015)

Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module. - Leila Silva; Leonor Barroca 001 (CSEDU (2), 2015)

Using a virtual patient system for the teaching of pharmaceutical care. - Elisa Menendez; Blície Balisa-Rocha; Monique Jabbur-Lopes; Wanderson Costa; José Rafael Nascimento; Marcos Dósea; Leila Silva; Divaldo Lyra Junior (Int. J. Medical Informatics, 2015)

A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem. - Glauber Botelho; André Britto; Leila Silva (BRACIS, 2016)

A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring. - Glauber Botelho; Leonardo Bezerra; André Britto; Leila Silva (CEC, 2018)

Solving the Software Project Scheduling Problem with Hyper-heuristics. - Joaquim de Andrade; Leila Silva; André Britto; Rodrigo Amaral (ICAISC (1), 2019)

Software project scheduling problem in the context of search-based software engineering: A systematic review. - Allan Vinicius Rezende; Leila Silva; André Britto; Rodrigo Amaral (J. Syst. Softw., 2019)

Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory. - Gabriel Fontes da Silva; Leila Silva; André Britto (BRACIS, 2020)