The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luciana Foss: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
    Verification of Distributed Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:261-275 [Conf]
  2. Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
    Graph Transactions as Processes. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:199-214 [Conf]
  3. Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
    Translating Java Code to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:383-398 [Conf]
  4. Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro
    Modeling and Property Verification of Lactose Operon Regulation. [Citation Graph (0, 0)][DBLP]
    BSB, 2005, pp:95-106 [Conf]
  5. Luciana Foss, Leila Ribeiro
    A Translation from Object-Based Hypergraph Grammars into pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:245-267 [Journal]
  6. Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro
    Formal Verification of Object-Oriented Graph Grammars Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:101-114 [Journal]

  7. Model Transformation Using Graph Transactions. [Citation Graph (, )][DBLP]


  8. Graph Transformation with Dependencies for the Specification of Interactive Systems. [Citation Graph (, )][DBLP]


  9. Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.011secs
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