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.
5950 Publications
1998 | Conference Paper | LibreCat-ID: 8281
A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
LibreCat
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
1998 | Conference Paper | LibreCat-ID: 879
H. Karl, M. Werner, and L. Kuttner, “An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults,” in 24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, 1998, pp. 10468--10475.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16891
S. Vollbracht, G. Domik, D. Backe-Neuwald, and H.-D. Rinkens, “Teaching Spatial Orientation using Virtual Worlds,” in Proceedings of ED-MEDIA, Freiburg, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16892
C. Lenz, J. D. Stüwe, and G. Domik, “Integration of GIS and VRML,” presented at the Computer Graphics Internation 98, Hannover, 1998.
LibreCat