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.
907 Publications
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
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. Singapore: World Scientific; 1997:247-312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels G, Rekers J, Andries M. How to represent a visual specification. In: Visual Language Theory. Berlin/Heidelberg: Springer; 1997:241-255.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. Singapore: World Scientific; 1997:163-245.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics of Typed Graph Productions. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Technical University of Berlin; 1996:11-12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance modelled in SOCCA: an experience report. In: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK). Washington, DC, USA: IEEE Computer Society; 1996:13-26. doi:http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels G, Ehrig H, Heckel R, Taentzer G, Corradini A. A View-Based Approach to System Modelling. In: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Vol 155. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated collaboration. In: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia). Chapman & Hall; 1996:437-452.
LibreCat