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.

13550 Publications


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
 

1998 | Conference Paper | LibreCat-ID: 7847
Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8282
Simple Modules for Grace
R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.
LibreCat
 

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
 

1998 | Journal Article | LibreCat-ID: 876
Bridging the gap between distributed shared memory and message passing
H. Karl, Concurrency - Practice and Experience (1998) 887--900.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8908
Three-Dimensional Vibration of Bladed Disk Assemblies with Friction Dampers
W. Sextro, K. Popp, I. Wolter, in: The 7th International Symposium on Transport Phenomena and Dynamics of Rotating Machinery, Proceedings of ISROMAC-7, Honolulu, Hawaii, USA, 1998, pp. 621–630.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 16891
Teaching Spatial Orientation using Virtual Worlds
S. Vollbracht, G. Domik-Kienegger, D. Backe-Neuwald, H.-D. Rinkens, in: Proceedings of ED-MEDIA, 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 16536
An adaptive subdivision technique for the approximation of attractors and invariant measures
M. Dellnitz, O. Junge, Computing and Visualization in Science (1998) 63–68.
LibreCat | DOI
 

1998 | Encyclopedia Article | LibreCat-ID: 17647
Zermelo, Ernst (1871–1953)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 9: Sociology of Knowledge to Zoroastrianism, Routledge, London/ New York, 1998, pp. 853–855.
LibreCat
 
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed