The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Leila Silva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
    An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:308-324 [Conf]
  2. Juliano Iyoda, Augusto Sampaio, Leila Silva
    ParTS: A Partitioning Transformation System. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1400-1419 [Conf]
  3. Leila Silva, Augusto Sampaio, Edna Barros
    A Normal Form Reduction Strategy for Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:624-643 [Conf]
  4. Leila Silva, Augusto Sampaio, Geraint Jones
    Serialising Parallel Processes in a Hardware/Software Partitioning Context. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:344-363 [Conf]
  5. Marcos Dósea, Maria Silva, Leila Silva, Sócrates Cavalcanti
    ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy. [Citation Graph (0, 0)][DBLP]
    WOB, 2004, pp:113-116 [Conf]
  6. André Luis Silva, Manoel Messias Menezes, Leila Silva
    Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:63-82 [Journal]
  7. Leila Silva, Augusto Sampaio, Edna Barros
    A Constructive Approach to Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:1, pp:45-90 [Journal]
  8. Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
    Using CafeOBJ to Mechanise Refactoring Proofs and Application. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:39-61 [Journal]

  9. Laws of Object-Orientation with Reference Semantics. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002