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.
906 Publications
1998 | Conference Paper | LibreCat-ID: 8283
Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
1998 | Conference Paper | LibreCat-ID: 8284
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 85–102.
LibreCat
| DOI
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 85–102.
1998 | Conference Paper | LibreCat-ID: 8285
Classification and Comparison of Modularity Concepts for Graph Transformation Systems
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
LibreCat
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
1998 | Conference Paper | LibreCat-ID: 8286
Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
LibreCat
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
1998 | Conference Paper | LibreCat-ID: 8287
DPO Derivations via Disconnected Rules
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
1998 | Conference Paper | LibreCat-ID: 8288
Event Processing in Mobile and Active Database Systems Using Broadcasts
S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.
LibreCat
S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.
1998 | Conference Paper | LibreCat-ID: 8289
Construction and Characterisation of Double-Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
1998 | Dissertation | LibreCat-ID: 7587
Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.
LibreCat
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.
1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat
| DOI
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat
| DOI
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
1997 | Conference Paper | LibreCat-ID: 7840
Thermooptische Effekte in Nd:YAG-Slablasern
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
LibreCat
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat
| DOI
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
1997 | Conference Paper | LibreCat-ID: 7842
Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung
S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.
LibreCat
S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.
1997 | Report | LibreCat-ID: 8201
Loose Semantics and Constraints for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.
LibreCat
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.
1997 | Conference Paper | LibreCat-ID: 8276
A 2-Categorical Presentation of Distributed Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
1997 | Conference Paper | LibreCat-ID: 8277
Combining Graph Transformations with Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
1997 | Conference Paper | LibreCat-ID: 8278
An Inductive View of Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
LibreCat
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
1997 | Journal Article | LibreCat-ID: 7402
Guest Editors' Introduction
G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.
LibreCat
| DOI
G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.
1997 | Journal Article | LibreCat-ID: 7403
A Combined Reference Model- and View-Based Approach to System Specification
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
LibreCat
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.