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.
921 Publications
1999 | Journal Article | LibreCat-ID: 7401
Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
Ehrig H, Engels G, Kreowski HJ, Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.; 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
Heckel R, Engels G, Ehrig H, Taentzer G. A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Singapore: World Scientific; 1999:639-668.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
Heckel R, Engels G, Ehrig H, Taentzer G. Classification and Comparison of Module Concepts for Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Vol 2. Singapore: World Scientific; 1999:669-689.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
Engels G, Ehrig H, Orejas F, Wirsing M, eds. Semi-Formal and Formal Specification Techniques. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
Engels G, Ehrig H, Kreowski H-J, Rozenberg G, eds. 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers. Vol 1764. Berlin/Heidelberg: Springer; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany). Vol 18. GI; 1998:12-19.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
Didrich K, Wagner A. Integration of Single Pushout Transformation and Functional Programming. In: Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany). Vol 4. Society for Design and Process Science; 1998:65-73.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
Cherchago A. A generalized schema of a decision-making process of a SCENAR-therapeutist. In: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia). ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
Heckel R. Compositional Verification of Reactive Systems Specified by Graph Transformation. In: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal). Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
Padberg J, Jansen L, Heckel R, Ehrig H. Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany). Society for Design and Process Science; 1998:17-28.
LibreCat
1998 | Report | LibreCat-ID: 8202
Engels G, Kolmschlag S. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag S, Engels G. Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In: Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany). GI; 1998:13-24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax Coalgebras. In: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal). Vol 11. Electronic Notes in Theoretical Computer Science. Elsevier; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
Heckel R, Hoffmann B, Knirsch P, Kuske S. Simple Modules for Grace. In: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:215-224.
LibreCat
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