Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
1993 (conf/dagstuhl/1993gtcs)

1. Kunio Aizawa, Akira Nakamura
   Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:1-18 [Conf]
   
2. Marc Andries, Gregor Engels
   Syntax and Semantics of Hybrid Database Languages. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:19-36 [Conf]
   
3. Stefan Arnborg
   Decomposability Helps for Deciding Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:37-50 [Conf]
   
4. Erik Barendsen, Sjaak Smetsers
   Extending Graph Rewriting with Copying. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:51-70 [Conf]
   
5. Klaus Barthelmann, Georg Schied
   Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:71-85 [Conf]
   
6. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
   Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf]
   
7. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
   Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf]
   
8. Bruno Courcelle, Jens Lagergren
   Recognizable Sets of Graphs of Bounded Tree-Width. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:138-152 [Conf]
   
9. Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer
   Canonical Derivaitons for High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:153-169 [Conf]
   
10. Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche
    A Computational Model for Generic Graph Functions. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:170-187 [Conf]
    
11. Ewa Grabska
    Graphs and Designing. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:188-202 [Conf]
    
12. Dirk Janssens
    ESM Systems and the Composition of Their Computations. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:203-217 [Conf]
    
13. Yasuo Kawahara, Yoshihiro Mizoguchi
    Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:218-233 [Conf]
    
14. Martin Korff
    Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:234-264 [Conf]
    
15. Andrea Maggiolo-Schettini, Adriano Peron
    Semantics of Full Statecharts Based on Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:265-279 [Conf]
    
16. Ugo Montanari, Francesca Rossi
    Contextual Occurence Nets and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:280-295 [Conf]
    
17. Manfred Nagl
    Uniform-Modelling in Graph Grammar Specifications. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:296-311 [Conf]
    
18. Jean-Claude Raoult, Frédéric Voisin
    Set-Theoretic Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:312-325 [Conf]
    
19. Georg Schied
    On Relating Rewriting Systems and Graph Grammars to Event Structures. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:326-340 [Conf]
    
20. Andy Schürr
    Logic Based Structure Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:341-357 [Conf]
    
21. Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:358-379 [Conf]
    
22. Gabriele Taentzer, Martin Beyer
    Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:380-394 [Conf]