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.
5774 Publications
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
1997 | Journal Article | LibreCat-ID: 16567
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks,” Theory of Computing Systems, pp. 627–644, 1997, doi: 10.1007/s002240000071.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16568
M. Fischer, F. Meyer auf der Heide, and W.-B. Strothmann, “Dynamic data structures for realtime management of large geometric scenes,” in 5th Annual European Symposium on Algorithms (ESA ’97), 1997, vol. 1284, pp. 1157–170, doi: 10.1007/3-540-63397-9_13.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16689
B. M. Maggs, F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Exploiting locality for data management in systems of limited bandwidth,” 1997, doi: 10.1109/sfcs.1997.646117.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16893
S. Thies, B. Gutkauf, and G. Domik, “Demo eines Intelligenten Diagramm Assistenten (IDIAS),” in Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, Saarbrücken, 1997.
LibreCat