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.
897 Publications
1997 | Conference Paper | LibreCat-ID: 7839
Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. http://dx.doi.org/10.1007/3-540-63531-9.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke, Ralph, Stefan Knoke, Wolfram Schöne, Andreas Tünnermann, and H. Welling. “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, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “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), 219–28. LNCS. London, UK: Springer, 1997. http://dx.doi.org/10.1007/BFb0029965.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke, Stefan, Ralph Depke, Wolfram Schöne, O.S. Brozek, Andreas Tünnermann, and H. Welling. “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, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. Loose Semantics and Constraints for Graph Transformation Systems, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, Fabio, and Reiko Heckel. “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, Fabio, Reiko Heckel, and Manuel Koch. “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, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” In Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), 1376:223–37. LNCS. Berlin/Heidelberg: Springer, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
Heckel, Reiko. “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, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7, no. 4 (1997): 397–400. http://dx.doi.org/10.1142/S0218194097000230.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A Combined Reference Model- and View-Based Approach to System Specification.” Int. Journal of Software and Knowledge Engeneering 7, no. 4 (1997): 457–77.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. “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, 247–312. Singapore: World Scientific, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels, Gregor, Jan Rekers, and Marc Andries. “How to Represent a Visual Specification.” In Visual Language Theory, 241–55. Berlin/Heidelberg: Springer, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. “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, 163–245. Singapore: World Scientific, 1997.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron, eds. Special Issue on Graph Transformations. Vol. 26. Fundamenta Informaticae. Amsterdam: IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter, Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 11–12. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 12–13. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Aart Matsinger, and Martin Rijnbeek. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 13–26. Washington, DC, USA: IEEE Computer Society, 1996. http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, Hartmut Ehrig, Reiko Heckel, Gabriele Taentzer, and Andrea Corradini. “A View-Based Approach to System Modelling.” In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 155:11. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Object-Oriented Specification of Coordinated Collaboration.” In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 437–52. Chapman & Hall, 1996.
LibreCat