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.
920 Publications
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software, too. In: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France). Washington, DC, USA: IEEE Computer Society; 1996:68.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions. Fundamenta Informaticae. 1996;26(3,4):287-313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science. 1996;6(6):613-648.
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: Building Tightly Integrated Software Development Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert J, Engels G. Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben W, Appelrath H-J, Rettig J, Sauer S. Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany). München: MMV Medizin Verlag; 1994:88-90.
LibreCat