The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
    Specification and Analysis of Fault Behaviours Using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:120-133 [Conf]
  2. Leila Ribeiro, Bernardo Copstein
    Compositional Construction of Simulation Models Using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:87-94 [Conf]
  3. Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro
    An Environment for Formal Modeling and Simulation of Control Systems. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2000, pp:74-0 [Conf]
  4. Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
    A Formal Framework for the Development of Concurrent Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:385-401 [Conf]
  5. Hartmut Ehrig, Julia Padberg, Leila Ribeiro
    Algebraic High-Level Nets: Petri Nets Revisited. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:188-206 [Conf]
  6. 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]
  7. Fernando Luís Dotti, Leila Ribeiro
    Specification of Mobile Code Systems using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:45-64 [Conf]
  8. Ana Paula Lüdtke Ferreira, Leila Ribeiro
    Towards Object-Oriented Graphs and Grammars. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:16-31 [Conf]
  9. Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
    Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
  10. Ana Paula Lüdtke Ferreira, Leila Ribeiro
    Derivations in Object-Oriented Graph Grammars. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:416-430 [Conf]
  11. 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]
  12. Ugo Montanari, Leila Ribeiro
    Linear Ordered Graph Grammars and Their Algebraic Foundations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:317-333 [Conf]
  13. Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani
    Decidability and Tractability of Problems in Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:396-408 [Conf]
  14. Fernando Luís Dotti, Leila Ribeiro
    Code Mobility in Open Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  15. Martin Korff, Leila Ribeiro
    Formal Relationship between Graph Grammars and Petri Nets. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:288-303 [Conf]
  16. Roswitha Bardohl, Leila Ribeiro
    Towards a Compositional Approach to Define Graphical Animation of Software Applications. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:38-0 [Conf]
  17. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:165-184 [Conf]
  18. 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]
  19. Marcelo Cezar Pinto, Leila Ribeiro
    Modeling Metabolic Pathways using Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WOB, 2004, pp:154-157 [Conf]
  20. Leonardo Vieira Cervo, Leila Ribeiro
    DNA-Based Modelling of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    WOB, 2002, pp:16-23 [Conf]
  21. Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
    A Graph Transformation View on the Specification of Applications using Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  22. Ana Paula Lüdtke Ferreira, Leila Ribeiro
    A Graph-based Semantics For Object-oriented Programming Constructs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:89-104 [Journal]
  23. 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]
  24. Martin Korff, Leila Ribeiro
    Concurrent derivations as single pushout graph grammar processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  25. Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
    Verifying Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:125-136 [Journal]
  26. Julia Padberg, Hartmut Ehrig, Leila Ribeiro
    Algebraic High-Level Net Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:217-256 [Journal]
  27. Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro
    Complexity analysis of reactive graph grammars. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:109-128 [Journal]
  28. David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues
    Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:7-48 [Journal]
  29. 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]
  30. Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
    Stochastic Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:151-170 [Journal]
  31. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal]

  32. Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. [Citation Graph (, )][DBLP]


  33. Modal Systems: Specification, Refinement and Realisation. [Citation Graph (, )][DBLP]


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


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


  36. Parallel Composition of Graph Grammars. [Citation Graph (, )][DBLP]


  37. Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars [Citation Graph (, )][DBLP]


  38. Preface. [Citation Graph (, )][DBLP]


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


  40. Formal Verification of Graph Grammars using Mathematical Induction. [Citation Graph (, )][DBLP]


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