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
1998 | Conference Paper | LibreCat-ID: 8282
R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske, “Simple Modules for Grace,” in Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998, vol. 1764, pp. 215–224.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “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
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, and G. Rozenberg, “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), 1998, vol. 1764, pp. 85–102.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “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), 1998, no. tr-ri-98-201, pp. 122–131.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” 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: 8287
F. Gadducci, R. Heckel, and M. Llabrés, “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
S. Sauer and O. Zukunft, “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), 1998, pp. 420–426.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, “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
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7839
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), 1997, vol. 1301, pp. 327–343.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische Effekte in Nd:YAG-Slablasern,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, 1997, vol. 32, no. 3.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
R. Heckel, H. Ehrig, U. Wolter, and A. 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), 1997, pp. 219–228.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), 1997, vol. 32, no. 3.
LibreCat
1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
F. Gadducci and R. 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), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
F. Gadducci and R. 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), 1997, vol. 1376, pp. 223–237.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
R. Heckel, “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: 7403
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, pp. 457–477, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
H. Ehrig 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, pp. 247–312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in Visual Language Theory, Berlin/Heidelberg: Springer, 1997, pp. 241–255.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. 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, Singapore: World Scientific, 1997, pp. 163–245.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., Special Issue on Graph Transformations, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig 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, 1996, no. 155, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 12–13.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 1996, pp. 437–452.
LibreCat
1996 | Report | LibreCat-ID: 8197
M. Andries et al., Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8198
G. Busatto and G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8199
G. Engels, L. Groenewegen, and G. Kappel, Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8200
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8272
H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems,” in Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), 1996, vol. 1073, pp. 137–154.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper),” in Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application Conditions,” Fundamenta Informaticae, vol. 26, no. 3,4, pp. 287–313, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring of Typed Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 6, no. 6, pp. 613–648, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 7514
G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat
| DOI