Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
906 Publications
1998 | Conference Paper | LibreCat-ID: 8283
Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8284
Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:85-102. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
Ehrig H, Engels G, Heckel R, Taentzer G. Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany). University of Paderborn; 1998:122-131.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
Gadducci F, Heckel R, Llabrés M. DPO Derivations via Disconnected Rules. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8288
Sauer S, Zukunft O. Event Processing in Mobile and Active Database Systems Using Broadcasts. In: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria). Washington, DC, USA: IEEE Computer Society; 1998:420-426.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
Ehrig H, Heckel R, Llabrés M, Orejas F. Construction and Characterisation of Double-Pullback Graph Transitions. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). ; 1998.
LibreCat
1998 | Dissertation | LibreCat-ID: 7587
Heckel R. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems.; 1998.
LibreCat
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels G, ed. Themenheft: Softwaretechnik. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:http://dx.doi.org/10.1007/s004500050085
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany). Vol 32. Physik-Verlag; 1997.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel R, Ehrig H, Wolter U, Corradini A. Loose Semantics and Constraints for Graph Transformation Systems.; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci F, Heckel R. A 2-Categorical Presentation of Distributed Graph Transformation. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy). Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). ; 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 7402
Engels G, Jürgen Schneider H. Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE). 1997;7(4):397-400. doi:http://dx.doi.org/10.1142/S0218194097000230
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. Int Journal of Software and Knowledge Engeneering. 1997;7(4):457-477.
LibreCat