default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeila Silva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c20]Gabriel Fontes da Silva, Leila Silva, André Britto:
Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory. BRACIS 2020: 79-94
2010 – 2019
- 2019
- [j4]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: 43-56 (2019) - [c19]Joaquim de Andrade, Leila Silva, André Britto, Rodrigo Amaral:
Solving the Software Project Scheduling Problem with Hyper-heuristics. ICAISC (1) 2019: 399-411 - 2018
- [c18]Glauber Botelho, Leonardo Bezerra, Andre Britto
, Leila Silva:
A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring. CEC 2018: 1-8 - 2016
- [c17]Glauber Botelho, Andre Britto, Leila Silva:
A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem. BRACIS 2016: 415-420 - 2015
- [j3]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): 640-646 (2015) - [c16]Glauber Botelho, Arthur Rocha, André Britto, Leila Silva:
Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem. CIbSE 2015: 248 - [c15]Leila Silva, Leonor Barroca:
Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module. CSEDU (2) 2015: 319-324 - 2014
- [c14]António Ribeiro, Leila Silva, Glêdson Elias:
Usando hill climbing para identificação de componentes de software similares. EATIS 2014: 13:1-13:6 - 2013
- [c13]Danilo Menezes, Anísio Lacerda, Leila Silva, Adriano Veloso, Nivio Ziviani:
Weighted slope one predictors revisited. WWW (Companion Volume) 2013: 967-972 - 2012
- [j2]David A. Naumann, Augusto Sampaio, Leila Silva:
Refactoring and representation independence for class hierarchies. Theor. Comput. Sci. 433: 60-97 (2012) - [c12]Kaio Santos, Leonardo Feistauer, Marcio Carvalho, Leila Silva, Karla Rezende:
SiSPED 2.0: an extension of a system to monitor diabetic patients. EATIS 2012: 11-18 - [c11]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: 97-104 - 2011
- [e1]Jim Davies, Leila Silva, Adenilso da Silva Simão:
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6527, Springer 2011, ISBN 978-3-642-19828-1 [contents] - 2010
- [c10]Leila Silva, David A. Naumann, Augusto Sampaio:
Refactoring and representation independence for class hierarchies: extended abstract. FTfJP@ECOOP 2010: 8:1-8:7
2000 – 2009
- 2008
- [c9]Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 - 2007
- [c8]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: 1149-1156 - 2005
- [c7]Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio:
Using CafeOBJ to Mechanise Refactoring Proofs and Application. SBMF 2005: 39-61 - 2004
- [j1]Leila Silva, Augusto Sampaio, Edna Barros:
A Constructive Approach to Hardware/Software Partitioning. Formal Methods Syst. Des. 24(1): 45-90 (2004) - [c6]Marcos Dósea, Maria Silva, Leila Silva, Sócrates Cavalcanti:
ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy. WOB 2004: 113-116 - 2003
- [c5]André Luis Silva, Manoel Messias Menezes, Leila Silva:
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. WMF 2003: 63-82 - 2001
- [c4]Leila Silva, Augusto Sampaio, Geraint Jones:
Serialising Parallel Processes in a Hardware/Software Partitioning Context. FME 2001: 344-363
1990 – 1999
- 1999
- [c3]Juliano Iyoda, Augusto Sampaio, Leila Silva:
ParTS: A Partitioning Transformation System. World Congress on Formal Methods 1999: 1400-1419 - 1998
- [c2]Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. AMAST 1998: 308-324 - 1997
- [c1]Leila Silva, Augusto Sampaio, Edna Barros:
A Normal Form Reduction Strategy for Hardware/Software Partitioning. FME 1997: 624-643
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-13 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
