The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 51, number:

  1. Michel Bauderon, Andrea Corradini
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  2. Renate Klempien-Hinrichs
    Context-free hypergraph grammars with node rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  3. Manuel Koch
    A graph-based approach to the compositional specification of distributed systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  4. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Graph Transformations for the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  5. Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske
    Structured Modeling with GRACE. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  6. Sabine Kuske
    Parameterized Transformation Units. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  7. Giacomo Lenzi
    Monadic Second Order Logic And Its Fragments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  8. Mercè Llabrés, Francesc Rosselló
    Towards a Double Pushout Transformation of Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  9. Detlef Plump
    Essentials of Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  10. Marta Simeoni
    An Abstract Module Concept for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  11. Dirk Janssens
    Processes and Local Actions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  12. Dan Hirsch, Ugo Montanari
    Two Graph-Based Techniques for Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  13. Reiko Heckel, Gregor Engels
    Towards a Formal Framework for Inter-Enterprise Application Integration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  14. Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs
    Pullback rewriting and applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  15. Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami
    Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  16. Paolo Baldan
    Concurrency for Graph Grammars in a Petri net shell. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  17. Andrea Corradini
    GETGRATS: A summary of scientific results (with annotated bibliography). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  18. Andrea Corradini, Fabio Gadducci
    Categorical rewriting of term-like structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  19. Bruno Courcelle
    Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  20. Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
    Basic Results for Two Types of High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  21. Martin Große-Rhode
    Algebra Transformation Systems as a Unifying Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  22. Annegret Habel, Detlef Plump
    Solving Equations by Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  23. Gabriele Taentzer
    Visual Modeling of Distributed Object Systems by Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
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