( en | de | ru )

 

Disambiguation of "Silva, Leila"

Author of the publication

copydeleteadd this publication to your clipboard
Using CafeOBJ to Mechanise Refactoring Proofs and Application.

, , and . SBMF, volume 184 of Electronic Notes in Theoretical Computer Science, page 39-61. Elsevier, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Leila Siller

Leila Frohn

Leila Nabieva

Leila Taher

Leila Abidi

 

Other publications of authors with the same name

A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring., , , and . CEC, page 1-8. IEEE, (2018)Solving the Software Project Scheduling Problem with Hyper-heuristics., , , and . ICAISC (1), volume 11508 of Lecture Notes in Computer Science, page 399-411. Springer, (2019)Using CafeOBJ to Mechanise Refactoring Proofs and Application., , and . SBMF, volume 184 of Electronic Notes in Theoretical Computer Science, page 39-61. Elsevier, (2005)Using CafeOBJ to Mechanise Refactoring Proofs and Application, , and . Electronic Notes in Theoretical Computer Science, (July 2007)A system to help the teaching of pharmaceutical care., , , , , , , and . EATIS, page 97-104. ACM, (2012)Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem., , , and . CIbSE, page 248. Curran Associates, Inc., (2015)SiSPED 2.0: an extension of a system to monitor diabetic patients., , , , and . EATIS, page 11-18. ACM, (2012)Dynamic Software Project Scheduling Problem with PSO and Dynamic Strategies Based on Memory., , and . BRACIS, volume 12319 of Lecture Notes in Computer Science, page 79-94. Springer, (2020)Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning., , and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 63-82. Elsevier, (2003)A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem., , and . BRACIS, page 415-420. IEEE Computer Society, (2016)