The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 175, number: 4

  1. Arend Rensink, Reiko Heckel, Barbara König
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:1-2 [Journal]
  2. Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
    Matching of Bigraphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:3-19 [Journal]
  3. Claudia Faggian, Mauro Piccolo
    A Graph Abstract Machine Describing Event Structure Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:21-36 [Journal]
  4. László Gönczy, Máté Kovács, Dániel Varró
    Modeling and Verification of Reliable Messaging by Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:37-50 [Journal]
  5. Filippo Bonchi, Tobias Heindel
    Adhesive DPO Parallelism for Monic Matches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:51-61 [Journal]
  6. Vitali Kozioura
    Verification of Random Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:63-72 [Journal]
  7. Piotr Kosiuczenko, Georgios Lajios
    Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:73-86 [Journal]
  8. Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
    Termination Criteria for DPO Transformations with Injective Matches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:87-100 [Journal]
  9. 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]
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